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

K1191

too complicated to be written here. Click on the link to download a text file.

X(2), X(6), X(13), X(14), X(15), X(16), X(17), X(18), X(30), X(550)

X(42625) → X(42648)

other points detailed below

Geometric properties :

Let f be the isoconjugation in the improper triangle T = X(2)X(6)X(30) having fixed points X(13), X(14), X(15), X(16). See Table 62 for other analogous isoconjugations.

If P is a point different from the seven points already mentioned, the locus K(P) of M such that P, M, F(M) are collinear is a pK with respect to T which must pass through these seven points and also P and f(P).

With P = X(74), we obtain the only circum-cubic, namely K505.

With P = X(111), we obtain the only circular cubic, namely K881.

With P = X(550), we obtain K1191, the only cubic passing through X(17) and X(18), hence meeting the Evans conic at the six very familiar points X(13), X(14), X(15), X(16), X(17), X(18). See CL034 for related topics. P17 and P18 are f(X17) and f(X18) respectively.

X(6) is a point of inflexion on the curve with inflexional tangent passing through X(631). The harmonic polar line of X(6) is the Euler line hence the tangents to K1191 at X(2), X(30), X(550) concur at X(6). It follows that one asymptote is the line X(6)X(30). The remaining infinite points are complicated.

The tangents to K1191 at X(13), X(14), X(15), X(16) meet at X(550) since it is the pivot and the tangent at X(550) passes through the isopivot X(6), the tangential of X(550).

With P = X(20), X(140), X(4), X(35018), X(376), X(397), X(398), X(5056), we obtain other pivotal KHO-cubics namely K1192, K1193, K1207, K1218, K1219, K1221a, K1221b, K1222, respectively.

***

Consider a triple (x,y,z) of real numbers and define the point F(x,y,z) = S / √3 x X(6) + 2y X(4) + z X(3) where S = 2 area(ABC).

If x^2 - 2 y^2 - (y - z)^2 = 0, then F(x,y,z) lies on the Evans conic.

If x^2 - 3z (2y - z) = 0, then F(x,y,z) lies on the Kiepert hyperbola.

If x^2 (2y + z) - 3 (2y - z) (y + z)^2 = 0, then F(x,y,z) lies on K369.

If x^2 (2y - 3 z) - 3 (y - z)^2 (2y - z) = 0, then F(x,y,z) lies on K458.

If x^2 (4y - z) - (2y - z) (y + z) (3y + z) = 0, then F(x,y,z) lies on K1191.

Remark : each 1st degree factor represents a line. For instance, x = 0 is the Euler line, 2y - z = 0 is the line GK, etc. Obviously, a missing x, y, z in a factor means the line passes through K, H, O respectively.

More generally, a curve whose barycentric equation can be transformed into a condition independent of a, b, c (and S) will be said to be a KHO-curve and then, the condition on x, y, z will be called KHO-equation of the curve. In the same manner, KHO-points are those associated to a triple of real numbers. On some occasions, complex numbers are also to tbe considered : for instance, (i √3, 0, ±1) represent the imaginary foci of the Brocard ellipse. Further properties in CL075.

When P is on the Euler line, the homothetic of H under h(O, T), then K(P) is always a KHO-cubic with KHO-equation :

T (x + y + z) (-x + y + z) (2y - z) + y (x^2 - 3y^2 + z^2 - y z) = 0.

The first two factors represent the lines X(14)X(16) and X(13)X(15). The last factor represents a conic passing through X(2), X(13), X(14), X(30), X(543).

The equation above can be rewritten under the form :

x^2 (-y + 2 T y - T z) - (2 y - z) (y + z) (-y + T y + T z) = 0.

In this case, -y + 2 T y - T z = 0 represents the inflexional tangent at X(6) which meets the Euler line at Q, the barycenter of (O, -1), (G, 3T). The last three factors represent three lines passing through X(6) and X(2), X(30), P respectively. These lines are the tangents to K(P) at these three points.

Let Z be the complement of Q. The line X(6)Z is the polar line of P in the Evans conic and their two common points E1, E2 lie on K(P). They are their remaining common points. This generalizes the role of X(17), X(18) for the cubic K1191.

For example with P = X(20) and P = X(140), these cubics are K1192 and K1193 respectively. In this latter cubic, E1 and E2 are X(3070) and X(3071).

See also CL075 for other analogous cubics.

***

More centers on K1191 with corresponding triples (x,y,z) : these are the third points on lines through two of the centers above.

P17 = (5,6,-3) = 10 a^2 S +3 Sqrt[3] (3 a^4-a^2 b^2-2 b^4-a^2 c^2+4 b^2 c^2-2 c^4) : : , SEARCH = -3.902587776484656

P18 = (5,-6,3) = 10 a^2 S -3 Sqrt[3] (3 a^4-a^2 b^2-2 b^4-a^2 c^2+4 b^2 c^2-2 c^4) : : , SEARCH = 11.02164993880089

Q1 = (-45,4,23) = 19 a^4-23 a^2 b^2+4 b^4-23 a^2 c^2-8 b^2 c^2+4 c^4+30 Sqrt[3] a^2 S : : , SEARCH = -1.074693164798429

