Regular tetrahedron math

Please refer to the drawing below.

We choose the intersections of the bisectors as the origin. Then the points of the basal plane are:

Similarly the point at the apex is: