O-1AO=







l1
0
0
0
:
A
0








dove A' é una matrice simmetrica (n-1)x(n-1). Per ipotesi induttiva esiste C' ortogonale (n-1)x(n-1) tale che
(C)-1AC=D diagonale
e quindi posto
C: =







1
0
0
0
:
C
0








segue
(C)-1O-1AOC=







l1
0
0
0
:
D
0








e quindi C:=OC é la matrice ortogonale cercata.


File translated from TEX by TTH, version 3.01.
On 5 Jan 2002, 23:17.