Die Winkelhalbierend teilt β in zwei 22,5°-Winkel.
Die Winkelhalbierende ist Hypotenuse eines rechtwinkligen Dreiecks mit einem Kathehenabschnitt des Ausgangsdreiecks als Kathete und der anderen Kathete des Ausgangsdreiecks als zweiter Kathete.
Der Kathetenabschnitt hat also die Länge p = b·tan 22,5°.
Wegen tan 22,5° < 1 ist p = n, also
a + n = a + b·tan 22,5°
= a + a·tan 22,5°
= a·(1 + tan 22,5°)
= a·(1 - 1 + √2)
= √2·a
Laut Pythagoras gilt 2a2 = c2, also c = √2·a.
Demanch ist n+a = c.