einfallender Strahl

Spiegel

reflektierter Strahl

einfallender Strahl

reflektierter Strahl

Einfallswinkel α

Reflexionswinkel α'

f: y = sqrt(36 - x^(2))
A = Point(f)
B = Point(xAxis)
B' = Mirror(B, (0, 0))
g = Segment(B, B')
O = Point({(0, 0)})
o = Line((-1, 0), (1, 0))
Lot = OrthogonalLine(O, o)
A' = Mirror(A, Lot)
e = Ray(O, A)
u = Vector(A, O)
r = Ray(O, A')
v = Vector(O, A')
C = Intersect(f, Lot, (0, 6))
α = If(x(A) > x(A'), Angle[A, O, C], Angle[C, O, A])
α' = If(x(A) < x(A'), Angle[A', O, C], Angle[C, O, A'])
a = true
b = false