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(1) and u : v : w = X(3)
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(3157) lies on these lines:
1,90 3,73 6,169 12,68 31,1066 40,1419 46,1079 55,500 56,215 65,921 72,394 221,517 495,611 602,1458 916,2293 971,1498 999,1201 1062,1071 1064,1496 1092,1425 1339,1616 1433,1807 1480,3057 1745,1936 1854,2771 1870,1993X(3157) = X(I)-Ceva conjugate of X(J) for these I,J: 1,3 3173,3211 3193,46
X(3157) = crosspoint of X(I) and X(J) for these I,J: 1,46 1800,3193
X(3157) = crosssum of X(1) and X(90)