Die Diagonale des großen Quadrats hat die Diagonalenlänge a·√2, die sich (von links unten nach rechts oben) aus folgenden Teilstrecken zusammensetzt:
2r·√2 + r + r·√2
Somit gilt
a·√2= 2r·√2 + r + r·√2
a·√2= r(2·√2 + 1 + √2)
a·√2= r(3·√2 + 1)
r= a·√2 / (3·√2 + 1)
Mit rationalem Nenner:
$$r=\frac{6-\sqrt2}{17}a$$