ETC

X(66896) = X(3)X(6048)∩X(264)X(40800)

Barycentrics    a^6*(b^2 - c^2)^2*(a^2 - b^2 - c^2)^5 : :

See Antreas Hatzipolakis, Jeremy Tran and Peter Moses, euclid 7726.

X(66896) lies on these lines: {3, 648}, {264, 40800}, {418, 44110}, {577, 52177}, {1093, 13855}, {2660, 22341}, {2972, 46093}, {3269, 41212}, {8754, 35236}, {20975, 47409}, {22052, 42556}, {28783, 52439}, {34980, 35071}, {36748, 57012}

X(66896) = isogonal conjugate of the polar conjugate of X(35071)
X(66896) = X(i)-Ceva conjugate of X(j) for these (i,j): {3, 32320}, {13855, 647}, {28783, 3049}, {40800, 520}
X(66896) = X(i)-isoconjugate of X(j) for these (i,j): {19, 57556}, {92, 34538}, {264, 24021}, {823, 15352}, {1093, 23999}, {1969, 23590}, {6521, 23582}, {6528, 36126}, {6529, 57973}, {18022, 24022}, {32230, 57806}
X(66896) = X(i)-Dao conjugate of X(j) for these (i,j): {6, 57556}, {520, 264}, {17434, 18027}, {22391, 34538}, {46093, 6528}, {58305, 61378} .
X(66896) = crosspoint of X(i) and X(j) for these (i,j): {3, 32320}, {54114, 62428}
X(66896) = crosssum of X(i) and X(j) for these (i,j): {4, 15352}, {32445, 52604}
X(66896) = crossdifference of every pair of points on line {2404, 15352}
X(66896) = barycentric product X(i)*X(j) for these {i,j}: {3, 35071}, {63, 42080}, {97, 41219}, {112, 23103}, {219, 1363}, {222, 7065}, {228, 16730}, {255, 37754}, {339, 36433}, {394, 34980}, {520, 32320}, {577, 2972}, {648, 23613}, {1092, 3269}, {2632, 4100}, {4143, 58310}, {9247, 24020}, {14379, 47409}, {14575, 23974}, {15526, 23606}, {39201, 52613}
X(66896) = barycentric quotient X(i)/X(j) for these {i,j}: {3, 57556}, {184, 34538}, {1363, 331}, {2972, 18027}, {4100, 23999}, {7065, 7017}, {9247, 24021}, {14575, 23590}, {14585, 32230}, {16730, 57796}, {23103, 3267}, {23216, 36434}, {23286, 42401}, {23606, 23582}, {23613, 525}, {23974, 44161}, {32320, 6528}, {34980, 2052}, {35071, 264}, {36433, 250}, {37754, 57806}, {39201, 15352}, {40373, 23975}, {41219, 324}, {42080, 92}, {46088, 52779}, {58305, 65183}, {58310, 6529}, {62428, 42369}
X(66896) = {X(34980),X(35071)}-harmonic conjugate of X(41219)

---

X(66897) = X(5)X(648)∩X(418)X(51447)

Barycentrics    (b^2 - c^2)^2*(-a^2 + b^2 + c^2)^2*(-(a^2*b^2) + b^4 - a^2*c^2 - 2*b^2*c^2 + c^4)^3 : :

See Antreas Hatzipolakis, Jeremy Tran and Peter Moses, euclid 7726.

X(66897) lies on these lines: {5, 648}, {418, 51477}, {8884, 33664}, {24862, 39019}

X(66897) = X(i)-Ceva conjugate of X(j) for these (i,j): {5, 57195}, {33664, 12077}
X(66897) = X(2148)-isoconjugate of X(57573)
X(66897) = X(i)-Dao conjugate of X(j) for these (i,j): {216, 57573}, {6368, 95}, {39019, 52939}, {64773, 57844}
X(66897) = crosspoint of X(5) and X(57195)
X(66897) = barycentric product X(i)*X(j) for these {i,j}: {5, 39019}, {324, 41212}, {343, 24862}, {6368, 57195}, {15526, 23607}, {18314, 34983}, {35442, 36412}
X(66897) = barycentric quotient X(i)/X(j) for these {i,j}: {5, 57573}, {6368, 52939}, {23607, 23582}, {24862, 275}, {34983, 18315}, {39019, 95}, {41212, 97}, {46394, 14587}, {57195, 18831}
X(66897) = {X(24862),X(39019)}-harmonic conjugate of X(41212)

---

X(66898) = X(21)X(648)∩X(283)X(296)

Barycentrics    a^3*(a + b)*(a - b - c)^3*(b - c)^2*(a + c)*(a^2 - b^2 - c^2)^2 : :

See Antreas Hatzipolakis, Jeremy Tran and Peter Moses, euclid 7726.

X(66898) lies on these lines: {21, 648}, {283, 296}, {1364, 61054}, {2193, 65375}, {3270, 35072}, {18191, 35014}, {62736, 62756}

X(66898) = X(i)-Ceva conjugate of X(j) for these (i,j): {21, 23090}, {283, 36054}
X(66898) = X(i)-isoconjugate of X(j) for these (i,j): {65, 24032}, {225, 55346}, {226, 23984}, {349, 23985}, {653, 52607}, {1020, 54240}, {1400, 57538}, {1441, 24033}, {4566, 36127}, {7128, 40149}, {32714, 65207}, {36118, 61178}, {52938, 53321}, {59151, 66299}
X(66898) = X(i)-Dao conjugate of X(j) for these (i,j): {521, 1441}, {656, 57809}, {3239, 52575}, {40582, 57538}, {40602, 24032}, {55068, 52938}
X(66898) = crosspoint of X(21) and X(23090)
X(66898) = crosssum of X(65) and X(52607)
X(66898) = barycentric product X(i)*X(j) for these {i,j}: {21, 35072}, {55, 16731}, {112, 58253}, {283, 34591}, {284, 24031}, {314, 39687}, {333, 2638}, {521, 23090}, {648, 23614}, {652, 57081}, {905, 58338}, {1021, 57241}, {1364, 2287}, {1792, 7117}, {1802, 17219}, {1812, 3270}, {1946, 15411}, {2193, 2968}, {2194, 23983}, {2310, 6514}, {2327, 7004}, {3737, 57057}, {4081, 18604}, {4091, 58329}, {4560, 58340}, {6332, 57134}, {7253, 36054}, {15526, 23609}, {23189, 57055}
X(66898) = barycentric quotient X(i)/X(j) for these {i,j}: {21, 57538}, {284, 24032}, {1021, 52938}, {1364, 1446}, {1946, 52607}, {2193, 55346}, {2194, 23984}, {2638, 226}, {2968, 52575}, {3270, 40149}, {16731, 6063}, {18604, 59457}, {21789, 54240}, {23090, 18026}, {23189, 13149}, {23609, 23582}, {23614, 525}, {24031, 349}, {34591, 57809}, {35072, 1441}, {36054, 4566}, {39687, 65}, {57081, 46404}, {57108, 65207}, {57134, 653}, {57657, 24033}, {58253, 3267}, {58338, 6335}, {58340, 4552}, {61054, 1427}, {65102, 61178}

