
If
and
to be the greatest common divisor of
and 
Then how can i Prove
divides
.
Offline
Offline
↑ BakyX:
Ahoj, pěkné řešení. Jak jsi k němu dospěl? Zkoušel jsi hledat vhoné lineární členy v proměnné n, kterými vynásobit f(n) a f(n+1) tak, aby po odečtení těchto součinů výsledná hodnota byla kosntanta, a nebo jsi použil nějaký jiný postup? Děkuji.
Offline
Ahoj ↑ check_drummer:,
Tu kolega ↑ check_drummer: pouzil Bézout-ovu teoremu.
http://en.wikipedia.org/wiki/B%C3%A9zout%27s_identity
( presnejsie ide o teoremu Bachet-Bézout)
http://fr.wikipedia.org/wiki/Th%C3%A9or … %C3%A9zout
Offline
↑ vanok:
Ale obávám se, že Bezoutova věta sama o sobě k nalezení 2n+3 a -(2n-1) nepomůže - k tomu by se hodil spíš Eukleidův algoritmus.
Offline
↑ check_drummer:,
Podla mna citovana teorema riesi dany problem.
Ak ide o algoritmus hladania vhodnych koeficientov v pouzitej identite, tak nemozem odpovedat za kolegu ako postupoval.( Ale v dokaze Bezout-ovej teoremy sa da pouzit rozsireny Euklidov algoritmus).
Offline
Osobne som išiel na tie koeficienty takto:
delí
.
Preto
delí aj
, preto delí aj
,
preto delí aj
, preto delí aj 
A potom to dal dokopy cez
a tak našiel tie koeficienty :D
Offline

Já jsem postupoval asi celkem podobně jako BakyX. Používal jsem následující úpravy (které samozřejmě platí i v druhém argumentu):
1) Platí
, kde k je celé číslo.
2) Pokud je c nesoudělné s b, pak
.
Pak už to bylo celkem jednoduché:
A tím jsem skončil, protože je jasné, že
. Koeficienty by se daly asi získat nějak rozšířením rozšířeného Euklidova algoritmu, o to už jsem se nepokoušel :).
Offline
Já jsem to zkusil Eukleidovým algoritmem (použitý pro důkaz Bezoutovy věty) a získal jsem, že:
f(n+1).(-n/2+1/4)+f(n).(n/2-3/4)=81/4. Takže po vynásobení 4 máme již několikrát citované:
f(n+1).(-2n+1)+f(n)(2n-3)=81.
Offline