Q2 = (45,4,23) = 19 a^4-23 a^2 b^2+4 b^4-23 a^2 c^2-8 b^2 c^2+4 c^4-30 Sqrt[3] a^2 S : : , SEARCH = 2.002201263625273

Q3 = (9,-4,19) = 23 a^4-19 a^2 b^2-4 b^4-19 a^2 c^2+8 b^2 c^2-4 c^4-6 Sqrt[3] a^2 S : : , SEARCH = 5.444982415362372

Q4 = (9,4,-19) = 23 a^4-19 a^2 b^2-4 b^4-19 a^2 c^2+8 b^2 c^2-4 c^4+6 Sqrt[3] a^2 S : : , SEARCH = -194.3189305674863

Q5 = (3,2,-8) = Sqrt[3] a^2 S + (5 a^4-4 a^2 b^2-b^4-4 a^2 c^2+2 b^2 c^2-c^4) : : , SEARCH = 78.79635321375187

Q6 = (-12,1,5) = 4 a^4-5 a^2 b^2+b^4-5 a^2 c^2-2 b^2 c^2+c^4+8 Sqrt[3] a^2 S : : , SEARCH = -0.4989323744221265

Q7 = (12,1,5) = 4 a^4-5 a^2 b^2+b^4-5 a^2 c^2-2 b^2 c^2+c^4-8 Sqrt[3] a^2 S : : , SEARCH = 1.820060958660224

Q8 = (3,-2,8) = Sqrt[3] a^2 S - (5 a^4-4 a^2 b^2-b^4-4 a^2 c^2+2 b^2 c^2-c^4) : : , SEARCH = 6.303447823194458

Q9 = (2,-3,2) = 4 a^2 S -Sqrt[3] (5 a^4-2 a^2 b^2-3 b^4-2 a^2 c^2+6 b^2 c^2-3 c^4) : : , SEARCH = 13.68454696008417

Q10 = (-4,3,5) = 8 a^2 S +Sqrt[3] (2 a^4-5 a^2 b^2+3 b^4-5 a^2 c^2-6 b^2 c^2+3 c^4) : : , SEARCH = 9.736488348800315

Q11 = (4,3,5) = 8 a^2 S -Sqrt[3] (2 a^4-5 a^2 b^2+3 b^4-5 a^2 c^2-6 b^2 c^2+3 c^4) : : , SEARCH = 1.589708866177522

Q12 = (2,3,-2) = 4 a^2 S +Sqrt[3] (5 a^4-2 a^2 b^2-3 b^4-2 a^2 c^2+6 b^2 c^2-3 c^4) : : , SEARCH = -6.043981456203585

 

The following list gives triples of collinear points on K1191. Naturally, the 3 x 3 determinant formed by the three associated triples must be 0.

X2 – X13 – X16

X2 – X14 – X15

X2 – X17 – Q1

X2 – X18 – Q2

X2 – X30 – X550

X2 – P17 – Q4

X2 – P18 – Q3

X2 – Q5 – Q12

X2 – Q6 – Q11

X2 – Q7 – Q10

X2 – Q8 – Q9

X6 – X13 – X14

X6 – X15 – X16

X6 – X17 – X18

X6 – P17 – P18

X6 – Q1 – Q2

X6 – Q3 – Q4

X6 – Q5 – Q8

X6 – Q6 – Q7

X6 – Q9 – Q12

X6 – Q10 – Q11

X13 – X15 – X30

X13 – X17 – Q5

X13 – X18 – Q6

X13 – P17 – Q8

X13 – P18 – Q7

X13 – Q1 – Q10

X13 – Q2 – Q9

X13 – Q3 – Q12

X13 – Q4 – Q11

X14 – X16 – X30

X14 – X17 – Q7

X14 – X18 – Q8

X14 – P17 – Q6

X14 – P18 – Q5

X14 – Q1 – Q12

X14 – Q2 – Q11

X14 – Q3 – Q10

X14 – Q4 – Q9

X15 – X17 – Q9

X15 – X18 – Q10

X15 – P17 – Q12

X15 – P18 – Q11

X15 – Q1 – Q6

X15 – Q2 – Q5

X15 – Q3 – Q8

X15 – Q4 – Q7

X16 – X17 – Q11

X16 – X18 – Q12

X16 – P17 – Q10

X16 – P18 – Q9

X16 – Q1 – Q8

X16 – Q2 – Q7

X16 – Q3 – Q6

X16 – Q4 – Q5

X17 – X30 – Q3

X17 – X550 – P17

X18 – X30 – Q4

X18 – X550 – P18

X30 – P17 – Q2

X30 – P18 – Q1

X30 – Q5 – Q10

X30 – Q6 – Q9

X30 – Q7 – Q12

X30 – Q8 – Q11

X550 – Q1 – Q4

X550 – Q2 – Q3

X550 – Q5 – Q6

X550 – Q7 – Q8

X550 – Q9 – Q10

X550 – Q11 – Q12