Home page  Catalogue  Classes  Tables  Glossary  Notations  Links  Bibliography  Thanks  Downloads  Related Curves 

X(1), X(2), X(3), X(4), X(6), X(9), X(57), X(223), X(282), X(1073), X(1249), X(3341), X(3342), X(3343), X(3344), X(3349), X(3350), X(3351), X(3352), X(3356), X(14481) excenters Ia, Ib, Ic and more generally the extraversions of all the weak points such as X(9), X(57), etc midpoints of ABC, midpoints of altitudes foci of the inscribed Steiner ellipse Q1, Q2, Q3 vertices of the Thomson triangle, see below points R0, R1, R2, R3 described in the page K755 other points below 

Geometric properties : 

The Thomson cubic is the isogonal pK with pivot the centroid G = X(2). See Table 27. It is sometimes called 17point cubic in older literature. It is the complement of the Lucas cubic. See Table 21 for cubics anharmonically equivalent to the Thomson cubic. The isotomic transform of K002 is K184. The Psi transform of K002 is Q119. The symbolic substitution SS{a > √a} transforms K002 into K363. K002 is a member of the class CL043 : it meets the circumcircle at A, B, C and three other points Q1, Q2, Q3 lying on several rectangular hyperbolas (see below). The tangents at these points are concurrent at the Lemoine point X(5646) of the Thomson triangle, a point lying on the lines X(2)X(1350) and X(64)X(631). See K346 and also Q063. Locus properties :


Related papers 

Points on the Thomson cubic 

The following table gives the repartition of points on K002 : for any P on K002, the points P*, Q= G/P, R, T are its isogonal conjugate, GCeva conjugate, Kcrossconjugate, tangential respectively and all these points lie on K002. Recall that the triples P, P*, X(2)  P, Q, X(6)  P, R, X(3)  Q, G/P*, X(4) are collinear on K002. Construction of T : let N be the harmonic conjugate of G with respect to P and P* and let N* be its isogonal conjugate. The tangents at P and P* pass through N*. T also lies on the line passing through G/P* and (G/P)*. The green points are weak points hence their extraversions lie on K002. When a point is not in ETC, a SEARCH number is given. 



P1, P2, P3, P4, P5, P6 are the tangentials of X(3342), X(3343), X(3344), X(3351), X(3350), X(3352) respectively. These points are rather complicated. 

Group law on the Thomson cubic As in the page K004, a group law is defined on K002 with neutral element X(6). For P, Q on K002, P + Q is the X(2)Ceva conjugate of the third point of K002 on the line PQ. Each center P on K002 is associated with an integer n. Three points are collinear if and only if the sum of the corresponding integers is 4. T is the tangential of P. 





If P and P' are two points with integers n and n' then : • P and P' are X(6)cross conjugates hence collinear with X(3) if and only if n + n' = 0, • P and P' are isogonal conjugates hence collinear with X(2) if and only if n + n' = 2, • P and P' are X(2)Ceva conjugates hence collinear with X(6) if and only if n + n' = 4, When n + n' = 6, the points are collinear with X(4) and when n + n' = 8, the points are collinear with X(1073). This is easily adapted for other sums n + n'. The tangential T of P corresponds to 4  2n hence the X(2)Ceva conjugate of T corresponds to 2n. For example, the unlisted point P(9) is the X(6)crossconjugate of X(3351) and the isogonal conjugate of P(11). Note that P is a weak point when n is an odd integer. 

K002 contains :
These points R1, R2, R3 lie on the sidelines of Q1Q2Q3, triangle formed by the intersections of K002 and the circumcircle we shall call the Thomson triangle. More informations below. R1, R2, R3 also lie on :
Obviously, the lines GQi and KRi are parallel. Q1, Q2, Q3 also lie on each rectangular hyperbola of the pencil generated by :
G is the orthocenter of Q1Q2Q3 hence (H1) is the Jerabek hyperbola of Q1Q2Q3. See a generalization in : How pivotal cubics intersect the circumcircle The tangents at these points Q1, Q2, Q3 concur at X on the lines X(2)X(1350) and X(64)X(631). X is the Lemoine point of the Thomson triangle Q1Q2Q3, now X(5646) in ETC. The two triangles Q1Q2Q3 and R1R2R3 are perspective at Y on the lines X(6)X(376) and X(39)X(631) with first coordinate : 3a^2(a^2+4b^2+4c^2)+(b^2c^2)^2 and SEARCH number : 1.3852076515. Y is now X(14482) in ETC. 

Thomson cubic and Steiner inellipse 

The tangents at R1, R2, R3 to K002 concur at H. 

The Thomson triangle and the ThomsonJerabek hyperbola 

