# Opere matematiche di Luigi Cremona/Intorno ad una proprietà delle superficie curve, che comprende in sè come caso particolare il teorema di Dupin sulle tangenti coniugate

../Sulle coniche e sulle superficie di second'ordine congiunte ../Considerazioni di storia della geometria in occasione di un libro di geometria elementare publicato a Firenze IncludiIntestazione 13 agosto 2020 75% Da definire
Opere matematiche Luigi Cremona 1914 CC BY-SA 3.0 GFDL Indice:Opere matematiche (Cremona) I.djvu //it.wikisource.org/w/index.php?title=Opere_matematiche_di_Luigi_Cremona/Intorno_ad_una_propriet%C3%A0_delle_superficie_curve,_che_comprende_in_s%C3%A8_come_caso_particolare_il_teorema_di_Dupin_sulle_tangenti_coniugate&oldid=- 20200813162902 //it.wikisource.org/w/index.php?title=Opere_matematiche_di_Luigi_Cremona/Intorno_ad_una_propriet%C3%A0_delle_superficie_curve,_che_comprende_in_s%C3%A8_come_caso_particolare_il_teorema_di_Dupin_sulle_tangenti_coniugate&oldid=- 20200813162902
[p. 163
21.
INTORNO AD UNA PROPRIETÀ DELLE SUPERFICIE CURVE, CHE COMPRENDE IN SÈ COME CASO PARTICOLARE IL TEOREMA DI DUPIN SULLE TANGENTI CONIUGATE.
Annali di Matematica pura ed applicata, serie I, tomo III (1860), pp. 325-335.
È notissimo che col nome di tangenti coniugate si designano due rette toccanti una data superficie in uno stesso punto, quando ciascuna di esse è generatrice di una superficie sviluppabile circoscritta alla data lungo una linea a cui sia tangente l’altra. Le proprietà delle tangenti coniugate sono dovute al Dupin, l’autore dei Développements de géométrie.
L’illustre Bordoni, in una breve nota che fa seguito all’importante memoria sulle figure isoperimetre esistenti in una superficie qualsivoglia, ha dimostrato una formola generale che comprende in sè, come caso particolarissimo, la proprietà fondamentale delle tangenti coniugate. Data una superficie ed una linea tracciata in essa, immaginiamo la superficie inviluppante una serie d’altre superficie, le quali abbiano un contatto d’ordine qualunque colla superficie data lungo la linea data. La formola di Bordoni esprime appunto la relazione di reciprocità fra le tangenti, nel punto comune, alla linea data ed alla caratteristica della superficie inviluppante.
In questa nota mi propongo di sviluppare alcune conseguenze che derivano dalla citata formola nel caso che il contatto fra la superficie data e le inviluppate sia di primo ordine, ed i punti di contatto siano ombelichi per le inviluppate medesime. [p. 164 Evidentemente tale ipotesi comprende in sè il caso che le inviluppate siano sfere o piani.
1. Sia:
| 1) | f (x, y, z) = 0 |
l’equazione di una superficie curva individuata, riferita ad assi rettangolari, e consideriamo in essa il punto qualsivoglia di coordinate x, y, z. Indichiamo per brevità con:
p, q, r
i valori delle prime derivate parziali:
${\frac {\mathrm {d} f}{\mathrm {d} x}},$ ${\frac {\mathrm {d} f}{\mathrm {d} y}},$ ${\frac {\mathrm {d} f}{\mathrm {d} z}}$
corrispondenti al punto (x, y, z), e con:
l, m, n, l$_1$, m$_1$, n$_1$
i valori delle derivate seconde parziali:
${\frac {\mathrm {d} ^{2}f}{\mathrm {d} x^{2}}},$ ${\frac {\mathrm {d} ^{2}f}{\mathrm {d} y^{2}}},$ ${\frac {\mathrm {d} ^{2}f}{\mathrm {d} z^{2}}}$ ${\frac {\mathrm {d} ^{2}f}{\mathrm {d} y\,\mathrm {d} z}},$ ${\frac {\mathrm {d} ^{2}f}{\mathrm {d} z\,\mathrm {d} x}},$ ${\frac {\mathrm {d} ^{2}f}{\mathrm {d} x\,\mathrm {d} y}}$
corrispondenti al medesimo punto. Sia poi:
| 2) | F (X, Y, Z, U, V, W) = 0 |
l’equazione di una famiglia di superficie, designandosi con X, Y, Z le coordinate correnti, e con U, V, W tre parametri indeterminati. Determiniamo questi parametri per modo che la equazione (2) rappresenti una superficie passante pel punto (x, y, z) della (1) ed ivi avente con questa un contatto di primo ordine. Indicati con:
P, Q, R
i valori delle derivate parziali:
${\frac {\mathrm {dF} }{\mathrm {dX} }},$ ${\frac {\mathrm {dF} }{\mathrm {dY} }},$ ${\frac {\mathrm {dF} }{\mathrm {dZ} }}$
corrispondenti ad X = x, Y = y, Z = z le equazioni da soddisfarsi saranno:
* F (x, y, z, U, V, W) = 0 P : Q : R = p : q : r,
dalle quali si desumano:
Questi valori sostituiti nella (2) danno:
| 3) | F (X, Y, Z, u, v, w) = 0 |
equazione rappresentante quella superficie della famiglia (2) che passa pel punto (x, y, z) della (1) ed ivi ha con essa comune il piano tangente.
Suppongasi ora data una linea qualsivoglia, tracciata sulla superficie (1) e passante pel punto (x, y, z). Sia essa rappresentata dalle equazioni:
| 4) | x = x (s), y = y (s), z = z (s), |
indicandosi con s l’arco della linea medesima. Supposto che nelle u, v, w dell’equazione (3) sian poste per x, y, z le equivalenti funzioni di s date dalle (4), l’equazione (3) verrà a rappresentare, per successivi valori di s, la serie di quelle superficie della famiglia (2) che toccano la superficie (1) lungo la linea (4). Tale serie di superficie ammetterà una superficie inviluppo, l’equazione della quale sarà il risultato dell’eliminazione di s fra la (3) e la:
| 5) | F’ = 0 |
derivata totale della (3) presa rispetto ad s.
Se nelle equazioni (3) e (5) si considera s come data o costante, esse rappresentano la caratteristica dell’inviluppo, cioè la curva lungo la quale la superficie inviluppo tocca quell’inviluppata che corrisponde al punto (x, y, z). Supponiamo che in queste equazioni le coordinate correnti X, Y, Z siano espresse in funzione di S, arco della caratteristica; allora le equazioni stesse, considerate come identiche, somministrano, mediante la derivazione rispetto ad S, le:
${\frac {\mathrm {dF} }{\mathrm {dX} }}\cdot {\frac {\mathrm {dX} }{\mathrm {dS} }}+{\frac {\mathrm {dF} }{\mathrm {dY} }}\cdot {\frac {\mathrm {dY} }{\mathrm {dS} }}+{\frac {\mathrm {dF} }{\mathrm {dZ} }}\cdot {\frac {\mathrm {dZ} }{\mathrm {dS} }}=0,$ ${\frac {\mathrm {dF'} }{\mathrm {dX} }}\cdot {\frac {\mathrm {dX} }{\mathrm {dS} }}+{\frac {\mathrm {dF'} }{\mathrm {dY} }}\cdot {\frac {\mathrm {dY} }{\mathrm {dS} }}+{\frac {\mathrm {dF'} }{\mathrm {dZ} }}\cdot {\frac {\mathrm {dZ} }{\mathrm {dS} }}=0.$
Facciamo in queste X = x, Y = y, Z = z ed indichiamo con α$_1$, β$_1$, γ$_1$ i coseni degli angoli che la tangente alla caratteristica nel punto (x, y, z) fa cogli assi; avremo:
| 6) | pα$_1$ + qβ$_1$ + rγ$_1$ = 0 |
| 7) | $\left[{\frac {\mathrm {dF'} }{\mathrm {dX} }}\right]\alpha _{1}+\left[{\frac {\mathrm {dF'} }{\mathrm {dY} }}\right]\beta _{1}+\left[{\frac {\mathrm {dF'} }{\mathrm {dZ} }}\right]\gamma _{1}=0$ |
ove i simboli:
$\left[{\frac {\mathrm {dF'} }{\mathrm {dX} }}\right],$ $\left[{\frac {\mathrm {dF'} }{\mathrm {dY} }}\right],$ $\left[{\frac {\mathrm {dF'} }{\mathrm {dZ} }}\right]$
esprimono i valori delle derivate:
${\frac {\mathrm {dF'} }{\mathrm {dX} }},$ ${\frac {\mathrm {dF'} }{\mathrm {dY} }},$ ${\frac {\mathrm {dF'} }{\mathrm {dZ} }}$
corrispondenti ad X = x, Y = y, Z = z.
Indicato ora con k ciascuno de’ rapporti eguali:
${\frac {\mathrm {P} }{p}},$ ${\frac {\mathrm {Q} }{q}},$ ${\frac {\mathrm {R} }{r}},$
deriviamo totalmente rispetto ad s le equazioni:
considerate come identiche, in virtù della sostituzione delle u, v, w (funzioni di x (s), y (s), z (s)) in luogo delle U, V, W. E si noti che la derivata totale di ciascuna delle quantità P, Q, R si comporrà di due parti: l’una relativa alla s implicita nelle u, v, w; l’altra relativa alla s che entra nelle coordinate esplicite. Derivando adunque le precedenti equazioni, e ponendo:
| ${\frac {\mathrm {dP} }{\mathrm {d} x}}=\mathrm {L} ,$ | ${\frac {\mathrm {dQ} }{\mathrm {d} z}}={\frac {\mathrm {dR} }{\mathrm {d} y}}=\mathrm {L} _{1},$ |
| ${\frac {\mathrm {dQ} }{\mathrm {d} y}}=\mathrm {M} ,$ | ${\frac {\mathrm {dR} }{\mathrm {d} x}}={\frac {\mathrm {dP} }{\mathrm {d} z}}=\mathrm {M} _{1},$ |
| ${\frac {\mathrm {dR} }{\mathrm {d} z}}=\mathrm {N} ,$ | ${\frac {\mathrm {dP} }{\mathrm {d} y}}={\frac {\mathrm {dQ} }{\mathrm {d} x}}=\mathrm {N} _{1},$ |
avremo:
* $\left[{\frac {\mathrm {dF'} }{\mathrm {dX} }}\right]$ + Lx’ + N$_1$y’ + M$_1$z’ = k’p + k (lx’ + n$_1$y’ + m$_1$z’), $\left[{\frac {\mathrm {dF'} }{\mathrm {dY} }}\right]$ + N$_1$x’ + My’ + L$_1$z’ = k’q + k (n$_1$x’ + my’ + l$_1$z’), $\left[{\frac {\mathrm {dF'} }{\mathrm {dZ} }}\right]$ + M$_1$x’ + L$_1$y’ + Nz’ = k’r + k (m$_1$x’ + l$_1$y’ + nz’),
ove gli accenti in alto significano derivate rispetto ad s.
Si moltiplichino le equazioni precedenti, ordinatamente, per α$_1$, β$_1$, γ$_1$ e si sommino i risultati; avuto riguardo alle (6), (7) e indicati con α, β, γ i coseni degli angoli che [p. 167 la tangente alla data linea (4) nel punto (x, y, z) fa cogli assi, cioè posto:
avremo:
| 8) | 0 = (L — kl) αα$_1$ + (L$_1$ — kl$_1$) (βγ$_1$ + γβ$_1$) + (M — km) ββ$_1$ + (M$_1$ — km$_1$) (γα$_1$ + αγ$_1$) + (N — kn) γγ$_1$ + (N$_1$ — kn$_1$) (αβ$_1$ + βα$_1$). |
Quest’è la relazione di reciprocità che lega fra loro le rette (α, β, γ), (α$_1$, β$_1$, γ$_1$) tangenti, l’una alla linea data e l’altra alla caratteristica della superficie inviluppo; cioè essa è, sotto altra forma, l’equazione di Bordoni nel caso del contatto di primo ordine.
Per la proprietà espressa dall’equazione (8), sembra conveniente chiamare tangenti coniugate le due rette in quistione, designandole coll’epiteto di coniugate ordinarie o dupiniane nel caso che le superficie (2) siano piane.
2. Per la normale comune alle superficie (1) e (3) nel punto (x, y, z) conduciamo due piani che passino rispettivamente per le due tangenti coniugate (α, β, γ), (α$_1$, β$_1$, γ$_1$). Siano d, d$_1$ i raggi di curvatura delle sezioni normali risultanti nella prima superficie, e D, D$_1$ i raggi di curvatura delle sezioni normali risultanti nella seconda superficie. Avremo le note equazioni:
| 9) | ${\frac {\sqrt {p^{2}+q^{2}+r^{2}}}{d}}$ = lα$^2$ + mβ$^2$ + nγ$^2$ + 2l$_1$βγ + 2m$_1$γα + 2n$_1$αβ, |
| 10) | ${\frac {\sqrt {p^{2}+q^{2}+r^{2}}}{d_{1}}}$ = lα$_1$$^2$ + mβ$_1$$^2$ + nγ$_1$$^2$ + 2l$_1$β$_1$γ$_1$ + 2m$_1$γ$_1$α$_1$ + 2n$_1$α$_1$β$_1$, |
${\frac {\sqrt {\mathrm {P} ^{2}+\mathrm {Q} ^{2}+\mathrm {R} ^{2}}}{\mathrm {D} }}$ = Lα$^2$ + Mβ$^2$ + Nγ$^2$ + 2L$_1$βγ + 2M$_1$γα + 2N$_1$αβ,
${\frac {\sqrt {\mathrm {P} ^{2}+\mathrm {Q} ^{2}+\mathrm {R} ^{2}}}{\mathrm {D} _{1}}}$ = Lα$_1$$^2$ + Mβ$_1$$^2$ + Nγ$_1$$^2$ + 2L$_1$β$_1$γ$_1$ + 2M$_1$γ$_1$α$_1$ + 2N$_1$α$_1$β$_1$,
da cui, avuto riguardo all’identità:
k$^2$ (p$^2$ + q$^2$ + r$^2$) = P$^2$ + Q$^2$ + R$^2$,
si ricava:
| $k{\sqrt {p^{2}+q^{2}+r^{2}}}\left({\frac {1}{\mathrm {D} }}-{\frac {1}{d}}\right)$ | = | (L — kl) α$^2$ + 2 (L$_1$ — kl$_1$) βγ |
| | + | (M — km) β$^2$ + 2 (M$_1$ — km$_1$) γα |
| | + | (N — kn) γ$^2$ + 2 (N$_1$ — kn$_1$) αβ, |
| $k{\sqrt {p^{2}+q^{2}+r^{2}}}\left({\frac {1}{\mathrm {D_{1}} }}-{\frac {1}{d_{1}}}\right)$ | = | (L — kl) α$_1$$^2$ + 2 (L$_1$ — kl$_1$) β$_1$γ$_1$ |
| | + | (M — km) β$_1$$^2$ + 2 (M$_1$ — km$_1$) γ$_1$α$_1$ |
| | + | (N — kn) γ$_1$$^2$ + 2 (N$_1$ — kn$_1$) α$_1$β$_1$. |
Queste due equazioni si moltiplichino fra loro, membro per membro, e dal risultato sottraggasi il quadrato della (8). Avuto riguardo alle note relazioni:
${\frac {\beta \gamma _{1}-\gamma \beta _{1}}{\operatorname {sen} \omega }}={\frac {p}{\sqrt {p^{2}+q^{2}+r^{2}}}},$ ${\frac {\gamma \alpha _{1}-\alpha \gamma _{1}}{\operatorname {sen} \omega }}={\frac {q}{\sqrt {p^{2}+q^{2}+r^{2}}}},$${\frac {\alpha \beta _{1}-\beta \alpha _{1}}{\operatorname {sen} \omega }}={\frac {r}{\sqrt {p^{2}+q^{2}+r^{2}}}},$
ove ω è l’angolo delle rette (α, β, γ), (α$_1$, β$_1$, γ$_1$), il risultato può scriversi così:
${\frac {k^{2}(p^{2}+q^{2}+r^{2})}{\operatorname {sen} ^{2}\omega }}\left({\frac {1}{\mathrm {D} }}-{\frac {1}{d}}\right)\left({\frac {1}{\mathrm {D} _{1}}}-{\frac {1}{d_{1}}}\right)=$$={\begin{vmatrix}p&\mathrm {L} -kl&\mathrm {N} _{1}-kn_{1}&\mathrm {M} _{1}-km_{1}\\q&\mathrm {N} _{1}-kn_{1}&\mathrm {M} -km&\mathrm {L} _{1}-kl_{1}\\r&\mathrm {M} _{1}-km_{1}&\mathrm {L} _{1}-kl_{1}&\mathrm {N} -kn\\0&p&q&r\end{vmatrix}}=\Phi +k\Upsilon +k^{2}\Theta .$
Siano δ, δ$_1$ i raggi di massima e minima curvatura della superficie (1) nel punto (x, y, z); per una nota formola di Gauss avremo:
$\Theta ={\frac {(p^{2}+q^{2}+r^{2})^{2}}{\delta \delta _{1}}}.$
La quantità Φ ha l’analogo significato rispetto alla superficie inviluppata. Ma noi supporremo che per questa il punto (x, y, z) sia un ombelico, ed indicheremo con Δ il corrispondente raggio di curvatura, onde sarà D = D$_1$ = Δ. Avremo dunque:
$\Phi ={\frac {k^{2}(p^{2}+q^{2}+r^{2})^{2}}{\Delta ^{2}}}.$
L’espressione $\Upsilon$ può scriversi così:
$\Upsilon$ = — l (Nq$^2$ + Mr$^2$ — 2L$_1$ qr) + 2l$_1$ (p (L$_1$p — M$_1$q — N$_1$r) + Lqr) — m (Lr$^2$ + Np$^2$ — 2M$_1$ rp) + 2m$_1$ (q (— L$_1$p + M$_1$q — N$_1$r) + Mrp) — n (Mp$^2$ + Lq$^2$ — 2N$_1$ pq) + 2n$_1$ (r (— L$_1$p — M$_1$q + N$_1$r) + Npq)
Ma per le proprietà caratteristiche degli ombelichi, si hanno le seguenti formole date dal prof. Chelini nella sua elegantissima memoria sulle formole fondamentali risguardanti la curvatura delle superficie e delle linee:
${\frac {\mathrm {N} q^{2}+\mathrm {M} r^{2}-2\mathrm {L} _{1}qr}{q^{2}+r^{2}}}={\frac {p(\mathrm {L} _{1}p-\mathrm {M} _{1}q-\mathrm {N} _{1}r)+\mathrm {L} qr}{qr}}$ $={\frac {\mathrm {L} r^{2}+\mathrm {N} p^{2}-2\mathrm {M} _{1}rp}{r^{2}+p^{2}}}={\frac {q(-\mathrm {L} _{1}p+\mathrm {M} _{1}q-\mathrm {N} _{1}r)+\mathrm {M} rp}{rp}}$ $={\frac {\mathrm {M} p^{2}+\mathrm {L} q^{2}-2\mathrm {N} _{1}pq}{p^{2}+q^{2}}}={\frac {r(-\mathrm {L} _{1}p-\mathrm {M} _{1}q+\mathrm {N} _{1}r)+\mathrm {N} pq}{pq}}$ $={\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }};$
quindi:
$\Upsilon =-{\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}\times {\begin{Bmatrix}(m+n)p^{2}-2l_{1}qr\\+(n+l)q^{2}-2m_{1}rp\\+(l+m)r^{2}-2n_{1}pq\end{Bmatrix}}.$
Ma si ha inoltre:
(m + n) p$^2$ + (n + l) q$^2$ + (l + m) r$^2$ — 2l$_1$qr — 2m$_1$rp — 2n$_1$pq $=(p^{2}+q^{2}+r^{2})^{\frac {3}{2}}\left({\frac {1}{\delta }}+{\frac {1}{\delta _{1}}}\right),$
onde:
$\Upsilon =-{\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}\left({\frac {1}{\delta }}+{\frac {1}{\delta _{1}}}\right).$
Otteniamo dunque finalmente:
| 11) | $\left({\frac {1}{\Delta }}-{\frac {1}{d}}\right)\left({\frac {1}{\Delta }}-{\frac {1}{d_{1}}}\right)=\operatorname {sen} ^{2}\omega \left({\frac {1}{\Delta }}-{\frac {1}{\delta }}\right)\left({\frac {1}{\Delta }}-{\frac {1}{\delta _{1}}}\right).$ |
3. Le citate equazioni del prof. Chelini, relative agli ombelichi della superficie, somministrano anche:
$\mathrm {L} ={\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}-{\frac {p}{qr}}(\mathrm {L} _{1}p-\mathrm {M} _{1}q-\mathrm {N} _{1}r),$ $\mathrm {M} ={\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}-{\frac {q}{rp}}(-\mathrm {L} _{1}p+\mathrm {M} _{1}q-\mathrm {N} _{1}r),$$\mathrm {N} ={\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}-{\frac {r}{pq}}(-\mathrm {L} _{1}p-\mathrm {M} _{1}q+\mathrm {N} _{1}r),$
e per conseguenza:
${\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}$
${\frac {\mathrm {L} _{1}}{qr}}$
${\frac {\mathrm {M} _{1}}{rp}}$
${\frac {\mathrm {N} _{1}}{pq}}$
d’onde, avuto riguardo alle identità:
otteniamo:
${\frac {k{\sqrt {p^{2}+q^{2}+r^{2}}}}{\Delta }}$
Perciò all’equazione (8) può darsi la forma:
| 12) | ${\frac {\sqrt {p^{2}+q^{2}+r^{2}}}{\Delta }}$ cos ω = lαα$_1$ + l$_1$ (βγ$_1$ + γβ$_1$) + mββ$_1$ + m$_1$ (γα$_1$ + αγ$_1$) + nγγ$_1$ + n$_1$ (αβ$_1$ + βα$_1$). |
Si moltiplichino fra loro le equazioni (9), (10) e dal risultato si sottragga il quadrato della (12). Avremo:
$(p^{2}+q^{2}+r^{2})\left({\frac {1}{dd_{1}}}-{\frac {\cos ^{2}\omega }{\Delta ^{2}}}\right)={\frac {\operatorname {sen} ^{2}\omega }{p^{2}+q^{2}+r^{2}}}\Theta ,$
cioè:
| 13) | $\left({\frac {1}{dd_{1}}}-{\frac {\cos ^{2}\omega }{\Delta ^{2}}}\right)={\frac {\operatorname {sen} ^{2}\omega }{\delta \delta _{1}}}.$ |
4. Nel caso che studiamo, cioè che le superficie inviluppate siano qualsivogliano, ma che per ciascuna di esse il punto di contatto colla data sia un ombelico, chiameremo le due rette (α, β, γ), (α$_1$, β$_1$, γ$_1$), tangenti sferoconiugate, perchè le equazioni (11) e (13), che ne esprimono le proprietà, sono identiche a quelle che si otterrebbero supponendo le inviluppate sferiche.
Al sistema delle equazioni (11), (13) equivale il seguente:
| 14) | ${\frac {1}{d}}+{\frac {1}{d_{1}}}-{\frac {2}{\Delta }}=\operatorname {sen} ^{2}\omega \left({\frac {1}{\delta }}+{\frac {1}{\delta _{1}}}-{\frac {2}{\Delta }}\right),$ |
| 15) | ${\frac {1}{dd_{1}}}-{\frac {1}{\Delta ^{2}}}=\operatorname {sen} ^{2}\omega \left({\frac {1}{\delta \delta _{1}}}-{\frac {1}{\Delta ^{2}}}\right),$ |
dalle quali eliminando sen$^2$ ω si ha la:
$\left({\frac {1}{d}}+{\frac {1}{d_{1}}}\right)\left({\frac {1}{\delta \delta _{1}}}-{\frac {1}{\Delta ^{2}}}\right)-{\frac {1}{dd_{1}}}\left({\frac {1}{\delta }}+{\frac {1}{\delta _{1}}}-{\frac {2}{\Delta }}\right)$ $+{\frac {1}{\Delta }}\left({\frac {1}{\Delta \delta }}+{\frac {1}{\Delta \delta _{1}}}-{\frac {2}{\delta \delta _{1}}}\right)=0,$
relazione fra i raggi d, d$_1$ di due sezioni normali a tangenti sferoconiugate. Se ω = 90°, le (14), (15) danno i raggi d, d$_1$ eguali ai raggi δ, δ$_1$; dunque:
In un punto qualunque di una data superficie curva, le linee di curvatura hanno le tangenti sferoconiugate. Le sole linee ortogonali che abbiano le tangenti sferoconiugate sono le linee di curvatura.
Noi riterremo che il raggio Δ non varii che al variare del punto (x, y, z) sulla data superficie. Ciò ha luogo per es. supponendo che le inviluppate siano sfere di raggio [p. 172 costante, o sfere passanti per uno stesso punto dato nello spazio, o sfere aventi i rispettivi centri in un dato piano, ecc.
Ciò premesso, le formole (11), (14), (15) esprimono che in un punto dato di una superficie curva data, qualunque siano due sezioni normali a tangenti sferoconiugate, comprendenti l’angolo ω e aventi i raggi di curvatura d, d$_1$, le quantità:
$\left({\frac {1}{\Delta }}-{\frac {1}{d}}\right)\left({\frac {1}{\Delta }}-{\frac {1}{d_{1}}}\right):\operatorname {sen} ^{2}\omega ,$ $\left({\frac {1}{d}}+{\frac {1}{d_{1}}}+{\frac {2}{\Delta }}\right):\operatorname {sen} ^{2}\omega ,$$\left({\frac {1}{dd_{1}}}-{\frac {1}{\Delta ^{2}}}\right):\operatorname {sen} ^{2}\omega$
sono costanti.
5. Siano θ, θ$_1$ gli angoli che le due rette (α, β, γ), (α$_1$, β$_1$, γ$_1$) comprendono con una linea di curvatura della data superficie, nel punto (x, y, z). Avremo, pel noto teorema di Eulero:
${\frac {1}{d}}={\frac {\cos ^{2}\theta }{\delta }}+{\frac {\operatorname {sen} ^{2}\theta }{\delta _{1}}},$ ${\frac {1}{d_{1}}}={\frac {\cos ^{2}\theta _{1}}{\delta }}+{\frac {\operatorname {sen} ^{2}\theta _{1}}{\delta _{1}}}.$
Questi valori sostituiti nella (14) danno:
${\frac {\cos \theta .\cos \theta _{1}}{\delta }}+{\frac {\operatorname {sen} \theta .\operatorname {sen} \theta _{1}}{\delta _{1}}}={\frac {\cos(\theta -\theta _{1})}{\Delta }},$
ossia:
| 16) | $\operatorname {tang} \theta .\operatorname {tang} \theta _{1}=-{\frac {{\frac {1}{\Delta }}-{\frac {1}{\delta }}}{{\frac {1}{\Delta }}-{\frac {1}{\delta _{1}}}}},$ |
relazione fra gli angoli che una linea di curvatura fa con due tangenti sferoconiugate. Cioè:
In un punto dato di una data superficie curva, il prodotto delle tangenti trigonometriche degli angoli che due rette tangenti sferoconiugate qualsivogliano fanno con una stessa linea di curvatura è costante.
Segue da ciò:
In un punto dato di una data superficie curva, le coppie di rette tangenti sferoconiugate sono in involuzione.
Le rette doppie di questa involuzione sono le tangenti di quelle due sezioni normali, egualmente inclinate ad una stessa linea di curvatura, per le quali il raggio del circolo osculatore è uguale a Δ. Tali rette doppie sono reali o immaginarie [p. 173 secondo che le quantità:
${\frac {1}{\Delta }}-{\frac {1}{\delta }},$ ${\frac {1}{\Delta }}-{\frac {1}{\delta _{1}}}$
abbiano segni contrari o eguali.
È ovvio che per dedurre le proprietà delle tangenti coniugate di Dupin da quelle dimostrate in questa nota, basta porre ${\frac {1}{\Delta }}$ = 0.
6. Dati i coseni (α, β, γ) della direzione di una retta tangente alla superficie (1), proponiamoci di trovare i coseni (α$_1$, β$_1$, γ$_1$) della tangente sferoconiugata.
Indicando con a, b, c i coseni degli angoli che la normale alla superficie (1) nel punto (x, y, z) fa cogli assi, si ha:
$a{\sqrt {p^{2}+q^{2}+r^{2}}}=p,$ $b{\sqrt {p^{2}+q^{2}+r^{2}}}=q,$ $c{\sqrt {p^{2}+q^{2}+r^{2}}}=r,$
e derivando rispetto ad s, arco di una linea qualsivoglia tracciata sulla superficie data e toccata dalla retta (α, β, γ) nel punto (x, y, z):
$a({\sqrt {p^{2}+q^{2}+r^{2}}})'+a'{\sqrt {p^{2}+q^{2}+r^{2}}}=l\alpha +n_{1}\beta +m_{1}\gamma$ $b({\sqrt {p^{2}+q^{2}+r^{2}}})'+b'{\sqrt {p^{2}+q^{2}+r^{2}}}=n_{1}\alpha +m\beta +l_{1}\gamma$$c({\sqrt {p^{2}+q^{2}+r^{2}}})'+c'{\sqrt {p^{2}+q^{2}+r^{2}}}=m_{1}\alpha +l_{1}\beta +n\gamma .$
Si moltiplichino queste equazioni ordinatamente per α$_1$, β$_1$, γ$_1$ e si sommino i risultati:
$(a'\alpha _{1}+b'\beta _{1}+c'\gamma _{1}){\sqrt {p^{2}+q^{2}+r^{2}}}=l\alpha \alpha _{1}+l_{1}(\beta \gamma _{1}+\gamma \beta _{1})$$+m\beta \beta _{1}+m_{1}(\gamma \alpha _{1}+\alpha \gamma _{1})+n\gamma \gamma _{1}+n_{1}(\alpha \beta _{1}+\beta \alpha _{1}),$
quindi la (12) potrà scriversi così:
Da questa equazione e dalle:
si ricava:
$\alpha _{1}={\frac {b\gamma -c\beta -\Delta (bc'-cb')}{h}},$ $\beta _{1}={\frac {c\alpha -a\gamma -\Delta (ca'-ac')}{h}},$$\gamma _{1}={\frac {a\beta -b\alpha -\Delta (ab'-ba')}{h}}$
ove:
Ora, per una formola di Ossian Bonnet si ha:
$a'^{2}+b'^{2}+c'^{2}={\frac {\cos ^{2}\theta }{\delta ^{2}}}+{\frac {\operatorname {sen} ^{2}\theta }{\delta _{1}^{2}}}$
ossia, introducendo il raggio d mediante il noto teorema euleriano:
$a'^{2}+b'^{2}+c'^{2}={\frac {\delta +\delta _{1}-d}{\delta \delta _{1}d}}.$
Inoltre si ha:
$a'\alpha +b'\beta +c'\gamma ={\frac {1}{d}},$
onde:
${\frac {h^{2}}{\Delta ^{2}}}=\left({\frac {1}{\Delta }}-{\frac {1}{d}}\right)^{2}-\left({\frac {1}{\delta }}-{\frac {1}{d}}\right)\left({\frac {1}{\delta _{1}}}-{\frac {1}{d}}\right).$
I coseni degli angoli che fa cogli assi la tangente coniugata ordinaria di quella data per mezzo de’ coseni (α, β, γ) sono proporzionali alle quantità:
bc’ — cb’, ca’ — ac’, ab’ — ba’,
dunque, perchè la tangente sferoconiugata coincida colla coniugata dupiniana, dev’essere:
${\frac {b\gamma -c\beta }{bc'-cb'}}={\frac {c\alpha -a\gamma }{ca'-ac'}}={\frac {a\beta -b\alpha }{ab'-ba'}},$
da cui si hanno le:
che sono le equazioni di una linea di curvatura, date dal prof. Brioschi nella sua bella memoria sulle proprietà di una linea tracciata sopra una superficie. Dunque:
Le sole linee di curvatura sono simultaneamente coniugate ordinarie e sferoconiugate.
7. Il centro della curvatura ombelicale per la superficie inviluppata (3) è il punto che ha per coordinate:
il quale appartiene alla normale della data superficie nel punto (x, y, z), epperò è situato sulla superficie gobba formata dalle normali della medesima superficie lungo la data linea (4). Quali sono i coseni degli angoli che fa cogli assi la normale a questa superficie gobba in quel punto (u, v, w)?
Se immaginiamo la retta tangente alla superficie gobba in questo punto e perpendicolare alla generatrice rettilinea (a, b, c), i coseni della direzione di quella retta sono evidentemente proporzionali alle quantità:
x’ — Δa’, y’ — Δb’, z’ — Δc’,
Quindi i coseni per la normale alla superficie gobba saranno proporzionali alle quantità:
b (z’ — Δc’) — c (y’ — Δb’), c (x’ — Δa’) — a (z’ — Δc’), a (y’ — Δb’) — b (x’ — Δa’)
cioè la normale alla superficie gobba nel punto (u, v, w) è parallela alla retta (α$_1$, β$_1$, γ$_1$) tangente sferoconiugata di quella che tocca la linea data nel punto (x, y, z).
* ↑ Opuscoli matematici e fisici di diversi autori. Tomo I, Milano 1832.
* ↑ Io ho già trattato quest’argomento, pel caso che le inviluppate siano sfere, in una nota inserita negli Annali di scienze matematiche e fisiche (Roma 1855). Ora riprendo la quistione per darle maggior generalità ed anche per rimediare ad un errore occorso in quella nota, benchè senza influenza sui principali risultati.
* ↑ Disquisitiones generales circa superficies curvas.
* ↑ Annali di scienze matematiche e fisiche. Roma 1853.
* ↑ Ibidem.
* ↑ Journal de l’École Polytechnique, 32$^e$ cahier, pag. 9.
* ↑ Annali di scienze matematiche e fisiche. Roma 1854.