r291 | circumcircle, inverse points, point X(24) |
r292 | altitude feet, circumcenter |
r584 | orthocenter, point X(186), point X(468) |
r591 | circumcenter, point X(125), ninecircle, concyclic points |
r1101 | orthoassociate points, circumcenter |
r1218 | ninecircle, cevian triangle, point X(186) |
r1683 | centroid, orthocenter, cevian circle, altitudes, altitude feet |
r1701 | orthocenter, circumcenter, ninecenter, orthic triangle, homothetic triangles |