Ellipse

From testwiki
Jump to navigation Jump to search

Template:Mathematics Template:Wikipedia

Ellipse


File:20170520 Ellipse Horizontal At Origin 02.png
Figure 1: Ellipse (red curve) at origin with major axis horizontal.

Origin at point O:(0,0).
Foci are points F1(c,0), F2(c,0).OF1=OF2=c.
Line segment V1OV2 is the major axis.
     OV1=OV2=B1F1=B1F2=a.
Line segment B1OB2 is the minor axis. OB1=OB2=b.
Each line L1F1R1,L2F2R2 is a latus rectum.
Each line x=D1,x=D2 is a directrix.
PF1+PF2=2a.

In cartesian geometry in two dimensions the ellipse is the locus of a point P that moves relative to two fixed points called foci:F1,F2. The distance F1F2 from one focus (F1) to the other focus (F2) is non-zero. The sum of the distances (PF1,PF2) from point to foci is constant.


PF1+PF2=K. See figure 1.


The center of the ellipse is located at the origin O(0,0) and the foci (F1,F2) are on the X axis at distance c from O.


F1 has coordinates (c,0).F2 has coordinates (c,0). Line segments OF1=OF2=c.


By definition PF1+PF2=B1F1+B1F2=V1F1+V1F2=K.


V1F1=V2F2. V1F1+V1F2=V1F2+V2F2=V1V2=K=2a, the length of the major axis (V1V2). OV1=OV2=a.


Each point (V1,V2) where the curve intersects the major axis is called a vertex. V1,V2 are the vertices of the ellipse.


Line segment B1B2 perpendicular to the major axis at the midpoint of the major axis is the minor axis with length 2b. OB1=OB2=b.


B1F1+B1F2=2a; B1F1=B1F2=a. a2=b2+c2.


Any line segment that intersects the curve in two places is a chord. A chord through the focus is a focal chord. Each focal chord L1F1R1, L2F2R2 perpendicular to the major axis is a latus rectum.

Equation of ellipse


PF1+PF2=2a

Let point P have coordinates (x,y).


PF1=(x(c))2+(y0)2=(x+c)2+y2=M

PF2=(xc)2+y2=N

MM=(x+c)2+y2; NN=(xc)2+y2.

(x+c)2+y2+(xc)2+y2=2a

M+N=2a

MM+2MN+NN=4aa

2MN=4aaMMNN

4MMNN=(4aaMMNN)2

4MMNN(4aaMMNN)2=0


Make appropriate substitutions, expand and the result is:

16aaxx16ccxx+16aayy16aaaa+16aacc=0

(aacc)xx+aayyaa(aacc)=0

b2x2+a2y2a2b2=0 or x2a2+y2b2=1


If the equation b2x2+a2y2a2b2=0 is expressed as Ax2+By2+C=0:

a2=CA; b2=CB.

Length of latus rectum


b2x2+a2y2a2b2=0

b2c2+a2y2a2b2=0

b2(a2b2)+a2y2a2b2=0

b2a2b4+a2y2a2b2=0

a2y2=b4

y2=b4a2

y=b2a

Length of latus rectum =L1R1=L2R2=2b2a.

Second definition of ellipse

Template:RoundBoxTop

File:0901ellipse00.png
Graph of ellipse x2a2+y2b2=1 where a,b=20,12.
At point B, uv=e.
At point A, at=e.

Ellipse is path of point that moves so that ratio of distance to fixed point and distance to fixed line is constant.


Let pa=e where:

  • p is non-zero,
  • a>p,
  • a=p+u.

Therefore, 1>e>0.

Let directrix have equation x=t where at=e.

At point B:

pp+u=p+up+u+v=e

(p+u)2=p(p+u+v)

pp+pu+pu+uu=pp+pu+pv

pu+uu=pv

u(p+u)=pv

uv=pp+u=e

distance to focusdistance to directrix=e  (3)

Statement (3) is true at point A also.


Section under "Proof" below proves that statement (3) is true for any point P on ellipse. Template:RoundBoxBottom

Proof

Template:RoundBoxTop

File:0902ellipse00.png
Proving that distance from point to focusdistance from point to directrix=e.
Graph is part of curve x2a2+y2b2=1.
distance to Directrix1 =tx=aex=aexe.
base = xp=xae
(distance to Focus1)2=base2+y2

As expressed above in statement 3, second definition of ellipse states that ellipse is path of point that moves so that ratio of distance to fixed point and distance to fixed line is constant.


