Jacques Philippe Marie Binet

Binet è entrato alla École polytechnique come studente nel 1804; si laureò nel 1806 e l'anno successivo vi divenne "ripetitore" di geometria descrittiva. Successivamente fu professore di Meccanica, poi ispettore agli studi.

Nel 1823 succedette a Jean-Baptiste Delambre nella cattedra d'Astronomia al Collège de France. Come Cauchy, del quale era amico, Binet era un cattolico convinto e un sostenitore del pretendente al trono di Francia della famiglia dei Borbone. Il governo uscito dalla rivoluzione di luglio 1830 lo destituì dalle sue funzioni alla École polytechnique, ma conservò le sue cariche al Collège de France.

I suoi lavori sulla matematica pura, la meccanica e l'astronomia, furono pubblicati sul giornale dell'École polytechnique e sul Journal di Liouville. A lui si devono importanti lavori sulla funzione phi di Eulero, sullo studio di espressioni che dipendono dalla legge dei grandi numeri, sulle proprietà fondamentali delle superfici omofocali di secondo grado, da lui scoperte per primo, sui movimenti dei pianeti, sulle equazioni alle differenze finite lineari per le quali ha formulato un'interessante teoria.

I suoi lavori sul calcolo matriciale lo hanno portato all'espressione dellTemplate:'n-esimo termine della successione di Fibonacci.

Nel campo dell'astronomia le sue formule di cinematica danno l'espressione in coordinate polari della velocità e dell'accelerazione dei corpi soggetti ad una accelerazione centrale, come i pianeti del sistema solare.

Formula di Binet per la successione di Fibonacci

Template:Vedi anche Tale formula fornisce l'$n$-esimo termine $u_n$ della successione. Questa è definita dalla seguente formula di ricorrenza:

• $u_0=0$
• $u_1=1$
• $u_n=u_{n-1}+u_{n-2}$, per $n>1$

