α'

\varepsilon=\frac{\cos(\beta)}{\cos(\alpha)}<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.71
D: (3, 3)
G: (-2, 0)
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_1 = Intersect(k, yAxis)
i = OrthogonalLine(M, h)
F = Intersect(i, h)
e = Circle(M, F)
m = OrthogonalLine(M_1, h)
F_1 = Intersect(m, h)
p = Circle(M_1, F_1)
l = OrthogonalLine(M_1, f)
n = OrthogonalLine(M_1, 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)
c = Segment(A_1, A)
β = Angle(I, J, H)
α = Angle(M_1, S, E)
r = Segment(M, C)
K = Intersect(a, t)
K_1 = Intersect(a, q)
r_1 = Segment(M_1, C_1)
b = Segment(F_1, M_1)
γ = Angle(A_1, S, K_1)
d = Segment(C, C_1)
o = false