Page:Gauss - Recherches générales sur les surfaces courbes, 1852.djvu/26

Cette page a été validée par deux contributeurs.

( 24 )

naturellement,

$C^{3} T$	$=$		$α A {b^{'}}^{2} + β B {b^{'}}^{2} + γ C {b^{'}}^{2}$
		$-$	$2 α^{'} A b b^{'} - 2 β^{'} B b b^{'} - 2 γ^{'} C b b^{'}$
		$+$	$α^{″} A A b^{2} + β^{″} B b^{2} + γ^{″} C b^{2},$
$C^{3} U$	$=$	$-$	$α A a^{'} b^{'} - β B a^{'} b^{'} - γ C a^{'} b^{'}$
		$+$	$α^{'} A (a b^{'} + b a^{'}) + β^{'} B (a b^{'} + b a^{'}) + γ^{'} C (a b^{'} + b a^{'})$
		$-$	$α^{″} A a b - β^{″} B a b - γ^{'} C a b,$
$C^{3} V$	$=$		$α A {a^{'}}^{2} + β B {a^{'}}^{2} + γ C {a^{'}}^{2}$
		$-$	$2 α^{'} A a a^{'} - 2 β^{'} B a a^{'} - 2 γ^{'} C a a^{'}$
		$+$	$α^{″} A a^{2} + β^{″} B a^{2} + γ^{″} C a^{2} .$

Si donc, pour abréger, nous posons

(1)	$A α$	$+ B β$	$+ C γ$	$= D,$
(2)	$A α^{'}$	$+ B β^{'}$	$+ C γ^{'}$	$= D^{'},$
(3)	$A α^{″}$	$+ B β^{″}$	$+ C γ^{″}$	$= D^{″},$

on a

$C^{3} T$	$=$	$D {b^{'}}^{2} - 2 D^{'} b b^{'} + D^{″} b^{2},$
$C^{3} U$	$= -$	$D a^{'} b^{'} + D^{'} (a b^{'} + b a^{'}) - D^{″} a b,$
$C^{3} V$	$=$	$D {a^{'}}^{2} - 2 D^{'} a a^{'} + D^{″} a^{2} .$

De là, en faisant le développement,

C^{6} (T V - U^{2}) = (D D^{″} - {D^{'}}^{2}) (a b^{'} - b a^{'})^{2} = (D D^{″} - {D^{'}}^{2}) C^{2},

et, par conséquent, la formule, pour la mesure de la courbure,

k = \frac{D D^{″} - {D^{'}}^{2}}{(A^{2} + B^{2} + C^{2})^{2}} .

XI.

À l’aide de la formule que nous venons de trouver, nous en établirons une autre, qui doit être rangée parmi les théorèmes les plus féconds dans la doctrine des surfaces courbes. Introduisons les notations suivantes :

$a^{2}$	$+ b^{2}$	$+ c^{2}$	$= E,$
$a a^{'}$	$+ b b^{'}$	$+ c c^{'}$	$= F,$
${a^{'}}^{2}$	$+ {b^{'}}^{2}$	$+ {c^{'}}^{2}$	$= G,$