a , b là bình phương của hai số nguyên lẻ liên tiếp
=> a có dạng ( 2k - 1 )2 ( k thuộc Z )
=> b có dạng ( 2k + 1 )2 ( k thuộc Z )
Ta phân tích được ab - a - b + 1 = ( a - 1 )( b - 1 )
Thế vào ta được :
[ ( 2k - 1 )2 - 1 ][ ( 2k + 1 )2 - 1 ]
= [ 4k2 - 4k ][ 4k2 + 4k ]
= 16k4 - 16k2
= 16( k - 1 )k2( k + 1 )
48 = 16.3
Ta có k - 1 , k , k + 1 là ba số liên tiếp => chia hết cho 3
=> 16( k - 1 )k2( k + 1 ) chia hết cho 48 ( đpcm )