---

X(66899) = X(30)X(648)∩X(122)X(125)

Barycentrics    (b^2 - c^2)^2*(-a^2 + b^2 + c^2)^2*(-2*a^4 + a^2*b^2 + b^4 + a^2*c^2 - 2*b^2*c^2 + c^4)^3 : :
X(66899) = X[648] - 3 X[16075], 3 X[1650] - 2 X[15526], 3 X[1651] - 4 X[23583], 3 X[11050] - X[39352]

See Antreas Hatzipolakis, Jeremy Tran and Peter Moses, euclid 7726.

X(66899) lies on these lines: {30, 648}, {122, 125}, {1494, 56371}, {1651, 23583}, {3081, 3163}, {9530, 46472}, {11050, 39352}

X(66899) = reflection of X(i) in X(j) for these {i,j}: {1494, 56371}, {3081, 3163}
X(66899) = tripolar centroid of X(14401)
X(66899) = X(i)-Ceva conjugate of X(j) for these (i,j): {30, 14401}, {1650, 39008}, {20123, 1636}, {34297, 1637}
X(66899) = X(i)-isoconjugate of X(j) for these (i,j): {2159, 57570}, {24000, 59145}, {34568, 65263}
X(66899) = X(i)-Dao conjugate of X(j) for these (i,j): {30, 42308}, {1650, 16077}, {3163, 57570}, {9033, 1494}, {14401, 31621}, {62685, 9410}
X(66899) = crosspoint of X(i) and X(j) for these (i,j): {30, 14401}, {1650, 39008}, {3163, 9033}, {34767, 46270}
X(66899) = crosssum of X(i) and X(j) for these (i,j): {74, 34568}, {1304, 40384}, {9412, 23347}
X(66899) = crossdifference of every pair of points on line {112, 34568}
X(66899) = barycentric product X(i)*X(j) for these {i,j}: {30, 39008}, {112, 58257}, {1636, 58263}, {1650, 3163}, {3081, 15526}, {3269, 23097}, {9033, 14401}, {9409, 52624}, {41077, 58346}, {41079, 58345}
X(66899) = barycentric quotient X(i)/X(j) for these {i,j}: {30, 57570}, {1650, 31621}, {3081, 23582}, {3163, 42308}, {3269, 59145}, {9409, 34568}, {14401, 16077}, {39008, 1494}, {58257, 3267}, {58344, 32695}, {58345, 44769}, {58346, 15459}

---

X(66900) = X(25)X(648)∩X(669)X(47430)

Barycentrics    a^6*(b^2 - c^2)^2*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2) : :

See Antreas Hatzipolakis, Jeremy Tran and Peter Moses, euclid 7726.

X(66900) lies on these lines: {25, 648}, {669, 47430}, {865, 15526}, {1084, 23216}, {1974, 9468}, {2971, 51906}, {3964, 15369}, {19626, 44162}, {27369, 35007}, {40525, 42067}

X(66900) = isogonal conjugate of the isotomic conjugate of X(42068)
X(66900) = polar conjugate of the isotomic conjugate of X(9427)
X(66900) = X(i)-Ceva conjugate of X(j) for these (i,j): {25, 57204}, {15369, 3049}, {42068, 9427}
X(66900) = X(i)-isoconjugate of X(j) for these (i,j): {63, 44168}, {304, 34537}, {305, 24037}, {561, 47389}, {670, 55202}, {799, 52608}, {1101, 40360}, {1502, 62719}, {4563, 4602}, {4590, 40364}, {4592, 4609}, {24041, 40050}, {55205, 62534}
X(66900) = X(i)-Dao conjugate of X(j) for these (i,j): {512, 305}, {523, 40360}, {3005, 40050}, {3162, 44168}, {5139, 4609}, {38996, 52608}, {40368, 47389}
X(66900) = crosspoint of X(25) and X(57204)
X(66900) = crosssum of X(69) and X(52608)
X(66900) = crossdifference of every pair of points on line {52608, 65171}
X(66900) = barycentric product X(i)*X(j) for these {i,j}: {4, 9427}, {6, 42068}, {19, 4117}, {25, 1084}, {28, 52065}, {32, 2971}, {112, 23099}, {115, 44162}, {393, 23216}, {512, 57204}, {607, 1356}, {608, 7063}, {648, 23610}, {669, 2489}, {1501, 8754}, {1974, 3124}, {2207, 65751}, {2211, 15630}, {2501, 9426}, {2970, 9233}, {7109, 42067}, {8739, 41993}, {8740, 41994}, {20975, 36417}, {22260, 61206}, {27369, 51906}, {57260, 58260}, {61361, 62524}
X(66900) = barycentric quotient X(i)/X(j) for these {i,j}: {25, 44168}, {115, 40360}, {669, 52608}, {1084, 305}, {1356, 57918}, {1501, 47389}, {1917, 62719}, {1924, 55202}, {1974, 34537}, {2489, 4609}, {2970, 40359}, {2971, 1502}, {3124, 40050}, {4117, 304}, {7063, 57919}, {8754, 40362}, {9426, 4563}, {9427, 69}, {23099, 3267}, {23216, 3926}, {23610, 525}, {42068, 76}, {44162, 4590}, {52065, 20336}, {57204, 670}

---

JOHN H. CONWAY Papers

