Quy ước của riêng tôi :/ là kí hiệu chia hết
- - - - -- - -
A = 4mn( m² - n² ) = 4mn( m - n )( m + n )
G/S m , n có cùng số dư khi chia hết cho 2
Từ G/S => m - n :/ 2 => 4mn( m - n )( m + n ) :/ 8 (1)
G/S m , n không có cùng số dư khi chia cho 2
=> Một trong hai số phải chia hết cho 2 => mn :/ 2
=> 4mn( m - n )( m + n ) :/ 8 (2)
Từ (1) và (2) => A :/ 8
Ta chứng minh A :/ 3
Nếu một trong hai số m , n có một số chia hết cho 3 => mn :/ 3
=> A = 4mn( m - n )( m + n ) :/ 3 (3)
Nếu trong hai số m , n không có số nào chia hết cho 3
+ m , n có cùng số dư khi chia cho 3 => m - n :/ 3 => A :/ 3
+ m . n không có cùng số dư khi chia cho 3 thỏa mãn không số nào :/ 3 => m + n :/ 3 => A :/ 3
Từ hai G/S trên => A :/ 3
A:/ 3 , A:/ 8 , ( 8 , 3 ) = 1 => A :/ 24
