Das ist ja ein rechtwinkliges Dreieck (das gespiegelte mit dem Vollkreis). Hier gilt für Inkreise:
r = a + b - c ; wobei c die Hypotenuse ist;
Dann lautet die Rechnung:
r = (wurzel2 + wurzel2 - 2) / 2;
r = (2 (wurzel2 -1)) / 2;
r = wurzel2 - 1;
Ob das schön ist ... es geht so.
Wenn ich mir das allerdings anschaue wie der Winkelschlag mit r = 1 die Strecke "wurzel2" zu r(inkreis) und "1" teilt, dann das ist das doch recht schön.