martin123456 написа:Следните конгруенции са верни
[tex]x^2 \equiv 0,1 \pmod{4}[/tex]
[tex]x^2 \equiv 0,1 \pmod{3}[/tex]
[tex]x^2 \equiv 0,1,4 \pmod{5}[/tex]
Допускаме противното за всички случаи.
1. [tex]a^2+b^2 \equiv 1+1=2 \pmod{4} \not \in {0,1} \Rightarrow \empty[/tex]
2. [tex]a^2 +b^2 \equiv 1+1=2 \pmod{3} \not \in {0,1} \Rightarrow \empty[/tex]
3. [tex]a^2 +b^2 \equiv 2,3,0 \pmod{5} \Rightarrow 5|c[/tex]
1. Тук доказваш, че [tex]a^2 \vee b^2\equiv 0 \pmod{4}[/tex], от което не следва [tex]a \vee b\equiv 0 \pmod{4}[/tex]. Помисли - убеден съм, че ще го докажеш.
3. В задачата се иска да се докаже, че a, b или c се делят на 5, а не само c. Веднага мога да ти дам контрапример: [tex]5^2+12^2=13^2[/tex], но 5 не дели 13.