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(6) and u : v : w = X(25)
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(3172) lies on these lines:
3,112 6,64 19,1104 20,1249 24,1384 25,32 31,607 41,3195 204,3198 232,3053 608,1042 1907,3087X(3172) = X(I)-Ceva conjugate of X(J) for these I,J: 1249,154 2332,1973
X(3172) = crosspoint of X(I) and X(J) for these I,J: 6,154 204,3213
X(3172) = crosssum of X(2) and X(253)