Reflexion-Winkel-Betrachtung
Author: Prof. Dr. Dörte Haftendorn

Das Einfallslot und FK sind parallel.

a = 0.20000000000000015
f(x) = a x^(2)
P = Point(f)
b = Tangent(P, f)
c = OrthogonalLine(P, b)
d = OrthogonalLine(P, xAxis)
e = Mirror(d, c)
F = Intersect(yAxis, e)
g = Segment(P, F)
C = Point(d)
h = Ray(P, C)
A' = Mirror(P, b)
K = Mirror(F, b)
i = Segment(A', K)
j = OrthogonalLine(F, b)
α = Angle(K, F, P)
B = Intersect(f, c, 2)
D = Intersect(yAxis, c)
β = Angle(D, P, F)
γ = Angle(P, K, F)
δ = Angle(C, P, D)
H = Intersect(j, xAxis)