Es ist \(\alpha + \beta + 90° = 180°\) wegen Winkelsumme im Dreieck. Also ist
(1) \(\alpha + \beta = 90°\).
Es ist
(2) \(\alpha + \beta + \angle A^{\prime} A B = \angle C'AC\).
Dabei ist \(\angle C'AC = 180°\) weil \(C\), \(A\) und \( C^{\prime} \) auf einer Geraden liegen. Einsetzen in (2) ergibt
(3) \(\alpha + \beta + \angle A^{\prime} A B = 180°\).
Einsetzen von (1) in (3) ergibt
(4) \(90° + \angle A^{\prime} A B = 180°\).
Umformen von (4) ergibt
\(\angle A^{\prime} A B = 90°\).