Eŭklida algoritmo: Malsamoj inter versioj

e
→‎Pruvo: lingva korekto
[nekontrolita versio][nekontrolita versio]
e (→‎Pruvo: lingva korekto)
Simile, se ''d'' estas dividanto de ''b'' kaj ''r'' do ''d'' estas dividanto de ''a''.
 
La pli supraj rezonadoj veras por ĉiu dividanto ''d''. Tial, la plej granda komuna divizoro de ''a'' kaj ''b'' estas ankaŭ la plej granda komuna divizoro de ''b'' kaj ''r''. Pro tio estas sufiĉas daŭrigi serĉadon por la plej granda komuna divizoro kun la nombroj ''b'' kaj ''r''.
 
Pro tio ke ''r'' estas pli malgranda je absoluta valoro ol ''b'', estos atingita ''r=0'' post ne pli ol ''b'' ŝtupoj.
4

redaktoj