This section proves that this definition is true for any point P on the ellipse.


At point P:

(a2p2)x2+a2y2a2(a2p2)=0

y2=(a2p2)x2+a2(a2p2)a2

=a2e2x2a2x2+a2a2a2a2e2a2

=e2x2x2+a2a2e2

base =xp=xae

(distance F1P)2=y2+base2=y2+(xae)2 =a22aex+e2x2 =(aex)2

distance to Focus1=distance F1P=aex

distance to Directrix1=tx=aex=aexe

distance to Focus1distance to Directrix1 =(aex)e(aex) =e


Similar calculations can be used to prove the case for Focus2 (p,0) and Directrix2 (x=t) in which case:

distance to Focus2distance to Directrix2 =(a+ex)e(a+ex) =e

Therefore: distance to focusdistance to directrix=e where 1>e>0.


Ellipse is path of point that moves so that ratio of distance to fixed point and distance to fixed line is constant, called eccentricity e. Template:RoundBoxBottom

The directrices


File:20170519 Ellipse Illustrating Eccentricity 03.png
Figure 1: Ellipse (red curve) at origin with major axis horizontal.

Origin at point O:(0,0).
Foci are points F1(c,0), F2(c,0).OF1=OF2=c.
Directrices are lines x=D1, x=D2, D1=D2. OV1=OV2=a.
eccentricity e=ca=F2V2V2D2=V1F2V1D2=OV2OD2
e=PF1PE1 (yellow lines); e=PF2PE2 (purple lines)
To define ellipse specify focus, directrix, e.


See Figure 1. The vertical line through D2 with equation x=D2 is a directrix of the ellipse. Likewise for the vertical line x=D1; D1=D2.


A second definition of the ellipse: the locus of a point that moves relative to a point, the focus, and a fixed line called the directrix, so that the distance from point to focus and the distance from point to line form a constant ratio e=eccentricity, 0<e<1.


Consider the point V2 in the figure. F2V2V2D2=e.


Let the length V2D2=d. acd=e. d=ace


Consider the point V1:

V1F2V1D2=a+c2a+d=e=(a+c)/(2a+ace)=(a+c)/(2ae+ace)=e(a+c)2ae+ac.


2ae+ac=a+c; 2ae=2c.


e=ca.


Length OD2=a+d=a+ace=a+acc/a=a+a(ac)c=ac+aaacc=a2c.


Distance from center to directrix =OD2=a2c=a2ea=ae=ce2. e=OV2OD2.


Distance from center to directrix = OF2+F2D2=c+d0=ce2.

e2c+e2d0=c; ce2c=e2d0; c=e2d01e2.

1e2=1c2a2=a2c2a2=b2a2.

e21e2=c2a2/b2a2=c2b2.


Distance from focus to directrix =F2D2=b2c.


Ellipse using focus and directrix


File:20170520 EllipseAtOriginVertical01.png
Figure 2: Ellipse (red curve) at origin with major axis vertical.

Origin at point O:(0,0).
Focus at point F:(0,c).
Directrix is line DE: y=ce2.
Point P has coordinates: (x,y).
eccentricity e=PFPE (yellow lines)


See Figure 2. Let the point P be (x,y), the focus F be (0,c) and the directrix DE have equation y=ce2 where 1>e>0. The directrix is horizontal and the major axis vertical through the origin (0,0).


PF=x2+(y+c)2

PE=y+ce2

e=PFPE; PF=ePE.

x2+(y+c)2=e(y+ce2)

ex2+(y+c)2=ee(y+ce2)=eey+c

ee(x2+(y+c)2)=(eey+c)2

ee(x2+(y+c)2)(eey+c)2=0


Expand and the result is:


+eexx+eeyyeeeeyy+cceecc=0

xx+yyeeyy+ccccee=0

xx+(1ee)yy+ccaa=0

xx+(1ee)yy(aacc)=0

xx+(1ee)yybb=0

1ee=1ccaa=aaccaa=bbaa

xx+(bbaa)yybb=0

a2x2+b2y2a2b2=0


Compare this equation with the equation generated earlier: b2x2+a2y2a2b2=0.

When the equation is b2x2+a2y2a2b2=0, the major axis is horizontal.

When the equation is a2x2+b2y2a2b2=0, the major axis is vertical.

General ellipse at origin


File:20170516 General Ellipse At Origin 03.png
Figure 1: Ellipse (red curve) at origin with major axis oblique.

