Brianchon'sTheorem::usage="It states that, given a hexagon circumscribed on a conic section, the lines joining opposite polygon vertices (polygon diagonals) meet in single point.Reference:WolframMathWorld:Brianchon'sTheorem;Personal";
The following animation verifies the theorem:
In[]:=
​​Manipulate​​Showr=2;k=2;d=1;n=6;ρ=
2Sin
π
n

1-Sin
π
n

;x1=4;y1=6;​​TableGraphicsBlack,Dashed,Thick,Line{4-d,y1}+
2
k
2
((r+ρ)Cos[t1+2πk1]+x1-(4-d))
+
2
((r+ρ)Sin[t1+2πk1]+y1-6)
-
2
ρ
{(r+ρ)Cos[t1+2πk1]+x1-(4-d),(r+ρ)Sin[t1+2πk1]+y1-6},{4-d,y1}+
2
k
2
((r+ρ)Cos[t1+2πk1+π]+x1-(4-d))
+
2
((r+ρ)Sin[t1+2πk1+π]+y1-6)
-
2
ρ
{(r+ρ)Cos[t1+2πk1+π]+x1-(4-d),(r+ρ)Sin[t1+2πk1+π]+y1-6},t1,0,2π,
2π
n
,​​TableGraphicsOrange,PointSize[0.008],Point{4-d,y1}+
2
k
2
((r+ρ)Cos[t1+2πk1]+x1-(4-d))
+
2
((r+ρ)Sin[t1+2πk1]+y1-6)
-
2
ρ
{(r+ρ)Cos[t1+2πk1]+x1-(4-d),(r+ρ)Sin[t1+2πk1]+y1-6},t1,0,2π,
2π
n
,​​​​TableGraphicsOrange,Thick,Line{4-d,y1}+
2
k
2
((r+ρ)Cos[t1+2πk1]+x1-(4-d))
+
2
((r+ρ)Sin[t1+2πk1]+y1-6)
-
2
ρ
{(r+ρ)Cos[t1+2πk1]+x1-(4-d),(r+ρ)Sin[t1+2πk1]+y1-6},{4-d,y1}+
2
k

2
(r+ρ)Cost1+
2π
n
+2πk1+x1-(4-d)
+
2
(r+ρ)Sint1+
2π
n
+2πk1+y1-6
-
2
ρ
(r+ρ)Cost1+
2π
n
+2πk1+x1-(4-d),(r+ρ)Sint1+
2π
n
+2πk1+y1-6,t1,0,2π,
2π
n
,​​​​ContourPlot
2
x
+
2
y
-
58
11
x-12y+
455
11
==0,{x,0,4},{y,3,9},ContourStyle->{Black,Thick},PerformanceGoal->"Quality",PlotPoints60,GraphicsBlack,PointSize[0.01],Point
43
13
,6,AxesTrue,BoxRatiosAutomatic,AxesOrigin{0,0},ImageSize900,PlotRange{{-1.5,5},{3,9}},Style["Brianchon's Theorem:",Bold,Medium],{{k1,0,"Valor (k1)"},0,6,0.2},ControlPlacementTop
Out[]=
​
Brianchon's Theorem:
Valor (k1)