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 b^2 cũng chia hết cho d ( b mũ 2 )
==> ( b^2 - 8.a ) chia hết cho d
mà : a = 1 + 2 + 3 + ... + n = n ( n + 1 ) / 2 = ( n^2 + n ) /2
và b^2 = ( 2n + 1 )^2 = 4n^2 + 4n + 1
==> : (b^2 - 8a ) = ( 4n^2 + 4n +1 ) - ( 4n^2 + 4n ) = 1
vậy : ( 8a -- b^2 ) chia hết cho d <==> 1 chia hết cho d => d = 1 (đpcm)