Information from Kimberling's Encyclopedia of Triangle Centers |
Trilinears u(-u/x + v/y + w/z) : v(u/x - v/y + w/z) : w(u/x + v/y - w/z), where x : y : z = X(109) and u : v : w = X(523)
Barycentrics af(a,b,c) : bf(b,c,a) : cf(c,a,b), where f(a,b,c) = u(-u/x + v/y + w/z)
X(3142) lies on these lines:
2,3 11,1193 12,73 117,125 226,1425 1211,1329 1213,2183 1214,1867 1400,1901X(3142) = X(109)-Ceva conjugate of X(523)
X(3142) = crosspoint of X(226) and X(264)
X(3142) = crosssum of X(184) and X(284)