Bibliography of John H. Conway.

ARTICLES AND PAPERS

M.R. Boothroyd and John H. Conway, Problems Drive, 1959. Eureka 22 (October 1959) 15-17. (Solutions: 22-23).
EUREKA

John H. Conway and M.J.T. Guy, Π in four 4’s. Eureka 25 (October 1962) 18-19.
EUREKA

John H. Conway, Tomorrow is the Day After Doomsday. Eureka 36 (October 1973) 28-31.
EUREKA

John H. Conway, The Hunting of J4. Eureka 41 (Summer 1981), 46-54.
EUREKA

John H. Conway, The Weird and Wonderful Chemistry of Audioactive Decay. Eureka 46 (January 1986) 5-18.
EUREKA

John H. Conway, Forewod. In: G. Polya, How to solve it. A new aspect of mathematical method. Expanded version of the 1988 edition, with a new foreword by John H. Conway. Princeton Science Library. Princeton University Press, Princeton, NJ, 2004, p. xix-xxiv.
POLYA

John Conway, The Power of Mathematics. In: Alan Blackwell and David MacKay (Editors), Power (Darwin College Lectures, Series Number 16). Cambridge University Press 2006, pp 36-50
John Conway

Conway J, Ryba A. The Steiner-Lehmus angle-bisector theorem. The Mathematical Gazette. 2014;98(542):193-203. doi:10.1017/S0025557200001236
Conway-Ryba-Lehmus

Buchanan, A.G., Conway, J.H. (2017). An Island Tale for Young Anthropologists. In: Fitting, M., Rayman, B. (eds) Raymond Smullyan on Self Reference. Outstanding Contributions to Logic, vol 14. Springer, Cham. https://doi.org/10.1007/978-3-319-68732-2_10
Buchanan-Conway

Douglas Hofstadter, FOREWORD

Douglas Hofstadter, FOREWORD
In: Clark Kimberling, Triangle Centers and Central Triangles. Congressus Numerantum, vol. 129, August, 1998. Winnipeg, Canada

Douglas Hofstadter

REGULAR POLYGONS AND EULER LINES

Let A1A2A3 be an equilateral triangle and Pa point.
Denote:
1, 2, 3 = the Euler lines of PA1A2,PA2A3, PA3A1, resp.
1,2,3 are concurrent.
Hyacinthos 21592

GENERALIZATION
Let A1A2A3...A3k be a regular 3k-gon and P a point.
Denote:
1, 2, 3,.... 3k = the Euler lines of PA1A2, PA2A3, PA3A4,.....PA3kA1, resp.
These triads are concurrent
1, k+1, 2k+1
2, k+2, 2k+2
3, k+3, 2k+3
4, k+4, 2k+4
......
k, 2k, 3k

k = 2 (Regular Hexagon)
1, 3, 5
2, 4, 6

Mail Antreas P. Hatzipolakis

X(5159) updated

X(5159) = INVERSE-IN-NINE-POINT-CIRCLE OF X(1368)

Barycentrics   f(a,b,c) : f(b,c,a) : f(c,a,b), where f(a,b,c) = (b² + c² - a²)(3b⁴ + 3c⁴ - 2a⁴ + a²b² + a²c² - 6b²c²)
Barycentrics    (a^2-b^2-c^2)*(2*a^4-3*(b^2-c^2)^2-a^2*(b^2+c^2)) : :
Barycentrics    SA*(6*SB*SC-SB*SW-SC*SW) : :
X(5159) = 9*X(2)-X(23), 3*X(2)+X(858), 5*X(2)-X(7426), 7*X(2)+X(10989), 3*X(2)+5*X(30745), 6*X(2)-X(37897), 7*X(2)-X(37904), 11*X(2)-3*X(37907), 9*X(2)+X(46517), 5*X(2)+X(47311), 11*X(2)-X(47312), 6*X(2)+X(47315), 9*X(2)-2*X(47316), 3*X(2)+2*X(47629), X(3)+3*X(2072), X(3)-3*X(10257), 2*X(3)-3*X(16976), 3*X(3)+X(18323), 5*X(3)+3*X(18403), 7*X(3)-3*X(44246)

As a point on the Euler line, X(5159) has Shinagawa coefficients (E -5*F, -E - F)

X(5159) = (inverse-in-de-Longchamps-circle of X(22)) = (radical trace of nine-point circle and de-Longchamps circle) = (radical trace of polar circle and de-Longchamps circle) = (reflection of X(23) in de Longchamps line)    (Randy Hutson, August-September, 2013)

For a construction of X(5159), see David Nguyen and Ercole Suppa, euclid 7508.

