gọi d = ƯCLN(a; b)
=> a chia hết cho d; b chia hết cho d
=> (a+b) chia hết cho d
=> d = ƯC(a +b ;b) => ƯCLN(a+b; b) \(\ge\) d
Mà a/b chưa tối giản => d > 1
=> ƯCLN(a+b; b) \(\ge\) d > 1
=> a+b/ b chưa tối giản
Gọi ƯCLN(a,b)=d (d \(\ne0;1;d\in Z\))
TA có:
TA có:
a/b=d.c/d.e (c;e khác 0;1 và c;e thuộc Z)
=>a+b/b=d.(c+e)/d.e chưa tối giản bởi nó còn phải rút gọn đi d nữa