Michael Thomason's write-up for assignment eight.

Here is a triangle ABC with its
orthocenter, H.

Here is the same situation with the orthocenter of HAB drawn. The orthocenter of HAB is equal to C. Click the picture and manipulate the triangle, noting that the orthocenter of HAB remains at C.

Now I will
draw in the orthocenters of HBC and HAC, which are equal to A and B, respectively.
Again, you may click the picture to manipulate it in GSP.

After removing the dashed lines, I have found the circumcircles of the four triangles mentioned. Again, you may click the picture to manipulate it in GSP. Note that the areas of each of the circumcircles are equal.

If each of the circumcircles always has equal area, then they have equal radii, i.e. . We already know that because W is the center of the circumcircle of triangle ABC.

By
construction, X and W both lie on the perpendicular bisector of (The center of a
circumcircle for a given triangle lies at the intersection of the triangle’s
perpendicular bisectors (click here
for more on this). Triangles ABC and ABH share a common side and therefore a
common perpendicular bisector. It is on this common perpendicular bisector that
X and W lie.). Similarly Y and W both lie on the perpendicular bisector of , and Z and W both lie on the perpendicular bisector of . The drawing below shows the perpendicular bisectors of ABC.

It appears
that not only do X and W lie on the perpendicular bisector of , but also that A and B lie on the perpendicular bisector of . This means that and . (because X is the
center of the circumcircle of triangle HAB), so . Similarly, the other segment lengths shaded gray below are
all equal, and the four circumcircles are all equal in area. Click the picture
to manipulate the two-dimensional representation of a cube. Click here to manipulate it with everything else hidden.