X(5159) lies on these lines: {1, 47489}, {2, 3}, {6, 47546}, {8, 47533}, {10, 47492}, {39, 47182}, {69, 40920}, {98, 44877}, {114, 16177}, {122, 16188}, {125, 3292}, {126, 38971}, {127, 31655}, {131, 46436}, {141, 8542}, {193, 47463}, {216, 3055}, {230, 3284}, {265, 55981}, {325, 16315}, {339,3266}, {343, 8538}, {373, 37511}, {385, 47237}, {394, 8548}, {511, 6723}, {523, 4885}, {524, 6698}, {525, 22264}, {551, 47491}, {575, 23292}, {576, 13567}, {577, 3054}, {597, 47460}, {599, 47280}, {625,40544}, {647, 47256}, {850, 47248}, {892, 16103}, {895, 15128}, {1007, 2452}, {1038, 7286}, {1040, 5160}, {1092, 61544}, {1125, 51725}, {1154, 64689}, {1351, 37643}, {1352, 59767}, {1353, 26869}, {1503, 5972}, {1514, 36518}, {1531, 38727}, {1560, 52951}, {1568, 38729} ,{1698, 47321}, {1853, 59543}, {1899, 38398}, {1992, 47462}, {2697, 44060}, {2770, 58096}, {3066, 38136}, {3167, 23291}, {3231, 14965}, {3241, 47536}, {3258, 31842}, {3291, 14961}, {3576, 47469}, {3580, 15059}, {3589, 20113}, {3618, 32220}, {3619, 47279}, {3620, 47281}, {3634, 37613}, {3679, 47490}, {3763, 32113}, {3815, 5158}, {3818, 61507}, {4669, 47564}, {5093, 63081}, {5099, 31275}, {5203, 53895}, {5272, 10149}, {5297, 18447}, {5622, 41615}, {5650, 9967}, {5651, 18358}, {5886, 47471}, {6000, 65095}, {6390, 15398}, {6425, 18289}, {6426, 18290}, {6509, 15850}, {6593, 15116}, {6688, 58481}, {6697, 13562}, {6721, 62490}, {6776, 62708}, {7292, 18455}, {7736, 47184}, {7745, 15820}, {7763, 59766}, {7868, 16325}, {7925, 47155}, {7998, 18438}, {8263, 23327}, {8280, 43879}, {8281, 43880}, {8705, 11574}, {8780, 32064}, {8854, 53513}, {8855, 53516}, {9019, 35370}, {9140, 32272}, {9148, 47159}, {9165, 44401}, {9300, 15860}, {9306, 23332}, {9716, 45968}, {9745, 63633}, {9771, 16333}, {9775, 46637}, {9820, 18914}, {9970, 15131}, {10116, 15129},{10173, 11594}, {10192, 64196}, {10256, 46987}, {10415, 34897}, {10510, 47558}, {10516, 47474}, {10564, 23515}, {10634, 43103}, {10635, 43102}, {11059, 41009}, {11245, 11422}, {11427, 53092}, {11433, 11482}, {11477, 26958}, {11513, 32789}, {11514, 32790}, {11580, 22121}, {12041, 58885}, {12079, 14919}, {12358, 40685}, {12900, 14915}, {13202, 20725}, {13292, 15120}, {13445, 15029}, {13561, 31831}, {13611, 65620}, {13754, 16270}, {13857, 41586}, {13869, 30741}, {14156, 15115}, {14341, 41357}, {14389, 51732}, {14561, 47571}, {14984, 60774}, {15025, 50435}, {15027, 22115}, {15034, 25739}, {15066, 61545}, {15124, 50708}, {15125, 15311}, {15139, 15142}, {15448, 29012}, {15471, 32300}, {15491, 16324}, {15526, 22110}, {15533, 47466}, {15812, 47355}, {15819, 47568}, {15905, 62992}, {16092, 39061}, {16227, 64854}, {16303, 31489}, {16310, 44529}, {16313, 50666}, {16760, 34844}, {18583, 37648}, {18911, 61690}, {19126, 32217}, {19131, 22112}, {19862, 51693}, {19875, 47488}, {19883, 47495}, {20190, 58447}, {20208, 37690}, {20299, 59659}, {20582, 47446}, {21243, 53415}, {21356, 47551}, {21358, 47276}, {21639, 53778}, {21850, 61506}, {21968, 64059}, {21970, 51212}, {22104, 34841}, {22151, 32251}, {23878, 47247}, {25055, 47472}, {29181, 32223}, {29639, 47178}, {31174, 46983}, {31274, 47326}, {31277, 47004}, {31279, 47173}, {31804, 64181}, {31843, 46664}, {32111, 64101}, {32227, 34153}, {32269, 51360}, {32411, 63709}, {32767, 64035}, {33522, 55602}, {33924, 47164}, {34128, 51391}, {34988, 44533}, {35259, 39884}, {35707, 58437}, {35968, 42426}, {36900, 47257}, {37638,48876}, {37644, 61624}, {37647, 62698}, {37688, 41008}, {37689, 38292}, {38028, 47476}, {38047, 47506}, {38053, 47507}, {38057, 47508}, {38098, 47534}, {38110, 54012}, {38314, 47493}, {38317, 47581}, {38795, 51425}, {39220, 52058}, {39899, 64177}, {40112, 41724}, {40341, 47465}, {40349, 40350}, {40995, 63098}, {41139, 46998}, {42424, 53832}, {44381, 47239}, {44436, 47213}, {46264, 61680}, {46686, 58871}, {46982, 63440}, {46986, 47245}, {46989, 47254}, {47169, 62196}, {47175, 47259}, {47207, 65760}, {47249, 47261}, {47253, 47442}, {47271 ,54320}, {47352, 47458}, {47447, 63121}, {47451, 51128}, {47456, 52238}, {47461, 51171}, {47494, 53620}, {47499, 47761}, {47500, 47760}, {47537, 51071}, {47541, 59373}, {47544, 48310}, {47575, 59403}, {47576, 59404}, {51358, 59661}, {52520, 63632}, {52987, 61646}, {53777, 62375}, {58451, 58639}, {59399, 63084}, {60414, 60415}, {60420, 60424}, {60421, 60425}, {60422, 60426}, {60423, 60427}

