da cart » 01/09/2004, 00:43
Facendo un giro tra i vecchi post, ho trovato questo che è carino.
Supponiamo che esistano F(n), F(m) ed F(k), numeri di fibonacci:
(1) F^2(n)+F^2(m)=F^2(k)
Supponiamo per ora k>=2
Ovviamente dovrà essere F(n)<F(k) ed F(m)<F(k).Non è lesivo di generalità suppore inoltre F(n)>F(m).(L'uguaglianza non può sussistere,pena la razionalità di rad2)
Supponiamo per assurdo di avere:
F(n)<F(k-1) ed F(m)<F(k-2)
Sommando membro a membro, otterremmo, ricordando come è definita la successione di Fibonacci:
F(n)+F(m)<F(k) ed elevando al quadrato:
F^2(n)+F^2(m)+2F(n)F(m)=F^2(k)
e per la (1) avremmo F(n)=F(m)=0, che è assurdo.
Abbiamo allora tre casi:
(a)F(n)>=F(k-1) ed F(m)>=F(k-2), il chè implica, per le nostre scelte:
F(n)=F(k-1), ed F(m)=F(k-2) che portano ad una contraddizione.
(b) F(n)>=F(k-1) che implica F(n)=F(k-1) ed F(m)<F(k-2) per la quale avremmo:
F^2(k-1)+F^2(m)=F^2(k-1)+F^2(k-2)+2F(k-1)F(k-2), da cui:
F^2(k-2)>F^2(k-2)+2F(k-1)F(k-2), che è assurdo.
(c) F(n)<F(k-1) ed F(m)>=F(k-2), che implicherebbero:
F(n)=F(m)=F(k-2), relazione ancora una volta assurda.
Per 0<=k<2, è facile vedere che non esistono soluzioni.