| 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 |