X(5159) = midpoint of X(i) and X(j) for these (i, j): {2, 47097}, {3, 10297}, {5, 15122}, {23, 46517}, {69, 47277}, {125, 11064}, {325, 16315}, {403, 47090}, {427, 16387}, {441, 37987}, {468, 858}, {625, 40544}, {850, 47248}, {892, 16103}, {1529, 46620}, {2071, 10151}, {2072, 10257}, {3153, 37931}, {3679, 47593}, {5189, 37899}, {5196, 47098}, {5203, 53895}, {6390, 51258}, {7426, 47311}, {7575, 47341}, {9148, 47159}, {10295, 47339}, {10510, 47558}, {10989, 37904}, {12041, 58885}, {13202, 20725}, {13473, 16386}, {13857, 44569}, {15115, 15123}, {15118, 19510}, {16188, 47570}, {18323, 47308}, {18572, 47335}, {22110, 46980}, {23323, 34152}, {31174, 46983}, {32269, 51360}, {36170, 56370}, {37897, 47315}, {37900, 47095}, {37911, 47629}, {37938, 44452}, {37950, 47336}, {38971, 54075}, {46686, 58871}, {46982, 63440}, {47091, 47096}, {47092, 62344}, {47280, 47552}, {47310, 54995}, {47312, 47314}, {47612, 47613}
X(5159) = reflection of X(i) in X(j) for these (i, j): (4, 63821), (23, 47316), (403, 44912), (468, 37911), (858, 47629), (10257, 63860), (15471, 32300), (16976, 10257), (32217, 47454), (37897, 468), (37899, 47630), (37910, 37897), (37935, 44452), (37942, 44911), (37984, 5), (41357, 14341), (47004, 47262), (47114, 16976), (47239, 44381), (47261, 47249), (47296, 6723), (47315, 858), (47338, 11799), (47442, 47253), (47457, 3589), (47549, 47460), (51725, 1125), (65154, 6677)
X(5159) = complement of X(468)
X(5159) = inverse-in-nine-point circle of X(1368)
X(5159) = inverse-in-{circumcircle, nine-point circle}-inverter of X(20)
X(5159) = inverse-in-complement-of-polar-circle of X(2)
X(5159) = intersection, other than A, B, C, of circumconics {A, B, C, X(3), X(40349)} and {A, B, C, X(4), X(53419)}
X(5159) = barycentric product X(i)*X(j) for these (i,j): (69, 53419), (76, 21639), (264, 40349), (305, 40350), (525, 53351), (5485, 53778)
X(5159) = barycentric quotient X(i)/X(j) for these {i,j}: {40349, 3}, {40350, 25}, {53351, 648}, {53419, 4}, {53778, 1992}
X(5159) = trilinear product X(i)*X(j) for these (i,j): (63, 53419), (75, 21639), (92, 40349), (304, 40350), (656, 53351), (53778, 55923)
X(5159) = trilinear quotient X(i)/X(j) for these (i,j): (21639, 31), (40349, 48), (40350, 1973), (53351, 162), (53419, 19), (53778, 36277)
X(5159) = (X(i), X(j))-harmonic conjugate of X(k) for these (i, j, k): (2, 20, 52290), (2, 22, 52297), (2, 427, 6677), (2, 468, 37911), (23, 468, 47316), (597, 47549, 47460), (599, 47280, 47552), (3291, 47298, 43291), (3618, 32220, 47459), (5651, 45303, 18358), (10510, 62376, 47558), (24855, 47298, 3291), (26869, 37645, 1353), (30786, 37804, 62310), (37648, 61743, 18583), (37804, 62310, 6390), (51360, 61691, 32269), (59767, 61735, 1352)

---

PYTHAGOREAN THEOREM

From a New Criterion of a Cyclic Quadrilateral (NCCQ) to Pythagorean System –– An Alternative Study
Athanasios Gakopoulos, Farsala, Greece
Debabrata Nag, Kolkata, India

Gak_Nag_Pythagoras_07-11_2024

X(370)

Created at: Sun, Nov 3, 2024 at 12:26 PM
From: Antreas Hatzipolakis
To: euclid@groups.io, Chris van Tienhoven
Subject: Re: [euclid] Homothetic to Morley

Dear Chris
1. X(5390)
The point X(5390) was listed "coordinates-less"

X(5390) = EULER-MORLEY-ZHAO POINT
Barycentrics (unknown)
Let DEF be the classical Morley triangle. The Euler lines of the three triangles AEF, BFD, CDE appear to concur in a point for which barycentric coordinates remain to be discovered.
Construction by Zhao Yong of Anhui, China, October 2, 2012.

Then you, with your fruitful "fields method", managed to find the trilinears of the point with trigonometric expressions (Hyacinthos 21902)

2. X(370)
Jiang Huanxin proposed in the American Mathematical Monthly the following problem
In triangle ABC find all points P such that the cevian triangle of P is equilateral (my wording)
The problem was solved analytically by David Goering.
(I have scanned the solution and can be found in my blog here CEVIAN TRIANGLES ) Jean-Pierre Ehrmann computed the barycentrics as unique solutions of a system of equations.

I am wondering if the trlinears of the point can be computed with trigonometric expressions, as in the point X(5390) The same for the center of the equilateral triangle in question

Greetings from sunny Athens
APH

***********************

Created at: Sun, Nov 3, 2024 at 11:48 PM
From: Chris van Tienhoven
To: Antreas Hatzipolakis
Subject: RE: Homothetic to Morley

Dear Antreas,

I am not so sure if X(370) is suitable to tackle with Perspective Fields.
In 2010 I corresponded with Francisco about X(370) and in 2012 with Peter Moses.
I had already calculated the coordinates of X(370) and I found there are 3 solutions for the specifications of X(370), two of which can be imaginary. Peter told me there even may be 6 solutions.
He wrote in 2012 to me:
There are 2 sets of 3 solutions, depending on the external Fermat (giving X(370) and a maximum of 2 imaginaries) or internal Fermat (giving 3 reals) construction.
X(370) pertains to the equilateral cevian point that is inside the triangle. Each set of solutions comes from intersecting 3 conics.
As to it being a center .. I think it probably is, but the test is to see if, when symmetrically written, the coordinates remain unchanged under a bicentric exchange. It doesn't necessarily mean that a point is not a center if the coordinates are not symmetric. It may well be possible they can be made so.
See attachment for the one real solution I found in 2012. It is pretty long.
The expression is checked with figures to be correct.
Best regards,
Chris

Chris-solution-X370-in 2012

Mail Antreas P. Hatzipolakis

CEVIAN TRIANGLES

Jiang Huanxin and David Goering, EquilateralCevian Triangles
The American Mathematical Monthly
Vol. 104, No. 6 (Jun. - Jul., 1997), pp. 567-570
David Goering
X(370) = EQUILATERAL CEVIAN TRIANGLE POINT

Mowaffaq Hajja, The Arbitrariness of the Cevian Triangle
The American Mathematical Monthly
Vol. 113, No. 5 (May, 2006), pp. 443-447
Mowaffaq Hajja

Mail Antreas P. Hatzipolakis

FEUERBACH POINT PROBLEM

Lemma 1

Let ABC be a triangle. The Oi line intersects AB at C'.The circle (Oa) with diameter AI intersects the circumcircle again at A". The line C'A" intersects (Oa) again at Ca.Ca is the orthogonal projection of A on IC.

Lemma 2

Let ABC be a triangle and Ba, Ca the orthogonal projeections of A on IB, IC, resp. The line BaCa intersects AC, AB at B'a, C'a, resp. B'a,C'a are the midpoints of AC, AB, resp.

Lemma 3

Let ABC be a triangle. Denote C' = the midpoint of AB, Ma, Mb = the midpoints of AI, BI, resp. and Ba = the orthogonal projection of A on BI. The points Ma, C', Mb, Ba are concyclic. The circle is the NPC of AIB.

