Hallo,
Ich hab keine ansatz nichts. Kann mir wer helfen
Du könntest damit beginnen, das \(c\) als Summe von \(0\) bis \(k\) formal hin zu schreiben:$$c = \sum \limits_{k=0}^{m} \left(a_{2k} + g \cdot a_{2k+1}\right) \cdot g^{2k}$$und das sieht doch schon so ähnlich aus, wie diese mysteriöse Summe \(s\)$$s= \sum \limits_{k=0}^{m}(-1)^{k} \cdot\left(a_{2 k+1} \cdot g+a_{2 k}\right)$$Wenn die Differenz \(c-s\) ein Vielfaches von \(d\) ist, dann ist doch \(c\) genau dann ein Vielfaches von \(d\), wenn auch \(s\) ein Vielfaches von \(d\) ist. Also rechne ... $$\begin{aligned} c-s &= \sum \limits_{k=0}^{m}\left(a_{2k} + g \cdot a_{2k+1}\right) \cdot g^{2k} - (-1)^{k} \cdot\left(a_{2 k+1} \cdot g+a_{2 k}\right) \\ &= \sum \limits_{k=0}^{m}\left(a_{2k} + g \cdot a_{2k+1}\right) \left( g^{2k} - (-1)^{k}\right)\end{aligned}$$Und der Term$$g^{2k} - (-1)^{k} \quad k \in\mathbb{N}_0$$ist stets durch \(g^2+1\) teilbar und somit auch durch jeden Teiler \(d\) von \(g^2+1\).
Das nachzuweisen überlasse ich Dir. Wenn Du da Probleme hast, so melde Dich bitte noch einmal.
Gruß Werner