| r1736 |
Feuerbach
point, point X(65), point
X(80), concyclic points |
| r1768 |
perspective,
pedal
triangle |
| r1776 |
circumcenter |
| r1778 |
circumcenter,
ninecenter,
altitude
feet, point X(275) |
| r1785 |
circumcircle,
orthocenter,
altitudes,
points
X(1113)-X(1114) |
| r1791 |
circumcenter |
| r1802 |
point X(100),
circumcevian
triangle, incircle |
| r1806 |
pedal triangle,
circumcevian
triangle,
perspective |
| r1814 |
cevian
triangle, incentric triangle |
| r1821 |
orthocentroidal
circle,
tripolar,
inverse points |
| r1824 |
cevian
quotient |
| r1825 |
cevian
quotient, isotomic points |
| r1830 |
isotomic
complement |
| r1832 |
inconic,
concyclic
points |
| r1833 |
incenter,
point
X(56),
circumcircle,
Mannheim
circles, Spieker point |
| r1835 |
excentral
triangle |
| r1854 |
point X(264),
point
X(184) |
| r1870 |
ninecircle,
circumcircle,
perspective,
point
X(858) |
| r1877 |
ninecircle |
| r1884 |
circumcevian
triangle, circumcircle |
| r1888 |
circumcenter,
isogonal
of the infinite point |
| r1892 |
retrocenter,
Gob
point |
| r1907 |
incenter,
ninecenter,
Euler
line,
incentric
triangle,
pedal triangle |
| r1914 |
isogonal
of the infinite point |
| r1916 |
orthocenter,
circumcenter,
isogonal
points, circumcevian triangle |