Problem
By David Nguyen

Rewritten with cyclic notation
Let ABC be a triangle. The OI line intersects BC, CA, AB at A', B', C', resp.  
Denote
(Oa) = the circle with diameter AI
A" = the 2nd intersection of the circumcircle and (Oa)
Ba = the 2nd intersection of B'A" and (Oa)
Ca = the 2nd intersection of C'A" and (Oa)
B'a = BaCa ∩ AC  , C'a = BaCa ∩ AB

(Oab) = the circumcircle of OaB'aCa
(Oac)= the circumcircle of OaBaC'a
The 2nd intersection of (Oab), (Oac) is the Feuerbach point

Proof
By the lemmata, the problem is equivalent to the following problem
Let ABC be a triangle and A'B'C' the medial triangle
Denote
A", B", C" = the midpoints of IA, IB, IC, resp.
The circumcircles of A'B"C", B'C"A", C'A"B" concur at the Feuerbach point
True, since the circumcircles of A'B"C", B'C"A", C'A"B" are the NPCs of IBC ICA, IAB resp. and they concur at the Poncelet point of ABCI = the Feuerbach point.

Mail Antreas P. Hatzipolakis

PANAKIS' PSEUDOISOSCELES TRIANGLE

Let ABC be a trangle and D1, D2, D3 the feet of the internal angle bisectors [D1D2D3 = the cevian triangle of the incenter I]
Prove that the triangle D1D2D3 can be isosceles without ABC being isosceles.
Ioannis Panakis, Plane Trigonometry, vol. B, Athens (1973), p. 110 [in Greek]

I call this triangle ABC as Panakis pseudoisosceles triangle

Properties of ABC (in the same book pp. 109-111)
1. The A, D1, D2, D3 are concyclic [the cevian circle of I passes through A]
2. (a + b + c)*(-a^2 + b^2 + c^2) + abc = 0
3. a / (b + c) = b / (c + a) + c / (a + b)
4. (r1 - r) / (r1 + r) = ((r2 - r) / (r2 + r)) + ((r3 - r) / (r3 + r))
where r = the inradius and r1, r2, r3 the exradii.

PDF of the pages of the book Panakis

Mail Antreas P. Hatzipolakis

THEBAULT'S PSEUDOISOSCELES TRIANGLE

Victor Thebault published the following theorem as an exercise:

Si le cercle qui passe par les pieds des bissectrices intérieures d'un triangle est tangent à l'un des côtés, le triangle est isocèle, et réciproquement. 
(If the circle passing through the feet of the interior bisectors of a triangle is tangent to one of the sides, the triangle is isosceles, and vice versa.)

Solution by (A.M.)  [false]
Journal de mathématiques élémentaires.  
75e Annee - No 1 -  1er Octobre 1950, p. 3, #14250

Joseph Andersonn proved that the triangle is not necessarily isosceles.
CERCLE PASSANT PAR LES PIEDS DES BISSECTRICES INTÉRIEURES D'UN TRIANGLE ET TANGENT À L'UN DES CÔTÉS
par A. Monjallon. 
Journal de mathématiques élémentaires.  
75e Annee - No 20, 15 Juillet 1951, pp. 153 - 4

CERCLE PASSANT PAR LES PIEDS DES BISSECTRICES INTÉRIEURES D'UN TRIANGLE ET TANGENT À L'UN DES CÔTÉS
par Rene Blanchard. 
Journal de mathématiques élémentaires.  
76e Annee - No 4, 15 Novembre 1951, pp. 25 - 6 

PDF File Victor Thebault

Francisco Javier García Capitán's Solution (in Spanish)
wrong-thebault

Mail Antreas P. Hatzipolakis

FJGC A confluence of concepts

Francisco Javier García Capitán,A confluence of concepts
FJGC

FORUM GEOMETRICORUM

FORUM GEOMETRICORUM

All Volumes

FJGC, An unique orthocentroidal system

Euclid 6412

Francisco Javier García Capitán, An unique orthocentroidal system
FJGC

ETC APH-FJGC-EULER

X(44234) = 1ST HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

X(44898) = 2ND HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

X(45306) = 3RD HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

X(45307) = 4TH HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

X(45308) = 5TH HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

X(64480) = 6TH HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

Barycentrics    -a^16 b^2 + 5 a^14 b^4 - 9 a^12 b^6 + 5 a^10 b^8 + 5 a^8 b^10 - 9 a^6 b^12 + 5 a^4 b^14 - a^2 b^16 - a^16 c^2 - 2 a^14 b^2 c^2 + 3 a^12 b^4 c^2 + 13 a^10 b^6 c^2 - 23 a^8 b^8 c^2 + 13 a^6 b^10 c^2 - 6 a^4 b^12 c^2 + 4 a^2 b^14 c^2 - b^16 c^2 + 5 a^14 c^4 + 3 a^12 b^2 c^4 - 28 a^10 b^4 c^4 + 17 a^8 b^6 c^4 + 17 a^6 b^8 c^4 - 7 a^4 b^10 c^4 - 12 a^2 b^12 c^4 + 5 b^14 c^4 - 9 a^12 c^6 + 13 a^10 b^2 c^6 + 17 a^8 b^4 c^6 - 42 a^6 b^6 c^6 + 8 a^4 b^8 c^6 + 28 a^2 b^10 c^6 - 9 b^12 c^6 + 5 a^10 c^8 - 23 a^8 b^2 c^8 + 17 a^6 b^4 c^8 + 8 a^4 b^6 c^8 - 38 a^2 b^8 c^8 + 5 b^10 c^8 + 5 a^8 c^10 + 13 a^6 b^2 c^10 - 7 a^4 b^4 c^10 + 28 a^2 b^6 c^10 + 5 b^8 c^10 - 9 a^6 c^12 - 6 a^4 b^2 c^12 - 12 a^2 b^4 c^12 - 9 b^6 c^12 + 5 a^4 c^14 + 4 a^2 b^2 c^14 + 5 b^4 c^14 - a^2 c^16 - b^2 c^16 + 4 a^13 b c OH S - 6 a^11 b^3 c OH S - 6 a^9 b^5 c OH S + 10 a^7 b^7 c OH S + 6 a^5 b^9 c OH S - 12 a^3 b^11 c OH S + 4 a b^13 c OH S - 6 a^11 b c^3 OH S + 24 a^9 b^3 c^3 OH S - 12 a^7 b^5 c^3 OH S - 24 a^5 b^7 c^3 OH S + 30 a^3 b^9 c^3 OH S - 12 a b^11 c^3 OH S - 6 a^9 b c^5 OH S - 12 a^7 b^3 c^5 OH S + 36 a^5 b^5 c^5 OH S - 18 a^3 b^7 c^5 OH S + 12 a b^9 c^5 OH S + 10 a^7 b c^7 OH S - 24 a^5 b^3 c^7 OH S - 18 a^3 b^5 c^7 OH S - 8 a b^7 c^7 OH S + 6 a^5 b c^9 OH S + 30 a^3 b^3 c^9 OH S + 12 a b^5 c^9 OH S - 12 a^3 b c^11 OH S - 12 a b^3 c^11 OH S + 4 a b c^13 OH S : :

