(Mio) Problema di Natale

[Mistral]

Dati \( \displaystyle {2}{n} \) numeri distinti \( \displaystyle {a}_{{1}},{a}_{{2}},\ldots.,{a}_{{n}} \) e \( \displaystyle {b}_{{1}},{b}_{{2}},\ldots.,{b}_{{n}} \) e definita la matrice (tabella) di \( \displaystyle {n} \) righe ed \( \displaystyle {n} \) colonne come segue:

nella cella \( \displaystyle {\left({i},{j}\right)} \) c'è il numero \( \displaystyle {a}_{{i}}+{b}_{{j}} \)


provare che se il prodotto di ogni colonna è lo stesso allora anche il prodotto di ogni riga è lo stesso.

Posto la soluzione su richiesta condivisa.

Saluti

Mistral

[Pachito]

Cosa intendi per " il prodotto di ogni colonna è lo stesso" ?

[Mistral]

Cosa intendi per " il prodotto di ogni colonna è lo stesso" ?

\( \displaystyle {c}_{{k}}={\left({b}_{{k}}+{a}_{{1}}\right)}{\left({b}_{{k}}+{a}_{{2}}\right)}\ldots.{\left({b}_{{k}}+{a}_{{n}}\right)} \)

allora \( \displaystyle {c}_{{k}}={c}_{{1}} \) per \( \displaystyle {k}={2},\ldots,{n} \)


Saluti

Mistral

[giuseppe87x]

Il prodotto degli elementi della prima colonna sarà:

\( \displaystyle {P}_{{{c}}}={\left({a}_{{{1}}}+{b}_{{{1}}}\right)}{\left({a}_{{{1}}}+{b}_{{{2}}}\right)}\ldots{\left({a}_{{{1}}}+{b}_{{{n}}}\right)} \)

Il prodotto degli elementi della seconda colonna sarà

\( \displaystyle {P}_{{{c}}}={\left({a}_{{{2}}}+{b}_{{{1}}}\right)}{\left({a}_{{{2}}}+{b}_{{{2}}}\right)}\ldots{\left({a}_{{{2}}}+{b}_{{{n}}}\right)} \)

Il prodotto degli elementi della n-esima colonna sarà

\( \displaystyle {P}_{{{c}}}={\left({a}_{{{n}}}+{b}_{{{1}}}\right)}{\left({a}_{{{n}}}+{b}_{{{2}}}\right)}\ldots{\left({a}_{{{n}}}+{b}_{{{n}}}\right)} \)

Il prodotto degli elementi della prima riga sarà invece

\( \displaystyle {P}_{{{r}}}={\left({a}_{{{1}}}+{b}_{{{1}}}\right)}{\left({a}_{{{2}}}+{b}_{{{1}}}\right)}\ldots{\left({a}_{{{n}}}+{b}_{{{1}}}\right)} \)

2° riga

\( \displaystyle {P}_{{{r}}}={\left({a}_{{{1}}}+{b}_{{{2}}}\right)}{\left({a}_{{{2}}}+{b}_{{{2}}}\right)}\ldots{\left({a}_{{{n}}}+{b}_{{{2}}}\right)} \)

n° riga

\( \displaystyle {P}_{{{r}}}={\left({a}_{{{1}}}+{b}_{{{n}}}\right)}{\left({a}_{{{2}}}+{b}_{{{n}}}\right)}\ldots{\left({a}_{{{n}}}+{b}_{{{n}}}\right)} \)

Confrontando i fattori del prodotto della prima riga con quelli della prima colonna notiamo che sono costituiti dalla somma degli stessi termini. Quindi i due prodotti devono essere uguali. Poichè per ipotesi il prodotto di ogni colonna è lo stesso, facendo nuovamente il confronto tra la k-esima riga e la k-esima colonna, possiamo concludere che anche il prodotto di ogni riga è lo stesso.

[Mistral]

Il prodotto degli elementi della prima colonna sarà:

\( \displaystyle {P}_{{{c}}}={\left({a}_{{{1}}}+{b}_{{{1}}}\right)}{\left({a}_{{{1}}}+{b}_{{{2}}}\right)}\ldots{\left({a}_{{{1}}}+{b}_{{{n}}}\right)} \)

........
Il prodotto degli elementi della prima riga sarà invece

\( \displaystyle {P}_{{{r}}}={\left({a}_{{{1}}}+{b}_{{{1}}}\right)}{\left({a}_{{{2}}}+{b}_{{{1}}}\right)}\ldots{\left({a}_{{{n}}}+{b}_{{{1}}}\right)} \)

.......
Confrontando i fattori del prodotto della prima riga con quelli della prima colonna notiamo che sono costituiti dalla somma degli stessi termini. Quindi i due prodotti devono essere uguali. Poichè per ipotesi il prodotto di ogni colonna è lo stesso, facendo nuovamente il confronto tra la k-esima riga e la k-esima colonna, possiamo concludere che anche il prodotto di ogni riga è lo stesso.

