3A = 3 - 3^2 + 3^3 - 3^4 + ... -3^2004 + 3^2005
3A + A = 3 - 3^2 + 3^3 -3^4 + ... -3^2004 + 3^2005 +1 - 3 + 3^2- 3^3 + 3^4 - ....-3^2003+3^2004
4A = 3^2005 + 1
=> 4A - 1 = 3^2005 là lũy thừa của 3 => ĐPCM
Mình có nghe nói là 2 nhà toán học Alfred North Whitehead và Bertrand Russell đã chứng minh 1+1=2 trong quyển Principa Mathemaa (tạm dịch: nền tảng của toán học). Họ đã mất hơn 360 trang để chứng minh điều này. Thầy giáo bạn gãi đầu là phải.
Phép chứng minh này dựa trên một bộ 9 tiên đề về tập hợp gọi tắt là ZFC (Zermelo–Fraenkel). Rất nhiều lý thuyết số học hiện đại dựa trên những tiên đề này. Nếu có người chứng minh được một trong những tiên đề đó là sai (VD: 2 tập hợp có cùng các phần tử mà vẫn không bằng nhau) thì rất có thể dẫn đến 1+1 != 2
