D is on conic section
<=>
F(x1 + h x2, y1+ h y2, z1 + h z2) = 0
<=>
F(x1,y1,z1)
+ h (x1.Fx' (x2,y2,z2) + y1.Fy' (x2,y2,z2) + z1.Fz' (x2,y2,z2))
+ h2 F(x2,y2,z2) = 0
Since F(x2,y2,z2) is not 0, the previous equation is a quadratic equation
in h. The roots are h1 and h2. With these h-values correspond two
intersection points with the conic section.
Remark :
F(x1 + h x, y1+ h y, z1 + h z) = 0
<=>
F(x1,y1,z1)
+ h (x1.Fx' (x,y,z) + y1.Fy' (x,y,z) + z1.Fz' (x,y,z))
+ h2 F(x,y,z) = 0
<=>
h (x1.Fx' (x,y,z) + y1.Fy' (x,y,z) + z1.Fz' (x,y,z))
+ h2F(x,y,z) = 0
Thus,
The line DP is a tangent line
<=>
The previous equation has two coinciding roots for h.
Since one root = 0. The other has to be 0.
<=>
x1.Fx' (x,y,z) + y1.Fy' (x,y,z) + z1.Fz' (x,y,z) = 0
The last condition is the necessary and sufficient condition for
the coordinates of P such that DP is a tangent line. It is the
equation of the tangent line through D.
Remark:
Appealing on the switching property, the equation of the tangent line
is also
x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1) = 0
3 x2 + 4 xy + 2 xz - 9 z2 = 0
Fx' (1,1,1) = 12 ; Fy' (1,1,1) = 4 ; Fz' (1,1,1) = -16
The tangent line in D(1,1,1) is
12 x + 4 y -16 = 0 <=> 3 x + y - 4 = 0
Equation:
The line
x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1) = 0
is the same line as
x1.Fx' (x,y,z) + y1.Fy' (x,y,z) + z1.Fz' (x,y,z) = 0
From the first equation we see that the line contains point D(x1,y1,z1)
because
x1.Fx' (x1,y1,z1) + y1.Fy' (x1,y1,z1) + z1.Fz' (x1,y1,z1) = 2 F(x1,y1,z1) =0From the second equation we see that the line contains the double point.
x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1) = 0
or
x1.Fx' (x,y,z) + y1.Fy' (x,y,z) + z1.Fz' (x,y,z) = 0
P(xo,yo,zo) is a point of tangency.
<=>
P(xo,yo,zo) is on the conic section
D(x1,y1,z1) is on the tangent line through P
<=>
F(xo,yo,zo) = 0
xo.Fx' (x1,y1,z1) + yo.Fy' (x1,y1,z1) + zo.Fz' (x1,y1,z1) = 0
<=>
(xo,yo,zo) is a solution of the system
/ F(x,y,z) = 0
\ x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1) = 0
From these system, we see that the points of tangency are the intersection
points of the conic section and the line with equation
x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1) = 0
Therefore, we call this line the tangent chord of point D.
x1.Fx' (x,y,z) + y1.Fy' (x,y,z) + z1.Fz' (x,y,z) = 0
and it is the same formula as the formula of the tangent line in
a point of the conic section.
We can calculate the tangent lines through a point D not on a conic section in three steps.
x2 + 2 x y - y2 + 4 x z - 6 z2 = 0
The tangent chord has equation 3 x + y - 4 z = 0
/ x2 + 2 x y - y2 + 4 x z - 6 z2 = 0
\ 3 x + y - 4 z = 0
These solutions are P1(1,1,1) and P2(11,-5,7).
(x + h x1, y+ h y1, z + h z1)
Point D is on conic section F(x,y,z) = 0
<=>
F(x + h x1, y+ h y1, z + h z1) = 0
<=>
F(x,y,z)
+ h (x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1))
+ h2 F(x1,y1,z1) = 0
This is a quadratic equation in h.
Well,
PQ is a tangent line
<=>
The quadratic equation in h has two equal roots
<=>
(x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1))2
- 4 F(x,y,z).F(x1,y1,z1) = 0
<=>
point Q is on a tangent line through P(x1,y1,z1)
Thus, the quadratic equation of the tangent lines through point P is:
(x.Fx' (x1,y1,z1) + y.Fy' (x1,y1,z1) + z.Fz' (x1,y1,z1))2
- 4 F(x,y,z).F(x1,y1,z1) = 0
x2 + 2 x y - y2 + 4 x z - 6 z2 = 0
Fx' (x1,y1,z1) = 2 x1 + 2 y1 + 4 z1 = 6
Fy' (x1,y1,z1) = 2 x1 - 2 y1 = 2
Fz' (x1,y1,z1) = 4 x - 12 z = -8
F(x1,y1,z1) = -1
The quadratic equation of the tangent lines through point P is:
(6 x + 2 y - 8 z)2 + 4 (x2 + 2 x y - y2 + 4 x z - 6 z2 ) = 0
<=>
40 x2 - 32 y z + 32 x y - 80 x z + 40 z2 = 0
<=>
5 x2 - 4 y z + 4 x y - 10 x z + 5 z2 = 0
<=>
(5 x + 4 y - 5 z) (x - z) = 0
/ ux + vy + wz = 0
\ F(x,y,z) = 0
This system is equivalent with
/ -(u x + v y)
| z = ------------
| w
|
| -(u x + v y)
| F(x, y , ------------ ) = 0
| w
\
The last equation of that system is a quadratic and homogeneous equation
in x and y. Thus, it is the equation of a pair of lines through the origin.
These lines through the origin go through the intersection points of d
and the conic section.