$a,b,c \in \mathbb{Z}$ voldoen aan $a+b+c=0$ Bewijs dat $\frac{a^4+b^4+c^4}{2}$ een volkomen kwadraat is.
$a+b+c=0 \Rightarrow a=-b-c$ $\frac{a^4+b^4+c^4}{2}=\frac{(-b-c)^4+b^4+c^4}{2}$ $=\frac{b^4+4bc^3+6b^2c^2+4bc^3+c^4+b^4+c^4}{2}$ $=\frac{2b^4+2c^4+4bc(b^2+c^2)+6b^2c^2}{2}$ $=b^4+c^4+2bc(b^2+c^2)+3b^2c^2$ $=(b^4+2b^2c^2+c^4)+2bc(b^2+c^2)+b^2c^2$ $=(b^2+c^2)^2+2bc(b^2+c^2)+b^2c^2$ $=(b^2+c^2 + bc)^2$ = een volkomen kwadraat
Stel $\Sigma x = a+b+c$ $\Sigma x^2 = a^2+b^2+c^2$ $\Sigma x^4 = a^4+b^4+c^4$ $\Sigma xy = ab+bc+ca$ $\Sigma x^2y^2 = a^2b^2+b^2c^2+c^2a^2$ $\Sigma x^2yz = a^2bc+b^2ca+c^2ab$
Dan is algemeen $(\Sigma x)^2 = \Sigma x^2 + 2 \Sigma xy$ en $(\Sigma x^2)^2 = \Sigma x^4 + 2 \Sigma x^2y^2$ en $(\Sigma xy)^2 = \Sigma x^2y^2 + 2 \Sigma x^2yz$ en $\Sigma x^2yz = abc \Sigma x$
Hier is gegeven $\Sigma x = 0$ $\Rightarrow \Sigma x^2yz = 0$ $\Rightarrow (\Sigma xy)^2 = \Sigma x^2y^2 + 2 \Sigma x^2yz = \Sigma x^2y^2 $ (*). Verder $\Rightarrow \Sigma x^2 = - 2 \Sigma xy$ $\Rightarrow (\Sigma x^2)^2 =4 (\Sigma xy)^2 $ $\Rightarrow \Sigma x^4 + 2 \Sigma x^2y^2 =4 \Sigma x^2y^2 + 8 \Sigma x^2yz $ $\Rightarrow \frac{\Sigma x^4 }{2} = \Sigma x^2y^2 = (\Sigma xy)^2 $ wegens (*)
Oplossing
$a+b+c=0 \Rightarrow a=-b-c$
$\frac{a^4+b^4+c^4}{2}=\frac{(-b-c)^4+b^4+c^4}{2}$
$=\frac{b^4+4bc^3+6b^2c^2+4bc^3+c^4+b^4+c^4}{2}$
$=\frac{2b^4+2c^4+4bc(b^2+c^2)+6b^2c^2}{2}$
$=b^4+c^4+2bc(b^2+c^2)+3b^2c^2$
$=(b^4+2b^2c^2+c^4)+2bc(b^2+c^2)+b^2c^2$
$=(b^2+c^2)^2+2bc(b^2+c^2)+b^2c^2$
$=(b^2+c^2 + bc)^2$ = een volkomen kwadraat
Stel
$\Sigma x = a+b+c$
$\Sigma x^2 = a^2+b^2+c^2$
$\Sigma x^4 = a^4+b^4+c^4$
$\Sigma xy = ab+bc+ca$
$\Sigma x^2y^2 = a^2b^2+b^2c^2+c^2a^2$
$\Sigma x^2yz = a^2bc+b^2ca+c^2ab$
Dan is algemeen
$(\Sigma x)^2 = \Sigma x^2 + 2 \Sigma xy$
en
$(\Sigma x^2)^2 = \Sigma x^4 + 2 \Sigma x^2y^2$
en
$(\Sigma xy)^2 = \Sigma x^2y^2 + 2 \Sigma x^2yz$
en
$\Sigma x^2yz = abc \Sigma x$
Hier is gegeven $\Sigma x = 0$
$\Rightarrow \Sigma x^2yz = 0$
$\Rightarrow (\Sigma xy)^2 = \Sigma x^2y^2 + 2 \Sigma x^2yz = \Sigma x^2y^2 $ (*).
Verder
$\Rightarrow \Sigma x^2 = - 2 \Sigma xy$
$\Rightarrow (\Sigma x^2)^2 =4 (\Sigma xy)^2 $
$\Rightarrow \Sigma x^4 + 2 \Sigma x^2y^2 =4 \Sigma x^2y^2 + 8 \Sigma x^2yz $
$\Rightarrow \frac{\Sigma x^4 }{2} = \Sigma x^2y^2 = (\Sigma xy)^2 $ wegens (*)