La prima colonna contiene i termini \( \displaystyle {{a}_{{1}}^{{{n}-{1}}}}{b}_{{j}} \) per \( \displaystyle {j}={1},\ldots,{n} \), mentre la prima riga non ne contiene nessuno di questi. Mi sembra che il tuo ragionamento non funzioni.

Saluti

Mistral

[Thomas]

Bentrovato Mistral...
Proviamoci...

Considero fissata la n_upla delle a e indico con c il prodotto sulle colonne (sono considerati parametri!).

Innanzitutto anche la n_upla delle b è fissata con i parametri dati.
Infatti per le ipotesi le radici del polinomio

P(x) = Prod [(x+ai)] - c

ssono la n_upla (bi)[i=1..n]... (notare che il polinomio ha grado n, la produttoria è estesa da 1 a n, scusate se ometto gli indici)
Ora la n_upla delle b potrà essere solo una qualunque permutazione di quella sopra (praticamente si stanno permutando le colonne della matrice ma la sostanza non cambia).


La tesi è che il prodotto sulle colonne è costante, ovvero, con ragionamenti simili a quelli sopra, che esiste una costante d per cui il polinomio:

Q(x) = Prod [(x+bi)] - d

ha come radici la n_upla (ai)[i=1..n]

Per provare l'ultimo passaggio, imponiamo che Q(x) abbia fra le radici perlomeno una delle tante, a1 per esempio, e si vuole provare che se possiede a1, possiederà anche le rimanenti (n-1) radici. Ma andiamo con ordine:

- a1 è radice per un qualche d:

si e basta scegliere d= - Prod [(a1+bi)]

- a1 è radice, quindi

Prod [(a1+bi)]+d=0 per il d sopra

svolgendo i calcoli e ricordando la forma dei polinomio monici

(a1)^n+(a1)^(n-1)*(b1+b2+b3+...+bn)+(a1)^(n-2)(b1b2+b1b3+...)+....+ b1b2...bn+d=0 [1]

se avesse un'altra radice ai, varrebbe anche:

(ai)^n+(ai)^(n-1)*(b1+b2+b3+...+bn)+(ai)^(n-2)(b1b2+b1b3+...)+....+ b1b2...bn+d=0
[2]

e la seconda vale sse vale la differenza tra le due, cioè:

(a1^n - ai^n)+(a1^n - 1-ai^n-1))*(b1+b2+b3+...+bn)+....(a1-ai)(b1b2...bn-1+...)=0
[X]
Ora notiamo che nelle ipotesi, per il teorema fondamentale dell'algebra:

Prod [(x+ai)] -c = Prod [(x-bi)]

applicando il principio di identità dei polinomi all'identità sopra si ottiene:

-(a1+a2+a3+...+an)=b1+b2+...+bn
a1a2+a1a3+...=b1b2+b1b3+...
a1a2...an-1+...=b1b2...bn-1+...
a1a2...an - c=b1b2...bn (questa è inutile )

e applicando queste formule nella [X] si ha una bella identità solo nella n_upla ai, che si vuole dimostrare...

Mi dispiace che non riesco ad alleggerire la notazione, quindi cambio post per non scrivere troppo... nel prox post risolvo l'identità per n=4, dando anche l'algoritmo per generalizzarla...

[Thomas]

L'identità per n=4 è:

(a1^4-a2^4)-(a1^3-a2^3)(a1+a2+a3+a4)+(a1^2-a2^2)(a1a2+a1a3+a1a4+a2a3+a2a4+a3a4)-(a1-a2)(a1a2a3+a2a3a4+a1a3a4+a1a2a4)=0

L'idea è: svolgere i calcoli... notiamo che ci sono 4 addendi nella somma sopra, che chiamo M,N,O,P. Se si svolgono, si trova una telescopica.

M= a1^4-a2^4

N= - M - a1^2(a1a2+a1a3+a1a4) + a2^2(a2a1+a2a3+a2a4)

0= a1^2(a1a2+a1a3+a1a4)-a2^2(a2a1+a2a3+a2a4)+
a1^2(a2a3+a3a4+a2a4)-a2^3(a1a4+a3a4+a1a3)

P= -a1^2(a2a3+a3a4+a2a4)+a2^3(a1a4+a3a4+a1a3)-a1a2a3a4+a1a2a3a4

In sostanza si somma poco per volta, prima M+N, poi il risultato ad O e così via... ogni volta si srive ciò che si deve aggiunguere come qualcosa che annulla quello prima più un resto... alla fine il resto risulta 0...

Non ho voglia di formalizzare... (ci metterei ore), ma il procedimento mi pare ben generalizzabile....

in questo modo la [X] del post sopra sarebbe dimostrata e quindi plausibilmente anche il problema...

[cavallipurosangue]

Ciao Thomas, perchè non utilizzi MathML per renderizzare le formule?

[Thomas]

Lo sapevo che qualcuno l'avrebbe detto... si me ne scuso ma non ho tempo ora per imparare questo linguaggio... quando ho tempo (ora dovrei mettermi a studiare per gli esami) lo faccio

A proposito, scusate per la sol assurda che ho scritto sopra, ma altre non me ne sono venute...

[cavallipurosangue]

Ma come alla Normale non insegnano ad usare la scrittura in Tex?