AreaFormula, true, .830 Brianchon, true, 23.770 Butterfly, true, 8.320 CentroidExists, true, .280 Ceva, true, .680 Desargues, true, .860 EulerLineExists, true, 1.580 Warning, new definition for norm Warning, new definition for trace EulerTetrahedronVolumeFormula, true, .210 EulerTriangleFormula, true, 2.430 Feuerbach, true, 2.270 FoxTalbot, true, 13.480 Herron, true, .030 IncenterExists, true, .280 Johnson, true, 7.730 4 4 3 3 2 2 2 2 (n + m) (n - m) (m n - 4 m n - n + 5 n m - 4 n m - m ) Lehmus, 4 -------------------------------------------------------------, .510 2 2 2 2 (-n + m n - 2 m) (-m + m n - 2 n) Menelaus, true, 19.680 Morley, true, 14.640 Napoleon, true, 2.580 NinePointCircleExists, true, 127.760 OrthocenterExists, true, .790 Pappus, true, 4.300 Pascal, true, 4.050 Ptolemy, true, 10.840 Simson, true, 5.270 Soddy, true, 16.280