See Antreas Hatzipolakis and Francisco Javier García Capitán, euclid 6388.

X(64480) lies on these lines: {2, 3), {542, 44123}, {1989, 8106}, {8115, 45016}, {13415, 18374}, {15360, 24650}, {32225, 44125}

---

X(64481) = 7TH HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

Barycentrics    -a^16 b^2 + 5 a^14 b^4 - 9 a^12 b^6 + 5 a^10 b^8 + 5 a^8 b^10 - 9 a^6 b^12 + 5 a^4 b^14 - a^2 b^16 - a^16 c^2 - 2 a^14 b^2 c^2 + 3 a^12 b^4 c^2 + 13 a^10 b^6 c^2 - 23 a^8 b^8 c^2 + 13 a^6 b^10 c^2 - 6 a^4 b^12 c^2 + 4 a^2 b^14 c^2 - b^16 c^2 + 5 a^14 c^4 + 3 a^12 b^2 c^4 - 28 a^10 b^4 c^4 + 17 a^8 b^6 c^4 + 17 a^6 b^8 c^4 - 7 a^4 b^10 c^4 - 12 a^2 b^12 c^4 + 5 b^14 c^4 - 9 a^12 c^6 + 13 a^10 b^2 c^6 + 17 a^8 b^4 c^6 - 42 a^6 b^6 c^6 + 8 a^4 b^8 c^6 + 28 a^2 b^10 c^6 - 9 b^12 c^6 + 5 a^10 c^8 - 23 a^8 b^2 c^8 + 17 a^6 b^4 c^8 + 8 a^4 b^6 c^8 - 38 a^2 b^8 c^8 + 5 b^10 c^8 + 5 a^8 c^10 + 13 a^6 b^2 c^10 - 7 a^4 b^4 c^10 + 28 a^2 b^6 c^10 + 5 b^8 c^10 - 9 a^6 c^12 - 6 a^4 b^2 c^12 - 12 a^2 b^4 c^12 - 9 b^6 c^12 + 5 a^4 c^14 + 4 a^2 b^2 c^14 + 5 b^4 c^14 - a^2 c^16 - b^2 c^16 - 4 a^13 b c OH S + 6 a^11 b^3 c OH S + 6 a^9 b^5 c OH S - 10 a^7 b^7 c OH S - 6 a^5 b^9 c OH S + 12 a^3 b^11 c OH S - 4 a b^13 c OH S + 6 a^11 b c^3 OH S - 24 a^9 b^3 c^3 OH S + 12 a^7 b^5 c^3 OH S + 24 a^5 b^7 c^3 OH S - 30 a^3 b^9 c^3 OH S + 12 a b^11 c^3 OH S + 6 a^9 b c^5 OH S + 12 a^7 b^3 c^5 OH S - 36 a^5 b^5 c^5 OH S + 18 a^3 b^7 c^5 OH S - 12 a b^9 c^5 OH S - 10 a^7 b c^7 OH S + 24 a^5 b^3 c^7 OH S + 18 a^3 b^5 c^7 OH S + 8 a b^7 c^7 OH S - 6 a^5 b c^9 OH S - 30 a^3 b^3 c^9 OH S - 12 a b^5 c^9 OH S + 12 a^3 b c^11 OH S + 12 a b^3 c^11 OH S - 4 a b c^13 OH S : :

See Antreas Hatzipolakis and Francisco Javier García Capitán, euclid 6388.

X(64481) lies on these lines: {2, 3}, {542, 44124}, {1989, 8105}, {8116, 45016}, {13414, 18374}, {15360, 24651}, {32225, 44126}

---

X(64482) = 8TH HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

Barycentrics    -2 a^12 + 6 a^10 b^2 - 13 a^8 b^4 + 5 a^6 b^6 + 7 a^4 b^8 - 5 a^2 b^10 + 2 b^12 + 6 a^10 c^2 - 2 a^8 b^2 c^2 + 11 a^6 b^4 c^2 - 19 a^4 b^6 c^2 + 7 a^2 b^8 c^2 - 9 b^10 c^2 - 13 a^8 c^4 + 11 a^6 b^2 c^4 + 6 a^4 b^4 c^4 + 22 b^8 c^4 + 5 a^6 c^6 - 19 a^4 b^2 c^6 - 30 b^6 c^6 + 7 a^4 c^8 + 7 a^2 b^2 c^8 + 22 b^4 c^8 - 5 a^2 c^10 - 9 b^2 c^10 + 2 c^12 - 2 a^10 W + 5 a^8 b^2 W + 6 a^6 b^4 W - 7 a^4 b^6 W - 4 a^2 b^8 W + 2 b^10 W + 5 a^8 c^2 W - 30 a^6 b^2 c^2 W + 14 a^4 b^4 c^2 W + 25 a^2 b^6 c^2 W - 8 b^8 c^2 W + 6 a^6 c^4 W + 14 a^4 b^2 c^4 W - 46 a^2 b^4 c^4 W + 6 b^6 c^4 W - 7 a^4 c^6 W + 25 a^2 b^2 c^6 W + 6 b^4 c^6 W - 4 a^2 c^8 W - 8 b^2 c^8 W + 2 c^10 W : : where W^2 = a^4 - a^2 b^2 + b^4 - a^2 c^2 - b^2 c^2 + c^4