Origin at point O:(0,0).
Foci are points F1(p,q), F2(p,q).
OF1=OF2=c=p2+q2.
Line segment V1OV2 is the major axis.
     OV1=OV2=a.
Line D1OD2 is the major axis extended.
Lines perpendicular to D1OD2 at D1,F1,O,F2,D2 are directrix, latus rectum. minor axis, latus rectum, directrix.
OD1=OD2=a2c.
F1D1=F2D2=b2c.
PF1+PF2=2a.


The general ellipse allows for the major axis to have slope other than horizontal or vertical. See Figure 1.


The line V1V2 is the major axis of the ellipse shown in red. Points F1,F2 are the foci with coordinates (p,q),(p,q) respectively.


Point P(x,y) is any point on the curve. By definition PF1+PF2=2a.


Length PF1=(x(p))2+(y(q))2=(x+p)2+(y+q)2=M.


Length PF2=(xp)2+(yq)2=N.


(x+p)2+(y+q)2+(xp)2+(yq)2=2a.


M+N=2a

MM+2MN+NN=4aa

2MN=4aaMMNN

4MMNN=(4aaMMNN)2

4MMNN(4aaMMNN)2=0.


Make appropriate substitutions, expand and the result is:


(aapp)x22pqxy+(aaqq)y2+aapp+aaqqaaaa=0.

This equation has the form Ax2+Bxy+Cy2+Dx+Ey+F=0 where:

A=a2p2

B=2pq

C=a2q2

D=E=0 because center is at origin,

F=a2p2+a2q2a4=a2(p2+q2a2)=a2(c2a2)=a2b2.


An example



Let (p,q) be (3,4) and a=8.

The ellipse is: 880x2384xy+768y2+(0)x+(0)y39936=0, or 55x224xy+48y2+(0)x+(0)y2496=0.


Reverse-engineering ellipse at origin



Given an ellipse in format Ax2+Bxy+Cy2+(0)x+(0)y+F=0, calculate p,q,a. (B is non-zero.)


A=a2p2

B=2pq

C=a2q2

F=a2p2+a2q2a4.


Coefficients provided could be, for example, (55,24,48,0,0,2496) or (110,48,96,0,0,4992)

or (55k,24k,48k,0,0,2496k) where k is an arbitrary constant and all groups of coefficients define the same ellipse.


To produce consistent, correct values for p,q,a the equations become:


KA=a2p2

KB=2pq

KC=a2q2

KF=a2p2+a2q2a4.


or:


KA(a2p2)=0

KB(2pq)=0

KC(a2q2)=0

KF(a2p2+a2q2a4)=0.


Solutions are:


K=4FB24AC. This formula for K is valid if both D,E are 0.


4(pp)2+4K(AC)ppB2K2=0 where pp=p2.

You should see one positive value (p2) and one negative value ((q2)) for pp. Choose the positive value and p=pp.


q=KB2p


a=AK+p2


The solutions become simpler if K == 1. if ( K != 1 ) { A ← KA; B ← KB; C ← KC; } and the solutions for p,q,a become:


4(pp)2+4(AC)ppB2=0 where pp=p2.


q=B2p


a=A+p2


With values p,q,a available all the familiar values of the ellipse may be calculated:


c=p2+q2


Equation of major axis: y=qpx; qxpy+0=0; qcxpcy+0=0 in normal form.


Equation of minor axis: pcx+qcy+0=0 in normal form.


Equations of directrices: pcx+qcy±a2c=0 in normal form.


An example using focus and directrix


File:20170523 Ellipse at origin 00.png
Figure 2: Ellipse (red curve) at origin with major axis oblique.

Origin at point O:(0,0).
Focus at point F:(20,15)
Directrix is line DE:45x35y+36=0.
eccentricity e=56=P1FP1D=P2FP2E.
Ellipse has equation:
20x2+24xy+27y29900=0.


Given focus (20,15), e=56 and directrix with equation 45x35y+36=0, calculate equation of the ellipse in form Ax2+Bxy+Cy2+Dx+Ey+F=0.


See Figure 2. Let point P (x,y) be any point on the ellipse.


Distance from P to focus =(x+20)2+(y15)2


Distance from P to directrix =0.8x0.6y+36.


(x+20)2+(y15)2=56(0.8x0.6y+36).


6(x+20)2+(y15)2=5(0.8x0.6y+36)=4x3y+180.


