n4 + 7( 7 + 2n2 )
= n4 + 14n2 + 49
= ( n2 + 7 )2
Vì n lẻ và n ∈ Z => n = 2k + 1 ( k ∈ Z )
Thế vô ta được :
[ ( 2k + 1 )2 + 7 ]2
= ( 4k2 + 4k + 1 + 7 )2
= ( 4k2 + 4k + 8 )2
= [ 4( k2 + k + 2 ) ]2
= { 4[ k( k + 1 ) + 2 ] }2
Ta có : k( k + 1 ) chia hết cho 2
2 chia hết cho 2
=> k( k + 1 ) + 2 chia hết cho 2
=> 4[ k( k + 1 ) + 2 ] chia hết cho 8
=> { 4[ k( k + 1 ) + 2 ] }2 chia hết cho 64
=> đpcm