Gọi d là ước chung nếu có của cả a và b
=> a chia hết cho d nên 8a cũng chia hết cho d
đồng thời : b chia hết cho d nên b2 cũng chia hết cho d ( b2 )
=> ( b2 - 8.a ) chia hết cho d
mà : a = 1 + 2 + 3 + ... + n = n ( n + 1 ) / 2 = ( n2 + n ) /2
và b2 = ( 2n + 1 )2 = 4n2 + 4n + 1
=> : (b2 - 8a ) = ( 4n2 + 4n +1 ) - ( 4n2 + 4n ) = 1
Vậy : ( 8a - b2 ) chia hết cho d <=> 1 chia hết cho d => d = 1
NÊN ước chung của a và b là 1 nên a và b nguyên tố cùng nhau ( đpcm )