Điều bạn nói mình đã nghĩ rất lâu rồi, vì biểu thức "L =... của bạn " cùng với $a^{n}+b^{n}=c^{n}-2n^{s}abck$ thì luôn chia hết cho $a^{2}$. Điều này chẳng giúp ích gì cả!
Bởi vậy mình mới đi bằng con đường quá dài để làm biến mất B + C trong biểu thức B + C + D và xuất hiện lượng dư (không luôn chia hết cho $a^{2}$) là: L = $n(b^{n(n-1)}c^{n}-c^{n(n-1}b^{n})$ + $n(b^{n(n-1)}+c^{n(n-1)})(n^{s}abck)$ .
Bây giờ mình nhờ bạn xem 2.1.1 ở 1) tr4, 2) tr5, 5) tr5, 6) tr6 và 8)tr6 có đúng không (còn các 3), 4), 7) thì không cần thiết). Sau đó bạn xem xét thêm biến đổi ở biểu thức "L ... của mình "có đúng hay không, dĩ nhiên phải sử dụng $a^{n}+b^{n}=c^{n}-2n^{s}abck$.
Việc cm đúng hay không chỉ ở đó.
Rất mong bạn quan tâm điều đó, vì đó là mấu chốt của cm.
Em chào thầy! Theo em nghĩ thì dù thầy có rút gọn $B+C+D$ theo kiểu nào dùng bất kỳ giả thiết nào thì kết quả $L$ cuối cùng phải đồng dư với $(b^{n.n}-c^{n.n})+n^{s+1}abck(b^{n(n-1)}+c^{n(n-1)})$ theo $\pmod a^2$. Vì vậy em mới nghĩ kết quả $L$ của thầy sai.!
Còn vì sao $L$ của thầy sai là do thấy khi rút gọn biểu thức $B+C+D$ thầy lấy các số hạng ra để rút gọn bị thiếu nên dẫn đến kết quae sai!