Preso un qualunque punto sull'ellisse, gli angoli formati
 dai raggi focali con la tangente sono uguali

Infatti, detto F'2 il simmetrico di F2 rispetto alla tangente
I triangoli PF'2D e PDF“ sono ovviamente uguali.
Quindi gli angoli che hanno il lato DP in comune sono uguali
e ovviamente gli angoli opposti al vertice P sono anch'essi uguali.

Inoltre F1F'2 = F1F2, che è il minimo cammino 
che collega F1 a F'2, e quindi è anche il minimo 
cammino che collega F1 a F2  toccando la tangente
Quindi in uno specchio ellittico ogni raggio che parte 
da uno dei fuochi e tocca l'ellisse si riflette passando 
per l'altro fuoco

F_1 = (-3, 1)
F_2 = (2, 1)
C = (3, 2)
c = Ellipse(F_1, F_2, C)
P = Point(c)
f = Segment(F_1, P)
g = Segment(P, F_2)
h = Tangent(P, c)
A = Point(h)
B = Point(h)
α = Angle(A, P, F_1)
β = Angle(F_2, P, B)
F'_2 = Mirror(F_2, h)
i = Segment(F'_2, F_2)
j = Segment(P, F'_2)
D = Intersect(h, i)