α'

α

\varepsilon=\frac{\cos(\beta)}{\cos(\alpha)}

\varepsilon>1

https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 7.2.2.1: S.189
www.kurven-erkunden-und-verstehen.de

Ha 2016

φ = 0.87
D = (1, 3)
G = (-0.3348148148148113, -0.33333333333333615)
h = Line(G, D)
g: y = (tan(π / 2 + φ) * x) + 3
A = Intersect(g, h)
f: y = (tan(π / 2 - φ) * x) + 3
A_1 = Intersect(f, h)
E = Point(g)
S = Intersect(f, g)
j = AngularBisector(A, A_1, S)
k = AngularBisector(A_1, A, E)
M = Intersect(j, yAxis)
M_2 = Intersect(k, yAxis)
i = OrthogonalLine(M, h)
F = Intersect(i, h)
e = Circle(M, F)
m = OrthogonalLine(M_2, h)
F_2 = Intersect(m, h)
p = Circle(M_2, F_2)
l = OrthogonalLine(M_2, f)
n = OrthogonalLine(M_2, g)
A_3 = Intersect(l, f)
C_1 = Intersect(n, g)
q = Segment(A_3, C_1)
r_2 = OrthogonalLine(M, f)
s = OrthogonalLine(M, g)
C_2 = Intersect(r_2, f)
C = Intersect(g, s)
t = Segment(C_2, C)
a = Line(S, M)
H = Point(a)
I = Point(h)
J = Intersect(a, h)
β = Angle(I, J, H)
r = Segment(M, C)
K = Intersect(a, t)
K_1 = Intersect(a, q)
r_1 = Segment(M_2, C_1)
b = Segment(F_2, M_2)
γ = Angle(A_1, S, K_1)
d = Segment(C, C_1)
c = Segment(G, A)
f_1 = Segment(A_1, I)
α = Angle(J, S, E)
g_1 = AngularBisector(S, A_1, I)
M_1 = Intersect(a, g_1)
h_1 = OrthogonalLine(M_1, h)
F_1 = Intersect(h, h_1)
c_1 = Circle(M_1, F_1)
i_1 = Segment(M_1, F_1)
δ = Angle(A_1, S, M_1)
o = false