$u_n=\frac{1}{\sqrt{5}}[{\left(\frac{1+\sqrt{5}}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n]$

Dimostrazione

Si consideri la seguente frazione:

$A_n=\frac{a^n-b^n}{a-b},a\ne b$(1)

dalla quale seguono immediatamente

$\{\begin{array}{c}{A}_0=0\\ A_1=1\end{array}$(2)

Moltiplicandola per $a+b$ si ottiene:

$(a+b)\frac{a^n-b^n}{a-b}=\frac{a^{n+1}+a^{n}b-a{b}^n-b^{n+1}}{a-b}=\frac{a^{n+1}-b^{n+1}}{a-b}+ab\frac{a^{n-1}-b^{n-1}}{a-b}$

e riordinando i termini dell'uguaglianza:

$\frac{a^{n+1}-b^{n+1}}{a-b}=(a+b)\frac{a^n-b^n}{a-b}-ab\frac{a^{n-1}-b^{n-1}}{a-b}$(3)

Sostituendo $A_n$ nella (3) abbiamo poi

$A_{n+1}=(a+b)A_n-ab{A}_{n-1}$(4)

Se ora cerchiamo due valori $a$ e $b$ tali che:

$\{\begin{array}{c}a+b=1\\ -ab=1\end{array}$(5)

la (4) diventa:

$A_{n+1}=A_n+A_{n-1}$

Quest'ultima, unita alla (2) fornisce esattamente la legge della successione di Fibonacci:

$\{\begin{array}{c}{A}_0=0\\ A_1=1\\ A_{n+1}=A_n+A_{n-1}\end{array}$

Troviamo ora i valori $a$ e $b$; per farlo teniamo conto del fatto (5) che $a$ e $b$ sono due numeri la cui somma è 1 e il cui prodotto è -1. Di conseguenza $a$ e $b$ soddisfano l'equazione di secondo grado:

$x^2-x-1=0$

le cui soluzioni sono:

$x_{1,2}=\frac{1\mp \sqrt{5}}{2}$

Scegliendo $x_1=b$ e $x_2=a$, e sostituendo i valori in (1), si ottiene

$A_n=\frac{{\left(\frac{1+\sqrt{5}}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n}{\left(\frac{1+\sqrt{5}}{2}\right)-\left(\frac{1-\sqrt{5}}{2}\right)}$

ossia (con il cambio di notazione $F_n=A_n$, dato che, come abbiamo visto, $A_n$ è lTemplate:'n-esimo termine della successione di Fibonacci):

$F_n=\frac{{\left(\frac{1+\sqrt{5}}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n}{\sqrt{5}}$

che è la formula di Binet.

Dimostrazione alternativa

Consideriamo le seguenti uguaglianze:

${\varphi }^2={\left(\frac{\sqrt{5}+1}{2}\right)}^2=\frac{6+2\sqrt{5}}{4}=\frac{3+\sqrt{5}}{2}=1+\frac{\sqrt{5}+1}{2}=\varphi +1$

$\frac{1}{\varphi }=\frac{2}{\sqrt{5}+1}=\frac{2(\sqrt{5}-1)}{(\sqrt{5}+1)(\sqrt{5}-1)}=\frac{2\sqrt{5}-2}{5-1}=\frac{2\sqrt{5}-2}{4}=\frac{\sqrt{5}-1}{2}=\frac{\sqrt{5}+1}{2}-\frac{2}{2}=\varphi -1$

Dalla seconda si ha: $-\frac{1}{\varphi }=-(\varphi -1)=1-\varphi$

A questo punto, proviamo a calcolare le prime potenze di $\varphi$ e di $-\frac{1}{\varphi }$. Si trova che:

$\begin{array}{cc}& {\varphi }^0=1(1)\\ & {\varphi }^1=\varphi (2)\\ & {\varphi }^2=\varphi +1\\ & {\varphi }^3=\varphi (\varphi +1)={\varphi }^2+\varphi =(\varphi +1)+\varphi =2\varphi +1\\ \end{array}$

$\begin{array}{cc}& {(-\frac{1}{\varphi })}^0=1(3)\\ & {(-\frac{1}{\varphi })}^1=1-\varphi (4)\\ & {(-\frac{1}{\varphi })}^2=-\frac{1-\varphi }{\varphi }=\frac{\varphi -1}{\varphi }=1-\frac{1}{\varphi }=1-(\varphi -1)=2-\varphi \\ & {(-\frac{1}{\varphi })}^3=-\frac{2-\varphi }{\varphi }=\frac{\varphi -2}{\varphi }=1-\frac{2}{\varphi }=1-2(\varphi -1)=3-2\varphi \\ \end{array}$

Si può notare dalle uguaglianze appena esposte che in entrambi i casi la successione dei coefficienti di $\varphi$ e la successione dei termini noti appaiono essere successioni di Fibonacci. In effetti, se poniamo

${\varphi }^n=a\varphi +b$(5)

si hanno:

$\begin{array}{cc}& {\varphi }^{n+1}=a{\varphi }^2+b\varphi =a\varphi +a+b\varphi =(a+b)\varphi +a\\ & {\varphi }^{n+2}=(a+b){\varphi }^2+a\varphi =(a+b)(\varphi +1)+a\varphi =a\varphi +a+b\varphi +b+a\varphi =(2a+b)\varphi +(a+b)\\ \end{array}$

Se chiamiamo $A_n$ e $B_n$ rispettivamente il coefficiente di $\varphi$ ed il termine noto che appaiono nella potenza $n$-esima di $\varphi$ (5), dalla due relazioni appena ricavate possiamo scrivere:

$A_n=A_{n-1}+A_{n-2}$

$B_n=B_{n-1}+B_{n-2}$

Dalla (1) e dalla (2) si vede che $A_0=0$, $A_1=1$, $B_0=1$ e $B_1=1$, ovvero i primi due valori di $A_n$ sono i valori $F_n$ della successione di Fibonacci per $n=0$ ed $n=1$ mentre i primi due valori di $B_n$ sono i valori della successione di Fibonacci per $n=1$ ed $n=2$.

Quindi, riassumendo, abbiamo:

$\{\begin{array}{c}{A}_0=F_0\\ A_1=F_1\\ A_n=F_n;\mathrm{\forall }n\ge 2\\ B_0=F_1\\ B_1=F_2\\ B_n=F_{n+1};\mathrm{\forall }n\ge 2\end{array}$

Da quanto abbiamo appena scritto risulta evidente che:

${\varphi }^n=F_n\varphi +F_{n-1}(6)$

Analogamente, per le potenze di $-\frac{1}{\varphi }$, ponendo

${(-\frac{1}{\varphi })}^n=a-b\varphi (7)$

si ottengono:

$\begin{array}{cc}& {(-\frac{1}{\varphi })}^{n+1}=-\frac{a-b\varphi }{\varphi }=\frac{b\varphi -a}{\varphi }=b-\frac{a}{\varphi }=b-a(\varphi -1)=(a+b)-a\varphi \\ & {(-\frac{1}{\varphi })}^{n+2}=-\frac{(a+b)-a\varphi }{\varphi }=\frac{a\varphi -(a+b)}{\varphi }=a-\frac{a+b}{\varphi }=a-(a+b)(\varphi -1)=(2a+b)-(a+b)\varphi \\ \end{array}$

da cui, detti rispettivamente $A_n$ e $B_n$ il termine noto e il coefficiente di $\varphi$ relativi alla potenza n-esima di $-\frac{1}{\varphi }$ (7), si hanno ancora:

$A_{n+2}=A_n+A_{n+1}$

$B_{n+2}=B_n+B_{n+1}$

Dalla (3) e dalla (4) si vede che

$\{\begin{array}{c}{A}_0=F_1\\ A_1=F_2\\ A_{n+2}=A_n+A_{n+1};\mathrm{\forall }n\ge 2\\ B_0=F_0\\ B_1=F_1\\ B_{n+2}=B_n+B_{n+1};\mathrm{\forall }n\ge 2\end{array}$

Da quanto abbiamo appena scritto risulta evidente che

${(-\frac{1}{\varphi })}^n=F_{n+1}-F_n\varphi (8)$

Sottraendo la (8) dalla (6) otteniamo:

${\varphi }^n-{(-\frac{1}{\varphi })}^n=F_n\varphi +F_{n-1}-(F_{n+1}-F_n\varphi )$

Inoltre, siccome

$F_{n+1}=F_n+F_{n-1}$

possiamo riscrivere la relazione precedente come segue:

${\varphi }^n-{(-\frac{1}{\varphi })}^n=F_n\varphi +F_{n-1}-(F_n+F_{n-1}-F_n\varphi )=F_n\varphi -(F_n-F_n\varphi )=2F_n\varphi -F_n$

Infine, raccogliendo $F_n$ abbiamo:

$(2\varphi -1)F_n={\varphi }^n-{(-\frac{1}{\varphi })}^n⟹F_n=\frac{{\varphi }^n-{(-\frac{1}{\varphi })}^n}{2\varphi -1}(9)$

Per cui, ricordando dalla parte iniziale della dimostrazione che $\varphi =\frac{\sqrt{5}+1}{2}$ e $\frac{1}{\varphi }=\frac{\sqrt{5}-1}{2}$, la (9) diventa:

$F_n=\frac{{\left(\frac{\sqrt{5}+1}{2}\right)}^n-{\left(\frac{-\sqrt{5}+1}{2}\right)}^n}{2\frac{\sqrt{5}+1}{2}-1}=\frac{{\left(\frac{\sqrt{5}+1}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n}{\sqrt{5}+1-1}=\frac{{\left(\frac{\sqrt{5}+1}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n}{\sqrt{5}}$

che corrisponde proprio alla formula di Binet.

Formule di Binet per il moto centrale

Template:Vedi anche Si consideri una particella che abbia una accelerazione puramente centripeta $𝐚$ verso un punto fisso nel nostro sistema di riferimento e siano $(r,\theta )$ le sue coordinate polari nel nostro riferimento. La velocità $𝐯$ e il vettore accelerazione $𝐚$ di quella particella verificano le seguenti equazioni:

• $𝐯=2\dot{A}(-\frac{dk}{d\theta }𝐧+k𝐡);\Vert 𝐯\Vert =2\dot{A}\sqrt{{\left(\frac{dk}{d\theta }\right)}^2+k^2}$
• $𝐚=-4{\dot{A}}^2{k}^2𝐧(\frac{d^{2}k}{d{\theta }^2}+k)$

dove $k=\frac{1}{r}$ è la curvatura normale istantanea della traiettoria, $𝐧$ sarebbe il versore radiale $\mathit{\rho }=\frac{𝐫}{r}$, che però in questo caso coincide in ogni istante con quello normale $𝐧=\frac{𝐚}{a}$, $𝐡$ è il versore trasversale, per definizione a lui perpendicolare, e $\dot{𝐀}$ è la velocità areolare, costante, della particella. Quindi la particella sta compiendo un moto piano, poiché per la definizione di accelerazione e velocità e le proprietà del prodotto vettoriale:

$\mathrm{𝟎}=𝐚\times 𝐫=\frac{\mathrm{d}𝐯}{\mathrm{d}t}\times 𝐫=\frac{\mathrm{d}(𝐯\times 𝐫)}{\mathrm{d}t}-𝐯\times \frac{\mathrm{d}𝐫}{\mathrm{d}t}=\frac{\mathrm{d}(𝐯\times 𝐫)}{\mathrm{d}t}-𝐯\times 𝐯=\frac{\mathrm{d}(𝐯\times 𝐫)}{\mathrm{d}t}$

Ciò equivale a dire che è costante nel tempo il prodotto:

$𝐯\times 𝐫=2\dot{A}(-\frac{\mathrm{d}k}{\mathrm{d}\theta }𝐧+k𝐡)\times (r𝐧)=2\dot{A}𝐡\times 𝐧=2\dot{A}𝐛$

dove $𝐛$ risulta in effetti il versore binormale, ricordando che $𝐡$ è linearmente dipendente da $𝐧$ stesso. Ma allora risulta nullo il prodotto misto:

$0=𝐯\times 𝐫\cdot 𝐫=2\dot{A}𝐛\cdot 𝐫$

e quindi $𝐫$ rimane sul piano passante per $O$ che ha inclinazione costante in quanto normale a $𝐛$.

Conseguenze

Detta $𝐩$ la quantità di moto del corpo, $𝐋$ il suo momento angolare ed $𝐅$ la forza centrale, per la relazione tra velocità areolare e momento angolare valgono:

• $𝐩=𝐋t\sqrt{{\left(\frac{\mathrm{d}k}{\mathrm{d}\theta }\right)}^2+k^2}$
• $𝐅=-2L\dot{A}{k}^2𝐧(\frac{{\mathrm{d}}^{2}k}{\mathrm{d}{\theta }^2}+k)$

Altre

• Formule additive: $\mathrm{\forall }a,ba+b-b=a$
• Formule moltiplicative: $\mathrm{\forall }a,b\frac{a}{b}\cdot b=a$

Queste formule sono elementari, ma Binet seppe sottolinearne l'importanza.

Collegamenti esterni

• Template:Collegamenti esterni
• Template:Cita web