Recall that we call Thomson triangle the triangle T whose vertices Q1, Q2, Q3 are the three (always real) points where the Thomson cubic meets the circumcircle of ABC again. This triangle is always acutangle, see a proof in §1.3 here. See Table 56 for related curves. Here is a list of properties of this triangle, some of them already mentioned above.
More informations here. The following list shows several centers of the Thomson Triangle and their counterparts in ABC (Chris van Tienhoven, Peter Moses). Those in red remain unchanged, those in blue are swapped. {1,5373}, {2,3524}, {3,3}, {4,2}, {5,549}, {6,5646}, {20,376}, {24,1995}, {30,30}, {54,5888}, {64,6}, {74,110}, {107,98}, {110,74}, {122,2482}, {125,5642}, {133,6055}, {185,5650}, {186,23}, {265,5655}, {381,5054}, {382,381}, {399,10620}, {403,7426}, {459,5304}, {476,477}, {477,476}, {520,512}, {523,523}, {526,526}, {546,140}, {550,8703}, {924,8675}, {1073,5024}, {1075,6194}, {1113,1113}, {1114,1114}, {1147,4550}, {1204,5651}, {1294,99}, {1300,1302}, {1301,111}, {1304,842}, {1498,1350}, {1657,3534}, {2071,7464}, {2574,2575}, {2575,2574}, {2693,691}, {2777,542}, {2972,9155}, {3090,3523}, {3091,631}, {3146,4}, {3183,9740}, {3346,9741}, {3357,182}, {3426,5544}, {3515,25}, {3516,7484}, {3517,5020}, {3520,7496}, {3529,20}, {3532,154}, {3543,3545}, {3627,5}, {3628,3530}, {3830,5055}, {3853,547}, {4240,7422}, {5073,3830}, {5076,1656}, {5663,5663}, {5895,599}, {5896,112}, {5897,1296}, {6000,511}, {6080,2698}, {6086,804}, {6241,7998}, {6247,597}, {6526,7735}, {6622,4232}, {6759,3098}, {7687,5972}, {7689,8717}, {8057,1499}, {8798,39}, {9033,690} For example, {1,5373} means that X(1) in Thomson Triangle is X(5373) in ABC. *** If M is a point with isogonal conjugate M* with respect to ABC then the isogonal conjugate of M with respect to T is M_{T}*, the centroid of the antipedal triangle of M* in ABC (Randy Hutson). The following list gives pairs of such points {M, M_{T}*}, (Peter Moses, updated 20160321). {1,165}, {2,3}, {4,154}, {5,6030}, {6,376}, {9,3576}, {15,5463}, {16,5464}, {20,3167}, {22,5654}, {23,5655}, {25,5656}, {30,110}, {35,5659}, {36,5660}, {40,3158}, {55,5657}, {56,5658}, {74,523}, {98,512}, {99,511}, {100,517}, {101,516}, {102,522}, {103,514}, {104,513}, {105,3309}, {106,3667}, {107,6000}, {108,6001}, {109,515}, {111,1499}, {112,1503}, {187,6054}, {198,5603}, {354,3651}, {381,7712}, {392,4220}, {476,5663}, {477,526}, {518,1292}, {519,1293}, {520,1294}, {521,1295}, {524,1296}, {525,1297}, {528,2742}, {530,9202}, {531,9203}, {541,9060}, {542,691}, {543,2709}, {549,5888}, {690,842}, {740,6010}, {741,6002}, {758,6011}, {759,6003}, {804,2698}, {805,2782}, {840,2826}, {841,9003}, {843,2793}, {900,953}, {901,952}, {916,1305}, {917,8676}, {924,1300}, {926,2724}, {927,2808}, {928,2723}, {929,2807}, {930,1154}, {934,971}, {935,2781}, {972,3900}, {1113,2575}, {1114,2574}, {1141,1510}, {1290,2771}, {1304,2777}, {1308,2801}, {1309,2818}, {1350,9741}, {1379,3414}, {1380,3413}, {1381,3308}, {1382,3307}, {2080,8592}, {2222,2800}, {2687,8674}, {2688,2774}, {2689,2779}, {2690,2772}, {2691,2836}, {2692,2842}, {2693,9033}, {2694,2850}, {2695,2773}, {2696,2854}, {2697,9517}, {2699,2787}, {2700,2786}, {2701,2792}, {2702,2784}, {2703,2783}, {2704,2795}, {2705,2796}, {2706,2797}, {2707,2798}, {2708,2785}, {2710,2799}, {2711,2788}, {2712,2789}, {2713,2790}, {2714,2791}, {2715,2794}, {2716,3738}, {2717,3887}, {2718,2827}, {2719,2828}, {2720,2829}, {2721,2830}, {2722,2831}, {2725,2820}, {2726,2821}, {2727,2822}, {2728,2823}, {2729,2824}, {2730,2835}, {2731,2841}, {2732,2846}, {2733,2849}, {2734,8677}, {2735,2852}, {2736,2809}, {2737,2810}, {2738,2811}, {2739,2812}, {2740,2813}, {2741,9518}, {2743,2802}, {2744,2803}, {2745,2804}, {2746,2805}, {2747,2806}, {2748,9519}, {2749,9520}, {2750,9521}, {2751,2814}, {2752,2775}, {2753,9522}, {2754,9523}, {2755,9524}, {2756,9525}, {2757,2815}, {2758,2776}, {2759,9526}, {2760,9527}, {2761,9528}, {2762,2816}, {2763,9529}, {2764,9530}, {2765,2817}, {2766,2778}, {2767,9531}, {2768,2819}, {2769,9532}, {2770,2780}, {3098,7757}, {3522,5644}, {3524,5646}, {3534,9716}, {3563,3566}, {3564,3565}, {3849,6233}, {5373,5373}, {5638,6039}, {5639,6040}, {5643,8703}, {5648,7464}, {5652,7418}, {5840,6099}, {5897,8057}, {5951,8702}, {6088,6093}, {6236,8705}, {6323,8704} For example, {1,165} means that the isogonal conjugate of X(1) with respect to the Thomson Triangle is X(165) in ABC. More informations here.

