[obm-l] =?ISO-8859-15?Q?RE=3A=20=5Bobm=2Dl=5D=20Quadrado=20M=E1gico?=

[kleinad2@xxxxxxxxx]

Oi, Cláudio

 '>'-- Mensagem Original --
 '>'Date: Wed,  6 Apr 2005 17:46:51 -0300
 '>'Subject: [obm-l] Quadrado Mágico
 '>'From: "claudio.buffara" <claudio.buffara@terra.com.br>
 '>'To: "obm-l" <obm-l@mat.puc-rio.br>
 '>'Reply-To: obm-l@mat.puc-rio.br
 '>'
 '>'
 '>'Acho que sei como demonstrar que L_i (1<=i<=n), C_j (1<=j<=n-1), T e
S são
 '>'funcionais lineares L.I.
 '>'
 '>'Suponhamos que existam escalres a_i (1<=i<=n), b_j (1<=j<=n), c e d
tais
 '>'que o funcional linear:
 '>'F = SOMA(1...n) a_i*L_i + SOMA(1...n-1) b_j*C_j + c*T + d*S
 '>'seja identicamente nulo.
 '>'
 '>'Seja A(i,j) a matriz cujo coeficiente (i,j) é 1 e todos os demais são
0.
 '>'
 '>'F(A(1,n)) = 0 ==> a_1 + d = 0
 '>'F(A(n,n)) = 0 ==> a_n + c = 0
 '>'F(A(k,n)) = 0 para 2 <= k <= n-1 ==>  a_k = 0.
 '>'
 '>'Ou seja, já podemos escrever:
 '>'F = -d*L_1 - c*L_n + SOMA(1..n-1) b_j*C_j + c*T + d*S.
 '>'
 '>'F(A(1,1)) = 0 ==> -d + b_1 + c = 0
 '>'F(A(2,1)) = 0 ==> b_1 = 0 ==> c = d
 '>'F(A(k+1,k)) = 0 para 2 <= k <= n-2 ==> b_k = 0
 '>'F(A(n,n-1)) = 0 ==> -c + b_(n-1) = 0
 '>'
 '>'Assim:
 '>'F = c*(-L_1 - L_n + C_(n-1) + T + S).
 '>'
 '>'Finalmente, F(A(2,2)) = 0 ==> c = 0.
 '>'
 '>'Logo, a_i = b_j = c = d = 0 e, portanto, os 2n+1 funcionais acima são
L.I.
 '>'e, portanto, o espaço dos quadrados mágicos nxn tem dimensão n^2 - (2n+1)
 '>'= n^2 - 2n - 1.
 '>'
 '>'[]s,
 '>'Claudio.

A demonstração da independência dos funcionais está ok, mas isso mostra
que se Z é o conjunto das matrizes n x n tais que todos esses funcionais
se anulam, então Z (na verdade um subespaço de M(nxn)) é tal que dim Z =
dim M(nxn) - dim(F), onde por F é o subespaço gerado pelos 2n + 2 funcionais
em questão no dual de M(nxn), isto é, dim Z = n^2 - (2n + 1) = n^2 - 2n
- 1. Este resultado é mais geral: Se Z é o espaço dos zeros dos funcionais
f_1, ..., f_k, que estão no dual de V, então dim Z = dim V - dim (f_1, ...,
f_k).

Mas claramente a matriz A com todas as coordenadas 1 satisfaz L_1(A) = ...
= L_n(A) = C_1(A) = ... = C_n(A) = T(A) = S(A) = n <> 0, assim dim Q >=
dim Z + 1 (Q = conjunto das matrizes A que satisfazem L_1(A) = ... = L_n(A)
= C_1(A) = ... = C_n(A) = T(A) = S(A), ou seja, dos quadrados mágicos, um
subespaço vetorial). Dá para provar que dim Q <= dim Z + 1 (naturalmente
um resultado mais geral válido para quaisquer funcionais), logo dim Q =
dim Z + 1 = n^2 - 2n.

[]s,
Daniel


=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================