Ricerche di geometria analitica/03

by Eugenio Beltrami

Capitolo 3

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

Questo testo è stato riletto e controllato.

Eugenio Beltrami - Ricerche di geometria analitica (1879)

Capitolo 3

◄

02

04

►

§ 3.

Passiamo ora a considerare simultaneamente due coniche, l’una inscritta, l’altra circoscritta al triangolo fondamentale.

Rappresenteremo coll’equazione

(1)	${\frac {x}{\lambda -a}}+{\frac {y}{\lambda -b}}+{\frac {z}{\lambda -c}}=0$

la tangente variabile della prima conica, conica che può essere una qualunque, fra le inscritte, per la presenza delle arbitrarie a, b, c; e coll’equazione

(2)	${\frac {Ap}{\mu -a}}+{\frac {Bq}{\mu -b}}+{\frac {Cr}{\mu -c}}=0$

il punto variabile della seconda conica, conica che può anch’essa essere una qualunque, fra le circoscritte, per la presenza delle nuove costanti A, B, C.

L’equazione

(3)	${\frac {A}{(\lambda -a)(\mu -a)}}+{\frac {B}{(\lambda -b)(\mu -b)}}+{\frac {C}{(\lambda -c)(\mu -c)}}=0$.

esprime manifestamente la condizione perchè la tangente $\lambda$ della prima conica passi per il punto $\mu$ della seconda. In virtù di quest’equazione ad ogni valore di $\lambda$ corrispondono due valori di $\mu$, individuanti i punti d’intersezione della retta $\lambda$ colla conica circoscritta, e, reciprocamente, ad ogni valore di $\mu$ corrispondono due valori di $\lambda$, individuanti le due tangenti che dal punto $\mu$ si possono condurre alla conica inscritta. Ciò posto consideriamo l’equazione

(4)	${\frac {A}{x-a}}+{\frac {B}{x-b}}+{\frac {C}{x-c}}=k$,

dove k è una costante arbitraria e x un nuovo parametro. Designando con $x_{1}$, $x_{2}$, $x_{3}$ le tre radici, che per ora supponiamo diseguali, di quest’equazione, sostituendole nell’equazione medesima, ed eliminando k colla sottrazione, si ottengono tre equazioni del tipo

(5)	${\frac {A}{(x_{1}-a)(x_{2}-a)}}+{\frac {B}{(x_{1}-b)(x_{2}-b)}}+{\frac {C}{(x_{1}-c)(x_{2}-c)}}=0$

delle quali una qualunque è conseguenza necessaria delle altre due. Queste equazioni esprimono proprietà delle terne di radici $x_{1}$, $x_{2}$, $x_{3}$ indipendenti da ogni valore particolare di k. Dando a k tutti i valori possibili, si ha una serie infinita di terne $(x_{1}\,x_{2}\,x_{3})$ formate di valori generalmente distinti, e nelle quali una qualunque delle radici, per esempio $x_{1}$, può prendere ogni valore possibile: infatti ponendo nell’equazione (4) $x=x_{1}$ si ottiene sempre per k un valore individuato. Ma, fissata $x_{1}$, le altre due radici associate $x_{2}$, e $x_{3}$, restano determinate dall’equazione di 2° grado in x

(5)'	${\frac {A}{(x_{1}-a)(x-a)}}+{\frac {B}{(x_{1}-b)(x-b)}}+{\frac {C}{(x_{1}-c)(x-c)}}=0$.

Consideriamo ora una di queste terne, e sia $(x_{1},x_{2},x_{3})$; poscia poniamo

	$\lambda _{1}=x_{1}$,	$\lambda _{2}=x_{2}$,	$\lambda _{3}=x_{3}$,
	$\mu _{1}=x_{1}$,	$\mu _{2}=x_{2}$,	$\mu _{3}=x_{3}$.