See Antreas Hatzipolakis and Francisco Javier García Capitán, euclid 6388.

X(64482) lies on these lines: {2, 3}, {2028, 31862}, {3413, 6321}

---

X(64483) = 9TH HATZIPOLAKIS-GARCÍA CAPITÁN-EULER POINT

Barycentrics    -2 a^12 + 6 a^10 b^2 - 13 a^8 b^4 + 5 a^6 b^6 + 7 a^4 b^8 - 5 a^2 b^10 + 2 b^12 + 6 a^10 c^2 - 2 a^8 b^2 c^2 + 11 a^6 b^4 c^2 - 19 a^4 b^6 c^2 + 7 a^2 b^8 c^2 - 9 b^10 c^2 - 13 a^8 c^4 + 11 a^6 b^2 c^4 + 6 a^4 b^4 c^4 + 22 b^8 c^4 + 5 a^6 c^6 - 19 a^4 b^2 c^6 - 30 b^6 c^6 + 7 a^4 c^8 + 7 a^2 b^2 c^8 + 22 b^4 c^8 - 5 a^2 c^10 - 9 b^2 c^10 + 2 c^12 + 2 a^10 W - 5 a^8 b^2 W - 6 a^6 b^4 W + 7 a^4 b^6 W + 4 a^2 b^8 W - 2 b^10 W - 5 a^8 c^2 W + 30 a^6 b^2 c^2 W - 14 a^4 b^4 c^2 W - 25 a^2 b^6 c^2 W + 8 b^8 c^2 W - 6 a^6 c^4 W - 14 a^4 b^2 c^4 W + 46 a^2 b^4 c^4 W - 6 b^6 c^4 W + 7 a^4 c^6 W - 25 a^2 b^2 c^6 W - 6 b^4 c^6 W + 4 a^2 c^8 W + 8 b^2 c^8 W - 2 c^10 W : : where W^2 = a^4 - a^2 b^2 + b^4 - a^2 c^2 - b^2 c^2 + c^4

See Antreas Hatzipolakis and Francisco Javier García Capitán, euclid 6388.

X(64483) lies on these lines: {2, 3}, {2029, 31863}, {3414, 6321}

---

SAME CENTROID

Let ABC be a triangle and A'B'C' the cevian triangle of O

Denote

Ma, Mb, Mc = the midpoints of AA'. BB', CC', resp.

Ha, Hb, Hc = the orthocenters of OMbMc, OMcMa, OMaMb, resp,

The triangles ABC and HaHbHc share the same centroid G

APH

Francisco Javier García Capitán A triangle of orthocenters with centroid G
FJGC

AN ORTHOCENTER

Let ABC be a triangle and A'B'C' the orthic triangle

Denote

Ma, Mb, Mc = the midpoints of AA', BB', CC', resp.

Ha, Hb, Hc = the orthocenters of HMbMc, HMcMa, HMaMb, resp.

Then
Orthocenter of HaHbHc = Nine Point Circle Center N

Euclid 6368
Romantics of Geometry

PROOF

The perpendicular from Mb to HMc intersects B'C' at A". In the triangle BB'C' we have MbA" // BC' and Mb = midpoint of BB', therefore A" is the midpoint of B'C'.
Similarly in the triangle CC'B' the perpendicular from Mc to HMb passes through the midpoint of B'C'. Therefore A" is the orthocenter Ha of HMbMc.
Similarly the orthocenters Hb, Hc of HMcMa, HMaMb are the midpoints of C'A', A'B', resp., that is HaHbHc is the medial triangle of A'B'C'

The orthocenter of HaHbHc is the circumcenter of A'B'C'

The circumcenter of A'B'C' is the Nine Point Circle center N of ABC.
H of HaHbHc = O of A'B'C' = N of ABC
QED

THREE CURIOUS MIDPOINTS

Let ABC be a triangle, P a point and A'B'C' the cevian triangle of P Ma = the midpoint of AbAc. Similarly Mb, Mc
Which is the locus of P such that ABC, MaMbMc are orthologic?
Antreas Hatzipolakis

Study:
Francisco Javier García Capitán: Three curious midpoints
FJGC

BILOGIC TRIANGLES

Antreas Hatzipolakis, Bilogic Triangles by Construction
Euclid 6242

Study by Francisco Javier García Capitán: Bilogic triangles by construction

Cosmology of Plane Geometry: Concepts and Theorems

Alexander Skutin,Tran Quang Hung, Antreas Hatzipolakis, Kadir Altintas: Cosmology of Plane Geometry: Concepts and Theorems>

ΨΗΦ. Cosmology of Plane Geometry: Concepts and Theorems
ΨΗΦ. Cosmology of Plane Geometry: Concepts and Theorems

PREVIOUS VERSION

ΨΗΦ. Cosmology of Plane Geometry: Concepts and Theorems
ΨΗΦ. Cosmology of Plane Geometry: Concepts and Theorems

Fermat-Torricelli and Napoleon Points

Thanasis Gakopoulos, Debabrata Nag: Fermat-Torricelli and Napoleon Points of a Triangle
A PLAGIOGONAL Approach

ΨΗΦ Fermat-Torricelli and Napoleon Points

A PROOF OF MORLEY THEOREM

Thanasis Gakopoulos - Debabrata Nag, Morley Theorem ̶ PLAGIOGONAL Approach of Proof

Abstract: In this work, an attempt has been made by the authors to present a PLAGIOGONAL approach to prove the Morley Theorem involving the intersecting trisectors of the angles of a scalene triangle. The objective of the present work is to also establish the non-orthogonal coordinates of the vertices of Morley triangle.

Gakopoulos - Nag

X(61637), X(61638)

X(61637) = ISOGONAL CONJUGATE Χ(61638)

Barycentrics   

See Floor van Lamoen and Francisco, euclid 6085.

X(61637) lies on this line:

X(61637) = isogonal comjugate of X(61638)

---

X(61638) = X(2)X(3)∩X(195)X(15109)

Barycentrics   

See Floor van Lamoen and Francisco, euclid 6085.

X(61638) lies on these lines:

X(61638) = isogonal comjugate of X(61637)

---