Đặt A = ƯC(a; a + b) còn B = ƯC(a; b)
Lấy m thuộc A
=> a chia hết cho m (1)
và a + b chia hết cho m
=> b chia hết cho m (2)
Từ (1) và (2) => m thuộc B
=> A \(\subset\)B (*)
Lấy n thuộc B
=> a chia hết cho n (3)
và b chia hết cho n
=> a + b chia hết cho n (4)
Từ (3) và (4) => n thuộc A
=> B \(\subset\)A (**)
Từ (*) và (**) => A = B
=> (a; a + b) = (a; b) (ĐPCM)
tich minh cho minh len thu 8 tren bang sep hang cai
tich minh cho minh len thu 8 tren bang sep hang cai