La terna $(\lambda _{1}\,\lambda _{2}\,\lambda _{3})$ di valori di $\lambda$ determina i tre lati di un triangolo circoscritto alla prima conica, e la terna corrispondente $(\mu _{1}\,\mu _{2}\,\mu _{3})$, formata di valori numericamente eguali, determina parimente i tre vertici d’un triangolo inscritto alla seconda. Ma poichè si ha, in base alle equazioni del tipo (5),

${\frac {A}{(\lambda _{1}-a)(\mu _{2}-a)}}+{\frac {B}{(\lambda _{1}-b)(\mu _{2}-b)}}+{\frac {C}{(\lambda _{1}-c)(\mu _{2}-c)}}=0$,

${\frac {A}{(\lambda _{1}-a)(\mu _{3}-a)}}+{\frac {B}{(\lambda _{1}-b)(\mu _{3}-b)}}+{\frac {C}{(\lambda _{1}-c)(\mu _{3}-c)}}=0$,

è chiaro, avuto riguardo al significato geometrico della relazione (3), che il lato $\lambda _{1}$, del primo triangolo contiene i vertici $\mu _{2}$ e $\mu _{3}$, del secondo. E poichè ciò vale anche per gli altri lati e vertici, se ne conclude che i due triangoli $(\lambda _{1}\,\lambda _{2}\,\lambda _{3})$, $(\mu _{1}\,\mu _{2}\,\mu _{3})$ non ne formano che un solo, simultaneamente circoscritto alla prima ed inscritto alla seconda conica. I valori eguali di $\lambda$ e $\mu$, cioè $\lambda _{1}=\mu _{1}$, $\lambda _{2}=\mu _{2}$, $\lambda _{3}=\mu _{3}$ corrispondono a lati ed a vertici rispettivamente opposti di quest’unico triangolo. Siccome poi, variando k, $x_{1}$, può assumere, come si disse, ogni valore possibile, ne segue che ogni tangente della prima conica può essere lato di un tal triangolo, come ogni punto della seconda può essere vertice d’un altro di tali triangoli. In altre parole: facendo variare con continuità nell’equazione (4), si determina un triangolo che varia con continuità restando sempre circoscritto alla prima ed inscritto nella seconda conica¹.

Di quì risulta che se due coniche ammettono un triangolo inscritto nell’una e circoscritto all’altra, qual’ è per le nostre due coniche il triangolo fondamentale, essendo del resto arbitrarie, esse ammettono necessariamente una serie infinita e continua di tali triangoli, talchè ogni punto della conica circoscritta può diventar vertice, come ogni tangente della inscritta può diventar lato d’uno di tali triangoli. E poichè è d’altronde evidente che, per due coniche assolutamente arbitrarie, non può un punto scelto a caso sull’una essere vertice di un triangolo inscritto ad essa e circoscritto all’altra, segue senz’altro la verità del teorema di Poncelet che due coniche in un piano o non ammettono alcun triangolo inscritto all’una e circoscritto all’altra, o ne ammettono una serie infinita e continua.

Resta da considerare il caso, lasciato finora in disparte, che l’equazione (4) abbia due radici eguali, caso che interviene sempre, per certi valori particolari di k. Per discutere questo caso, osserviamo anzitutto che se $x_{1}$, $x_{2}$, $x_{3}$ sono le tre radici diseguali corrispondenti ad un valore arbitrario di k, si ha dal Lemma (I)

	$A={\frac {k(a-x_{1})(a-x_{2})(a-x_{3})}{(a-b)(a-c)}}$,
	$B={\frac {k(b-x_{1})(b-x_{2})(b-x_{3})}{(b-c)(b-a)}}$,
	$C={\frac {k(c-x_{1})(c-x_{2})(c-x_{3})}{(c-a)(c-b)}}$.

Quindi se, per un valor particolare $k'$ di k, le due radici $x_{2}$ e $x_{3}$ diventano eguali fra loro, designando con $x'$ il loro valor comune, si ha

