Ricerche di geometria analitica/05

by Eugenio Beltrami

Capitolo 5

../04 ../06 IncludiIntestazione 2 novembre 2024 100% Da definire

Questo testo è stato riletto e controllato.

Eugenio Beltrami - Ricerche di geometria analitica (1879)

Capitolo 5

◄

04

06

►

§ 5.

Dalle considerazioni svolte nel § precedente risulta che, se per brevità si pone

$f(\lambda )=(\lambda -a_{0})(\lambda -a_{1})\ldots (\lambda -a_{n})$,

$\phi (\lambda )=(\lambda -\lambda ')(\lambda -\lambda '')\ldots (\lambda -\lambda ^{(n-2)})$,

l’equazione (3) del detto §, in virtù del Lemma (I), dà, indicando con M un fattore di proporzionalità,

(1)

$u_{k}={\frac {M\phi (a_{k})(a_{k}-\lambda _{1})(a_{k}-\lambda _{2})}{A_{k}f'(a_{k})}}$,

$k=0,1,\ldots n$,

dove $\lambda _{1}$ e $\lambda _{2}$ sono le sole due radici variabili della citata equazione (3), le altre $n-2$ essendo quelle che abbiamo designate con $\lambda ',\lambda '',\ldots \lambda ^{(n-2)}$ e che sono sempre le stesse, qualunque sia il punto del piano cui si riferiscono i valori delle $n+1$ funzioni lineari u.

Le formole (1) conducono alla conoscenza dei valori che queste funzioni prendono nei punti della conica inviluppo. Infatti, facendo in esse $\lambda _{1}=\lambda _{2}=\lambda$, si trova che nel punto di contatto della conica stessa colla retta $\lambda$, le dette funzioni u hanno i valori dati da

(2)

$u_{k}={\frac {M\phi (a_{k})(\lambda -a_{k})^{2}}{A_{k}f'(a_{k})}}$,

$k=0,1,\ldots n$.

Le medesime formole (1) conducono eziandio a trovare la forma che assumono le equazioni di condizione (4) del § precedente in certi casi particolari, che non abbiamo creduto opportuno di accennare prima d’ora, per non complicare il discorso. Non faremo una completa ana lisi di questi casi, ma ne citeremo due, di maggiore interesse.

Si può supporre, in primo luogo, che le $n-2$ radici fisse sieno tutte eguali fra loro. In tal caso si ha

$\phi (\lambda )=(\lambda -\lambda ')^{n-2}$,

epperò le formole (1) diventano

$u_{k}={\frac {M(\lambda '-a_{k})^{n-2}(\lambda _{1}-a_{k})(\lambda _{2}-a_{k})}{A_{k}f'(a_{k})}}$,

donde, pel Lemma (III), si traggono le equazioni:

$\sum {\frac {Au}{(\lambda '-a)^{i}}}=0$

per

$i=1,2,\ldots (n-2)$.

Dunque, quando le radici fisse son tutte eguali fra loro ed a $\lambda '$, le altre $n-2$ condizioni (4) del § precedente sono surrogate da queste altre

(3)

$\sum {\frac {Au}{\lambda '-a}}=0,$

$\sum {\frac {Au}{(\lambda '-a)^{2}}}=0,$

$\cdots$

$\sum {\frac {Au}{(\lambda '-a)^{n-2}}}=0.$

Si può, in secondo luogo, particolarizzare ancor più l’ipotesi or fatta, supponendo che il valor comune $\lambda '$ delle $n-2$ radici fisse sia $=\infty$. In questo caso, dovendo l’equazione $\phi \lambda =0$ avere tutte le radici infinite, bisogna che il suo primo membro si riduca ad una costante. Ponendo questa costante $=1$ si ha

$u_{k}={\frac {M(\lambda _{1}-a_{k})(\lambda _{2}-a_{k})}{A_{k}f'(a_{k})}}$,

donde

$\sum A\psi (a)u=0$,

dove $\psi (\lambda )$ è una funzione intera di $\lambda$, del grado $n-3$, a coefficienti arbitrarii. Quest’ultima equazione si scinde nelle $n-2$ equazioni separate

(4)

$\sum Au=0,$

$\sum Aau=0,$

$\sum Aa^{2}u=0,$

$\cdots$

$\sum Aa^{n-2}u=0,$

le quali sono appunto quelle che tengono luogo delle (4) del § precedente nel caso attualmente supposto. Verificandosi il quale l’equazione

$\sum {\frac {Au}{\lambda -a}}=0$,

liberata che sia dai denominatori, si abbassa spontaneamente al 2° grado, per la mutua elisione di tutti i termini che contengono potenze di $\lambda$ superiori alla seconda. Si giungerebbe, per un cammino inverso, alle stesse equazioni (4) eguagliando a zero i coefficienti di $\lambda ^{n},\lambda ^{n-1},\ldots \lambda ^{s}$ nella precedente equazione, liberata dai denominatori.

Osserviamo ancora che rappresentando, come dianzi, con $\psi (\lambda )$ una funzione intera di $\lambda$, di grado $n-3$, a coefficienti arbitrarii, e moltiplicando ordinatamente le $n-2$ equazioni (4) del § precedente per

${\frac {\psi (\lambda ')}{\phi '(\lambda ')}},{\frac {\psi (\lambda '')}{\phi '(\lambda '')}},\ldots {\frac {\psi (\lambda ^{(n-2)})}{\phi '(\lambda ^{(n-2)})}}$,

si ottiene

$\sum Au\sum _{i=0}^{i=n-2}{\frac {\psi (\lambda ^{(i)})}{(a-\lambda ^{(i)})\phi '(\lambda ^{(i)})}}=0$,

ossia, in forza del Lemma (II),

$\sum {Au\psi (a)}{\phi (a)}=0$,

vale a dire, scrivendo per disteso,

(5)	${\frac {A_{0}\psi (a_{0})u_{0}}{\phi (a_{0})}}+{\frac {A_{1}\psi (a_{1})u_{1}}{\phi (a_{1})}}+\cdots +{\frac {A_{n}\psi (a_{n})u_{n}}{\phi (a_{n})}}=0$.

Quest’unica equazione equivale, per l’arbitrio degli $n-2$ coefficienti della funzione $\psi (\lambda )$ al sistema delle $n-2$ equazioni (4) del § precedente, dalle quali essa venne ricavata. Viceversa si possono da quest’unica equazione ricavare tutte le equazioni citate. Per ottenere la prima, ad esempio, non si ha che da porre

$\psi (\lambda )={\frac {\phi (\lambda )}{\lambda -\lambda '}}$.

Se, in particolare, si pone $\psi (\lambda )$ eguale al prodotto di $n-3$ dei binomii

$\lambda -a_{0}$,

$\lambda -a_{1},\ldots \lambda -a_{n}$,

le quantità

$\psi (a_{0})$,

$\psi (a_{1}),\ldots \psi (a_{n})$

riescono tutte nulle ad eccezione di quelle quattro nelle quali $\lambda$ è posto eguale ad una delle a non comprese in $\psi (\lambda )$. Per tal guisa l’equazione (5) si converte in una relazione fra sole quattro delle $n+1$ funzioni lineari u. Con questo artifizio si può, in caso di bisogno, esprimere linearmente $n-2$ delle funzioni u per mezzo delle tre rimanenti, e ritornare così all’uso di tre sole coordinate omogenee indipendenti. Riparleremo, nel seguente §, di tale riduzione, considerandola da un punto di vista più generale.

Col medesimo artifizio si possono dimostrare dei teoremi geometrici di che vogliamo dare un esempio.

Sia $n=5$. In questo caso le relazioni identiche sono in numero di tre, e la loro coesistenza deve esprimere che le rette¹

$u_{1}=0$,

$u_{2}=0$,

$u_{3}=0$,

$u_{4}=0$,

$u_{5}=0$,

$u_{6}=0$

sono sei tangenti d’una sola e medesima conica, vale a dire che sono così disposte da dar luogo al teorema di Brianchon. Per dimostrar ciò, stabiliamo di far succedere queste sei rette nell’ordine indicato dagli indici delle corrispondenti funzioni u, e, poichè $\psi (\lambda )$ è nel caso attuale funzione di 2° grado, poniamo successivamente nell’equazione (5)

	$\psi (\lambda )=(\lambda -a_{1})(\lambda -a_{4})$,
	$\psi (\lambda )=(\lambda -a_{2})(\lambda -a_{5})$,
	$\psi (\lambda )=(\lambda -a_{3})(\lambda -a_{6})$.

Si ottengono così tre relazioni distinte, la prima fra le funzioni $u_{2}$, $u_{3}$, $u_{4}$, $u_{5}$, la seconda fra le funzioni $u_{3}$, $u_{4}$, $u_{6}$, $u_{1}$, la terza fra le funzioni $u_{4}$, $u_{5}$, $u_{1}$, $u_{2}$, relazioni che scriveremo così

	$(u_{2},u_{3})+(u_{5},u_{6})=0$,
	$(u_{3},u_{4})+(u_{6},u_{1})=0$,
	$(u_{4},u_{5})+(u_{1},u_{2})=0$,

ciascuna parentesi rappresentando una certa funzione lineare delle due funzioni u che vi sono racchiuse: per esempio si ha

$(u_{1},u_{2})={\frac {A_{1}u_{1}(a_{3}-a_{1})(a_{6}-a_{1})}{\psi (a_{1})}}+{\frac {A_{2}u_{2}(a_{3}-a_{2})(a_{6}-a_{2})}{\psi (a_{2})}}$.

Queste tre identità insegnano che le rette congiungenti i vertici opposti dell’esagono formato dalle sei rette, disposte nell’ordine indicato, possono essere rappresentate dalle equazioni

$(u_{1},u_{2})=0$,

$(u_{3},u_{4})=0$,

$(u_{5},u_{6})=0$.

Ora si ha identicamente

$0=(a_{1}-a_{5})(a_{2}-a_{4})(u_{1},u_{2})+(a_{3}-a_{1})(a_{4}-a_{6})(u_{3},u_{4})$

$+(a_{5}-a_{3})(a_{6}-a_{2})(u_{5},u_{6})$,

dunque le congiungenti anzidette si segano in un solo e medesimo punto.

(Per verificare l’identità precedente basta porre in luogo di $(u_{5},u_{6})$ l’espressione equivalente $-(u_{2},u_{3})$: si ottiene così una relazione fra le sole quattro funzioni $u_{1}$, $u_{2}$, $u_{3}$, $u_{4}$ la quale è identica a quella cui si perviene ponendo $\psi (\lambda )=(\lambda -a_{5})(\lambda -a_{6})$.)

Note

1. Usiamo in questo esempio gli indici 1, 2, 3, 4, 5, 6 invece degli indici 0, 1, 2, 3, 4, 5.