Dělí-li d>1 obě čísla, pak d.gcd(a,b) dělí a i b, což je spor s definicí gcd.
Offline
↑ check_drummer:
tento dukaz me taky zajima, mohl bys prosim ten dukaz nejak dopsat presne ve tvaru jak by ho asi mohli chtit ?dukazy vubec nedavam a ani po te cos to takle napsal bych to nedokazal prepsat do tvaru jak by to asi chteli...diky
Offline
↑ Dayman:
Je tam napísané všetko :-) Označím gcd(a,b)=D. Ideš dokazovať sporom. Predpokladáme, že čísla a/D a b/D sú súdeliteľné. Keď sú súdeliteľné, tak existuje celé číslo C > 1, ktoré delí obe čísla a/D aj b/D. Potom
sú celé čísla. Lenže CD je spoločným deliteľom a je väčšie ako D. To je spor s tým, že D je najväčší spoločný deliteľ čísel a,b.
Offline