Julekalender #20
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Skriver om $a^2+ab+b^2 \enspace \to \enspace a^2 + ab + b^2 - 3ab + 3ab \enspace \to \enspace (a-b)^2 + 3ab$
Vi er gitt at $9 \mid (a-b)^2+3ab$ og siden $3$ er en faktor i $9$ må også $3 \mid (a-b)^2+3ab$. Siden $3 \mid 3ab$ må $3 \mid (a-b)^2$.
Hvis $3 \mid (a-b)^2 \Longrightarrow 3 \mid a-b \Longrightarrow 9 \mid (a-b)^2$
Siden $9 \mid (a-b)^2 + 3ab$ og $9 \mid (a-b)^2$ må $9 \mid 3ab \Longrightarrow 3 \mid ab$, så da må $a$ eller $b$ være multippel av $3$, men siden $3 \mid a-b$ må den andre variabelen automatisk være en multippel av $3$, hvis $3 \mid a-b$ skal stemme. Altså vil $3 \mid a,b$, og det var dette vi ønsket å vise.
Vi er gitt at $9 \mid (a-b)^2+3ab$ og siden $3$ er en faktor i $9$ må også $3 \mid (a-b)^2+3ab$. Siden $3 \mid 3ab$ må $3 \mid (a-b)^2$.
Hvis $3 \mid (a-b)^2 \Longrightarrow 3 \mid a-b \Longrightarrow 9 \mid (a-b)^2$
Siden $9 \mid (a-b)^2 + 3ab$ og $9 \mid (a-b)^2$ må $9 \mid 3ab \Longrightarrow 3 \mid ab$, så da må $a$ eller $b$ være multippel av $3$, men siden $3 \mid a-b$ må den andre variabelen automatisk være en multippel av $3$, hvis $3 \mid a-b$ skal stemme. Altså vil $3 \mid a,b$, og det var dette vi ønsket å vise.
Veldig fin løsning!Markus skrev:Skriver om $a^2+ab+b^2 \enspace \to \enspace a^2 + ab + b^2 - 3ab + 3ab \enspace \to \enspace (a-b)^2 + 3ab$
Vi er gitt at $9 \mid (a-b)^2+3ab$ og siden $3$ er en faktor i $9$ må også $3 \mid (a-b)^2+3ab$. Siden $3 \mid 3ab$ må $3 \mid (a-b)^2$.
Hvis $3 \mid (a-b)^2 \Longrightarrow 3 \mid a-b \Longrightarrow 9 \mid (a-b)^2$
Siden $9 \mid (a-b)^2 + 3ab$ og $9 \mid (a-b)^2$ må $9 \mid 3ab \Longrightarrow 3 \mid ab$, så da må $a$ eller $b$ være multippel av $3$, men siden $3 \mid a-b$ må den andre variabelen automatisk være en multippel av $3$, hvis $3 \mid a-b$ skal stemme. Altså vil $3 \mid a,b$, og det var dette vi ønsket å vise.
En litt annerledes løsning: Hvis ikke $3\mid a,b$, så er eneste mulighet $3\nmid a,b$. Nå vil $3$ dele $a^3+b^3=(a+b)(a^2+ab+b^2)$, og følgelig også $a+b$ som følge av Fermats lille teorem. Da har vi $3\nmid a,b$ og $3\mid a+b$, så det følger av LTE at
\[ v_3(a^3+b^3)=v_3(3)+v_3(a+b)\implies v_3(a^2+ab+b^2)=v_3\left(\frac{a^3+b^3}{a+b}\right)=1, \]
en motsigelse, siden $9\mid a^2+ab+b^2$.
EDIT: Alternativt kan man bare sette opp en tabell og sjekke alle muligheter for $a$ og $b$ modulo $9$, og få at $x,y\in \{0,3,6\}$ modulo $9$. (https://www.wolframalpha.com/input/?i=x ... %3D0+mod+9)
\[ v_3(a^3+b^3)=v_3(3)+v_3(a+b)\implies v_3(a^2+ab+b^2)=v_3\left(\frac{a^3+b^3}{a+b}\right)=1, \]
en motsigelse, siden $9\mid a^2+ab+b^2$.
EDIT: Alternativt kan man bare sette opp en tabell og sjekke alle muligheter for $a$ og $b$ modulo $9$, og få at $x,y\in \{0,3,6\}$ modulo $9$. (https://www.wolframalpha.com/input/?i=x ... %3D0+mod+9)
Bra!
PS: LTE= lifting the exponent, hvis noen lurer. https://brilliant.org/wiki/lifting-the-exponent/
PS: LTE= lifting the exponent, hvis noen lurer. https://brilliant.org/wiki/lifting-the-exponent/