Ocena rozwiązania i dowodu
: 24 sie 2010, o 22:14
Witam
Chciałbym poprosić kogoś o ocenie rozwiązania jednego zadania. Czy nie ma błędów i czy dowód jest wystarczający.
Treść zadania:
Niech \(\displaystyle{ (a_{1},a_{2},...,a_{n})}\) będzie dowolną permutacją zbioru {1,2,...,n}. Udowodnij, że
\(\displaystyle{ (a_{1}-1)^{2}+(a_{2}-2) ^{2}+...+(a_{n}-n) ^{2}}\)
jest liczbą parzystą.
Moje rozwiązanie:
Teza: \(\displaystyle{ \frac{(a_{1}-1)^{2}+(a_{2}-2)^{2}+...+(a_{n}-n)^{2}}{2} \in \mathbb{C}}\)
\(\displaystyle{ \frac{(a_{1}-1)^{2}}{2}+ \frac{(a_{2}-2)^{2}}{2}+...+ \frac{(a_{n}-n)^{2}}{2} \in \mathbb{C}}\)
Można usunąć kwadrat, ponieważ:
\(\displaystyle{ x \in \mathbb{C} \wedge x \equiv k (mod 2) \Rightarrow x^{2} \equiv k (mod 2)}\)
Dowód: Każdą liczbę całkowitą można zapisać jako \(\displaystyle{ (2k + r) \wedge k \in \mathbb{C} \wedge (r = 0 \vee r = 1)}\)
więc \(\displaystyle{ (2k + r)^{2} = 4k^{2} + 4kr + r^{2}}\)
a.. \(\displaystyle{ 0^{2} = 0}\) i \(\displaystyle{ 1^{2} = 1}\)
Kontynuując:
\(\displaystyle{ \frac{(a_{1}-1)}{2}+ \frac{(a_{2}-2)}{2}+...+ \frac{(a_{n}-n)}{2} \in \mathbb{C}}\)
\(\displaystyle{ \frac{a_{1}}{2} - \frac{1}{2} + \frac{a_{2}}{2} - \frac{2}{2} +...+ \frac{a_{n}}{2} - \frac{n}{2} \in \mathbb{C}}\)
\(\displaystyle{ (\frac{a_{1}}{2} + \frac{a_{2}}{2} +...+ \frac{a_{n}}{2}) - (\frac{1}{2} + \frac{2}{2} +...+ \frac{n}{2}) \in \mathbb{C}}\)
Możemy teraz cofnąć permutację w pierwszym nawiasie:
\(\displaystyle{ (\frac{1}{2} + \frac{2}{2} +...+ \frac{n}{2}) - (\frac{1}{2} + \frac{2}{2} +...+ \frac{n}{2}) \in \mathbb{C}}\)
i skrócić
\(\displaystyle{ 0 \in \mathbb{C}}\)
Chciałbym poprosić kogoś o ocenie rozwiązania jednego zadania. Czy nie ma błędów i czy dowód jest wystarczający.
Treść zadania:
Niech \(\displaystyle{ (a_{1},a_{2},...,a_{n})}\) będzie dowolną permutacją zbioru {1,2,...,n}. Udowodnij, że
\(\displaystyle{ (a_{1}-1)^{2}+(a_{2}-2) ^{2}+...+(a_{n}-n) ^{2}}\)
jest liczbą parzystą.
Moje rozwiązanie:
Teza: \(\displaystyle{ \frac{(a_{1}-1)^{2}+(a_{2}-2)^{2}+...+(a_{n}-n)^{2}}{2} \in \mathbb{C}}\)
\(\displaystyle{ \frac{(a_{1}-1)^{2}}{2}+ \frac{(a_{2}-2)^{2}}{2}+...+ \frac{(a_{n}-n)^{2}}{2} \in \mathbb{C}}\)
Można usunąć kwadrat, ponieważ:
\(\displaystyle{ x \in \mathbb{C} \wedge x \equiv k (mod 2) \Rightarrow x^{2} \equiv k (mod 2)}\)
Dowód: Każdą liczbę całkowitą można zapisać jako \(\displaystyle{ (2k + r) \wedge k \in \mathbb{C} \wedge (r = 0 \vee r = 1)}\)
więc \(\displaystyle{ (2k + r)^{2} = 4k^{2} + 4kr + r^{2}}\)
a.. \(\displaystyle{ 0^{2} = 0}\) i \(\displaystyle{ 1^{2} = 1}\)
Kontynuując:
\(\displaystyle{ \frac{(a_{1}-1)}{2}+ \frac{(a_{2}-2)}{2}+...+ \frac{(a_{n}-n)}{2} \in \mathbb{C}}\)
\(\displaystyle{ \frac{a_{1}}{2} - \frac{1}{2} + \frac{a_{2}}{2} - \frac{2}{2} +...+ \frac{a_{n}}{2} - \frac{n}{2} \in \mathbb{C}}\)
\(\displaystyle{ (\frac{a_{1}}{2} + \frac{a_{2}}{2} +...+ \frac{a_{n}}{2}) - (\frac{1}{2} + \frac{2}{2} +...+ \frac{n}{2}) \in \mathbb{C}}\)
Możemy teraz cofnąć permutację w pierwszym nawiasie:
\(\displaystyle{ (\frac{1}{2} + \frac{2}{2} +...+ \frac{n}{2}) - (\frac{1}{2} + \frac{2}{2} +...+ \frac{n}{2}) \in \mathbb{C}}\)
i skrócić
\(\displaystyle{ 0 \in \mathbb{C}}\)