36((x+20)2+(y15)2)=(4x3y+180)2.


36((x+20)2+(y15)2)(4x3y+180)2=0.


Expand and the result is: 20x2+24xy+27y2+(0)x+(0)y9900=0.


Because D=E=0, the center of the ellipse is at the origin and the various lines have equations as follows.


Minor axis: 45x35y+0=0


Other directrix: 45x35y36=0


Major axis: 35x+45y+0=0


If you reverse-engineer the ellipse using the method above, K=25,

the expression KA=a2p2 becomes (25)(20)=302202, and

the expression KF=a2b2 becomes (25)(9900)=(302)(275).



General Ellipse


File:20170531 General ellipse 01.png
Figure 1: The general ellipse (red curve).
Foci at S1,S2, center at C2.
Point V is a vertex. Length VC2=a.
PS1+PS2=2a.


The ellipse may assume any position and any orientation in Cartesian two-dimensional space. See the red curve in Figure 1.


The equation of this curve may be derived as follows:

Given two foci: S1(s,t), S2(u,v), major axis of length 2a and point P(x,y)


PS1+PS2=2a


(xs)2+(yt)2+(xu)2+(yv)2=2a


The expansion of this expression is somewhat complicated because it contains 5 variables s,t,u,v,a.


The expansion may be simplified by reducing the number of variables from 5 to 3, the familiar p,q,a.


Let C2, the center of the ellipse, have coordinates (G,H) where G=s+u2; H=t+v2 and p=uG; q=vH.


Then (s,t)=(Gp,Hq), (u,v)=(G+p,H+q), and


(x(Gp))2+(y(Hq))2+(x(G+p))2+(y(H+q))2=2a


The expansion is: Ax2+Bxy+Cy2+Dx+Ey+F=0 where:

A=a2p2

B=2pq

C=a2q2

D=2(Gp2+HpqGa2)

E=2(Hq2+GpqHa2)

F=(ap)2+(aq)2a4+(G2+H2)a2(Gp+Hq)2


A different approach



Begin with ellipse at origin: Ax2+Bxy+Cy2+F=0 where:

A=a2p2

B=2pq

C=a2q2

F=(ap)2+(aq)2a4


By translation of coordinates, move the ellipse so that the new center of the ellipse is: (G,H). x(xG), y(yH).


The equation above becomes: Ax2+Bxy+Cy2+Dx+Ey+F1=0 where:


D=(2AG+BH); E=(BG+2CH); F1=AG2+BGH+CH2+F.


D=(2AG+BH)=(2(a2p2)G+(2pq)H)=(2Ga22Gp22pqH)=2(Gp2+HpqGa2),

the same as the value of D in the method above.


The expansion of E,F1 will show that this method produces the same results as the method above.


Given foci and major axis, perhaps the simplest way to produce Ax2+Bxy+Cy2+Dx+Ey+F1 is to calculate Ax2+Bxy+Cy2+F and move the center from C1: (0,0) to C2: (G,H).


Center of ellipse



Given Ax2+Bxy+Cy2+Dx+Ey+F=0, we know from above that D=(2AG+BH); E=(BG+2CH).


Therefore G=BE2CD4ACB2, H=(E+BG)2C where the point (G,H) is the center of the ellipse.


An Example of the General Ellipse

File:20170531 General ellipse 03.png
Figure 1: Translation of coordinate axes.
Red curve and green curve have same size, shape and orientation. The only difference is that center of green curve C1(0,0) has been moved to C2(34,14) where it is the center of the red curve.
In both curves p=16; q=12. V1C1=V2C2=a=25.


See Figure 1. Given foci (50,2),(18,26) and a=25, calculate the equation of the ellipse in form Ax2+Bxy+Cy2+Dx+Ey+F=0.


Calculate the center: G=50+(18)2=34; H=2+262=14.


p=18(34)=16; q=2614=12.


Equation of ellipse at origin: 369x2384xy+481y2140625=0.


Move ellipse from origin C1 to C2 (34,14):

369x2384xy+481y2+30468x26524y+562999=0.


Reverse-engineering the general ellipse



Given ellipse 369x2384xy+481y2+30468x26524y+562999=0, calculate the foci and the major axis.


Calculate the center of the ellipse (point C2): (G,H)=(34,14).


KA(a2p2)=0

KB(2pq)=0

KC(a2q2)=0

KF((ap)2+(aq)2a4+(G2+H2)a2(Gp+Hq)2)=0.


