| r143 | point X(125), inverse points, Brocard circle |
| r174 | similar triangles, isosceles triangle |
| r325 | homothetic triangles |
| r326 | centroid, orthocenter, cevian product |
| r1186 | circumcenter, homothetic triangles |
| r1314 | circumconic, perspector, circumcircle |
| r1800 | circumcenter, symmedian point |
| r1854 | isogonal points, point X(264) |