Ich sehe da eine Menge ähnlicher Dreiecke.
Ich nehme folgende Bezeichnungen:
\(a_0 = a, \: a_1 = b, \:a_2 = |x_2| \text{ für }A_2(x_2,0),\: a_3 = |y_3| \text{ für }A_3(0,y_3)\) usw.
Dann haben wir mit \(\frac ba = \frac{a_1}{a_0} =\tan \alpha\)
\(a_1 = g_1\sin \alpha\)
\(a_2 = g_2\sin \alpha\)
\(a_3 = g_3\sin \alpha\)
... usw., wobei
\(\frac ba = \frac{a_1}{a_0} = \frac{a_2}{a_1} = \frac{a_3}{a_2} = \ldots\)
Somit erhalten wir
\(\frac{g_{n+1}}{g_n} = \frac{a_{n+1}}{a_n} = \frac ba\)
Also:
\(g_n = \left(\frac ba\right)^{n-1}g_1 = \left(\frac ba\right)^{n-1}\sqrt{a^2+b^2}\)