Read · 1 min
The circumcenter of a right triangle is the midpoint of the hypotenuse.
To prove this, consider the triangle , where: Notice that is the midpoint of the hypotenuse .
Clearly, . Thus, is equidistant from the vertices, so it is the circumcenter of .
Alternatively, the perpendicular bisector of is the line , and the perpendicular bisector of is the line . These two intersect at , which means that is the circumcenter of .
Of course, there are also synthetic geometry proofs that employ roughly the same principle, but the coordinate method gives us very quick results in this case.