Solutions are:


K=4F4(AG2+BGH+CH2)B24AC


where A=369; B=384; C=481; F=562999; G=34; H=14.

In this example, K=1.


If (K != 1) {AAK; BBK; CCK}


The values p,q,a may be calculated as in "Reverse-engineering ellipse at origin" above.


p=16; q=12; a=25.


Length of major axis =2a=2(25)=50.


Focus S1=(s,t)=(3416,1412)=(50,2).


Focus S2=(u,v)=(34+16,14+12)=(18,26)


Significant lines of the Ellipse


Figure 2. Graph of ellipse illustrating axes, each latus rectum, each directrix.
Directrix through D1: 35x+45y+145=0
Directrix through D2: 35x+45y105=0
Latus rectum through F1: 35x+45y+100=0
Latus rectum through F2: 35x+45y60=0.
Major axis : y=43x+100.
Minor axis : 35x+45y+20=0.


The significant lines of the ellipse are: major axis, minor axis, each latus rectum, each directrix.


Consider the ellipse in Figure 2. Given foci F1=(108,44), F2=(12,84) and a=100, calculate the equations of all the significant lines.


Slope of major axis =84(44)12(108)=12896=43.

Major axis has equation y=43x+g and it passes through F1.

Therefore, g=4443(108)=44+144=100.

Major axis V1V2 has equation: y=43x+100.


Center of ellipse C=(108+(12)2,44+842)=(60,20).


Minor axis is perpendicular to major axis. Therefore, minor axis has equation: y=34x+g and it passes through the center C.

g=20+34(60)=2045=25.

Equation of minor axis (orange line through C): y=34x25 or 3x+4y+100=0 or 35x+45y+20=0.


F1C=F2C=c=(60(108))2+(20(44))2=482+642=±80.


Using the equation of the minor axis, the fact that each latus rectum is parallel to the minor axis, and that the distance from minor axis to latus rectum =c=80, each latus rectum has equation: 35x+45y+20±80=0.

Equation of latus rectum (blue line) through F1: 35x+45y+100=0

Equation of latus rectum (blue line) through F2: 35x+45y60=0.


Using the equation of the minor axis, the fact that each directrix is parallel to the minor axis, and that the distance from minor axis to directrix =D1C=D2C=a2c=100280=125, each directrix has equation: 35x+45y+20±125=0.

Equation of directrix (red line) through D1: 35x+45y+145=0

Equation of directrix (red line) through D2: 35x+45y105=0.

K and "Standard Form"


File:20170602 Ellipses illustrating K 01.png
Figure 1: Three ellipses illustrating "standard form."

For green curve K=25.
For red curve K=1256.
For blue curve K=36.


Everything about the ellipse can be derived from G,H, p,q,a the last three of which (p,q,a) are contained within:

A=a2p2

B=2pq

C=a2q2

F=a2b2 for ellipse at origin.


Consider the ellipse: 369x2384xy+481y23,515,625=0, the green curve in Figure 1. It is tempting to say that p=16; q=12; a=25.


These values satisfy A=a2p2=252162=369; B=2pq=2(16)(12)=384; C=a2q2=252122=481.


However, c2=400; b2=a2c2=625400=225; F=a2b2=(625)(225)=140,625. These values for p,q,a are not correct.


Put the equation of the ellipse into "standard form." In this context "standard form" means that K=1.


For ellipse at origin K=4FB24AC=4(3,515,625)(384)24(369)(481)=14,062,500562,500=25.


In fact 3,515,625140,625=25=K.


AAK; BBK; CCK; FFK.


A=9,225; B=9,600; C=12,025; F=87,890,625.


The equation of the ellipse becomes: 9,225x29,600xy+12,025y287,890,625=0 and


K=4FB24AC=351,562,500(9600)24(9225)(12025)=351562500351562500=1.


The equation of the ellipse is in "standard form" and:


p=80; q=60; a=125.


A=a2p2=15,6256,400=9,225.

B=2pq=2(80)(60)=9,600.

C=a2q2=15,6253,600=12,025.

c2=p2+q2=802+602=1002; b2=a2c2=15,62510,000=5,625;

F=a2b2=15,625(5,625)=87,890,625


The values p=80; q=60; a=125 are correct.


Example 2. Consider the ellipse 5,904x26,144xy+7,696y2140,625=0, the red curve in Figure 1.


