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¢)-1A¢C¢=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 T_EX by T_TH, version 3.01.
On 5 Jan 2002, 23:17.