(6)	${\begin{cases}A={\frac {k'(a-x_{1})(a-x')^{2}}{(a-b)(a-c)}},\\B={\frac {k'(b-x_{1})(a-x')^{2}}{(b-a)(b-c)}},\\C={\frac {k'(c-x_{1})(c-x')^{2}}{(c-a)(c-b)}}.\end{cases}}$

Da queste formole, in virtù del Lemma (III), si traggono le equazioni seguenti:

	${\frac {A}{(x'-a)^{2}}}+{\frac {B}{(x'-b)^{2}}}+{\frac {C}{(x'-c)^{2}}}=0$,
	${\frac {A}{(x'-a)(x_{1}-a)}}+{\frac {B}{(x'-b)(x_{1}-b)}}+{\frac {C}{(x'-c)(x_{1}-c)}}=0$,
	${\frac {A}{(x'-a)^{2}(x_{1}-a)}}+{\frac {B}{(x'-b)^{2}(x_{1}-b)}}+{\frac {C}{(x'-c)^{2}(x_{1}-c)}}=0,$

la prima delle quali non è altro che la derivata della (4) rispetto a x postovi $x=x'$, e fornisce quattro valori di $x'$ che son quelli delle radici doppie possibili, corrispondenti ad altrettanti valori di k che si ottengono sostituendo i primi nell’equazione (4) al posto di x. La terza equazione, che è lineare rispetto a $x_{1}$, (in virtù della prima), fornisce il valore della radice semplice associata a ciascuna radice doppia. La seconda e terza equazione poi, insieme prese, esprimono il carattere peculiare dei triangoli corrispondenti alle quattro terne comprendenti una radice doppia. Se si pone infatti

	$\lambda _{1}=x_{1}$,	$\lambda _{2}=\lambda _{3}=\lambda '=x'$,
	$\mu _{1}=x_{1}$,	$\mu _{2}=\mu _{3}=\mu '=x'$,

le dette due equazioni si possono scrivere così:

${\frac {A}{(\lambda _{1}-a)(\mu '-a)}}+{\frac {B}{(\lambda _{1}-b)(\mu '-b)}}+{\frac {C}{(\lambda _{1}-c)(\mu '-c)}}=0$,

${\frac {\partial }{\partial \mu '}}\left\{{\frac {A}{(\lambda _{1}-a)(\mu '-a)}}+{\frac {B}{(\lambda _{1}-b)(\mu '-b)}}+{\frac {C}{(\lambda _{1}-c)(\mu '-c)}}\right\}=0$;

oppure così:

${\frac {A}{(\lambda '-a)(\mu _{1}-a)}}+{\frac {B}{(\lambda '-b)(\mu _{1}-b)}}+{\frac {C}{(\lambda '-c)(\mu _{1}-c)}}=0$

${\frac {\partial }{\partial \lambda '}}\left\{{\frac {A}{(\lambda '-a)(\mu _{1}-a)}}+{\frac {B}{(\lambda '-b)(\mu _{1}-b)}}+{\frac {C}{(\lambda '-c)(\mu _{1}-c)}}\right\}=0$.

Sotto la prima forma le due equazioni esprimono che il lato $\lambda _{1}$, contiene il punto $\mu '$ ed il punto contiguo; sotto la seconda, che il punto $\mu$, è contenuto nella tangente $\lambda '$ e nella tangente contigua. Dunque il lato $\lambda _{1}$ è una tangente comune alle due coniche ed il vertice opposto $\mu _{1}$ è un punto comune ad esse medesime; il lato $\lambda '$ è la tangente della prima conica in uno dei punti comuni ad essa ed alla seconda, ed il vertice $\mu '$ è il punto di contatto della seconda conica con una delle tangenti comuni ad essa ed alla prima.

In base a ciò, ecco com’è costituito ciascuno dei quattro triangoli singolari che corrispondono ai quattro valori $k'$ di $k$: Il vertice $\mu _{1}$, è uno dei punti comuni alle due coniche, e i due lati $\lambda _{2}=\lambda _{3}=\lambda '$ concorrenti in esso coincidono colla tangente alla prima conica in quel punto; questi due lati coincidenti incontrano di nuovo la seconda conica nei due punti $\mu _{3}=\mu _{2}=\mu '$, che coincidono nel punto in cui la seconda conica è toccata dalla tangente $\lambda _{1}$, comune ad essa ed alla prima: questa tangente funge da terzo lato del triangolo, cioè da lato opposto al vertice $\mu _{1}$ punto comune alle due coniche.

Di quì risulta manifestamente questo teorema: Quando due coniche ammettono un triangolo circoscritto alla prima ed inscritto alla seconda, le tangenti della prima conica, nei punti comuni ad essa ed alla seconda, incontrano di nuovo la seconda conica nei punti di contatto di questa colle tangenti comuni ad essa ed alla prima conica. Al qual teorema si può aggiungere quest’altro: Se, date due coniche in un piano, la tangente alla prima, in uno dei quattro punti comuni, incontra di nuovo la seconda conica in uno dei quattro punti di contatto colle tangenti comuni, la proprietà medesima ha luogo per le tangenti negli altri tre punti comuni, e le due coniche ammettono una serie infinita e continua di triangoli simultaneamente circoscritti alla prima ed inscritti alla seconda conica.

Non ci occuperemo del caso che l’equazione (4) ammetta radice tripla, caso che in generale non può verificarsi. Infatti, ponendo nelle formole (6) $x_{1}=x_{2}=x_{3}$ ed eliminando questo valor comune delle radici si trova

${\sqrt[{3}]{A(b-c)^{2}}}+{\sqrt[{3}]{B(c-a)^{2}}}+{\sqrt[{3}]{C(a-b)^{2}}}=0$,

relazione fra i coefficienti delle due equazioni (1) (2) che non è generalmente soddisfatta. Questa relazione esprime la condizione del contatto fra le due coniche. È una circostanza interessante, sulla quale tuttavia non intendiamo di trattenerci.

Osserviamo, per ultimo, che se si designano con $a'$, $b'$, $c'$ le tre radici dell’equazione (4) per un valore individuato, $k'$, di k, e se per un momento si pone

$\phi (x)=(x-a)(x-b)(x-c)$

$\psi (x)=(x-a')(x-b')(x-c')$,

la suddetta equazione (4) può scriversi così

$\phi (x)+{\frac {k'}{k-k'}}\psi (x)=0$.

Dunque, in virtù del teorema dimostrato nel § precedente, la conica rappresentata dall’equazione

(7)	${\frac {(b-c)[a]^{2}}{\psi (a)}}+{\frac {(c-a)[b]^{2}}{\psi (b)}}+{\frac {(a-b)[c]^{2}}{\psi (c)}}=0$

è conjugata con tutti i triangoli simultaneamente inscritti e circoscritti alle due coniche considerate in questo §. Ma, per ipotesi, si ha identicamente

$\psi (x)=-{\frac {\phi (x)}{k'}}\left\{{\frac {A}{x-a}}+{\frac {B}{x-b}}+{\frac {C}{x-c}}-k'\right\}$,

epperò

$\psi (a):\psi (b):\psi (c)=A\phi '(a):B\phi '(b):C\phi '(c)$.

Inoltre si è già trovato nel § precedente,

$[a]=A\phi '(a)x$,

$[b]=B\phi '(b)y$,

$[c]=C\phi '(c)$.

Sostituendo questi valori nell’equazione (7), si riconosce subito che la conica conjugata con tutti i triangoli inscritti e circoscritti è quella rappresentata dall’equazione semplicissima

(7)’	$Ax^{2}+By^{2}+Cz^{2}=0$.

Note

1. Qui non facciamo distinzione fra valori reali e valori complessi dei parametri. È chiaro che i triangoli reali possono corrispondere ad una parte soltanto del campo di variabilità dei parametri, e possono anche mancare del tutto. Ma la questione della realità dei triangoli non ha a che vedere con quella della loro possibilità astratta, che è la sola di cui quì ci occupiamo.