In this example, K=1256=0.003,906,25 and the equation in "standard form" is:


23.0625x224xy+30.0625y2549.316,406,25=0.


Example 3. Consider the ellipse 9x2+25y2900x2000y+54400=0, the blue curve in Figure 1.


The center (G,H)=(50,40).


In this example B=0; K=AG2+CH2FAC=9(50)2+25(402)544009(25)=36 and the equation in "standard form" is:


324x2+900y232400x72000y+1958400=0.


Tangent at latus rectum


File:20170603 Ellipse & tangent at LR 00.png
Figure 1: Ellipse and tangent at Latus Rectum.

Origin at point O:(0,0).
Red curve is ellipse at origin with major axis vertical.
Line D1DD2 is directrix: y=a2c.
Line DR passes through point (0,a2c).
Line DR is tangent to curve at Latus Rectum: (b2a,c).

See Figure 1. The red curve is that of an ellipse at the origin with major axis vertical: a2x2+b2y2a2b2=0.

The line D1DD2 is the directrix with equation: y=a2c.

The green line DR has equation: y=mxa2c.

The aim of this section is to show that the line DR is tangent to the ellipse at the latus rectum.


Let the line intersect the curve. The x coordinates of the point of intersection are given by:

(+aacc+bbccmm)xx+(2aabbcm)x+(+aaaabbaabbcc)=0


If the line DR is a tangent, x has one value and the discriminant is 0:

(2aabbcm)(2aabbcm)4(+aacc+bbccmm)(+aaaabbaabbcc)=0 or:

(+bbcc)mm+(aaaa+aacc)=0.

mm=aaaaaaccbbcc=aa(aacc)bbcc=aabbbbcc=aacc

m=aacc=±ac


The tangent DR has slope acand equation: y=acxa2c.


Let this line intersect the curve. The x coordinates of the points of intersection are given by: (+bb+cc)xx+(2abb)x+(+aabbbbcc)=0.

Discriminant = (2abb)(2abb)4(+bb+cc)(+aabbbbcc)=bb+ccaa=0.


x=(2abb)2(bb+cc)=abbaa=b2a= half length of latus rectum.


The tangent DR touches the curve where x=b2a, the point R where chord LR is the latus rectum.

Reflectivity of ellipse


File:20170516 Reflectivity Of Ellipse 02.png
Figure 1: Ellipse (red curve) with major axis horizontal.

Origin at point O:(0,0).
Foci are points F1(c,0), F2(c,0).
Line T1PT2 tangent to curve at P.
Angle of incidence = angle of reflection: F2PT2=F1PT1.

See Figure 1.


The curve (red line) is an ellipse with equation: b2x2+a2y2a2b2=0 where A=b2, C=a2.


a2y2=a2b2b2x2y2=a2b2b2x2a2y=a2b2b2x2a2=a2b2b2x2a


Foci F1,F2 have coordinates (c,0),(c,0).

Line T1PT2 is tangent to the curve at point P.

A ray of light emanating from focus F2 is reflected from the inside surface of the ellipse at point P and passes through the other focus F1.


The aim is to prove that F1PT1=F2PT2.


Point N has coordinates (c+u,0).

At point P, x=c+u, y=a2b2b2x2a=a2b2b2(c+u)2a=Ra

Slope of line F2P=PNF2N=Rau=m2.

Slope of line F1P=PNF1N=Ra(2c+u)=m1.

Slope of curve at P=AxCy=A(c+u)C(R/a)=A(c+u)aCR=m.


Using tan(AB)=tan(A)tan(B)1+tan(A)tan(B),


tan(T1PF1)=m1m1+m1m=aA(C+cc+cu)R(C(2c+u)A(c+u))

tan(T2PF2)=mm21+mm2=aA(C+cc+cu)R(CuA(c+u))


if T1PF1==T2PF2 then:

tan(T1PF1)=tan(T2PF2),

aA(C+cc+cu)R(C(2c+u)A(c+u))=aA(C+cc+cu)R(CuA(c+u)),

(C+cc+cu)(CuA(c+u))=(C(2c+u)A(c+u))(C+cc+cu) and

(C+cc+cu)(CuA(c+u))(C(2c+u)A(c+u))(C+cc+cu)=0 where A=bb, C=aa, cc=aabb.


If you make the substitutions and expand, the result is 0.


Therefore, angle of reflection F1PT1= angle of incidence F2PT2 and the reflected ray PF1 passes through the other focus F1.