Возьмем на
ортонормированную пару векторов
, а на
ортонормированную пару векторов
. Последнюю пару можно повернуть в
так, чтобы выполнилось условие
.
Т.к. плоскости
пересекаются только в нуле, векторы
образуют базис (не обязательно ортогональный). Определим линейный оператор
его действием на базисные векторы:
Можно проверить, что
сохраняет скалярные произведения базисных векторов, а значит, он ортогональный. У него есть (помимо прочих) два собственных вектора,
и
, соответствующие собственному значению
. Теперь можно выбрать уже ортонормированный базис
, так, чтобы
лежали в линейной оболочке
и
, а
в его ортогональном дополнении (т.е. линейной оболочке
и
). В этом базисе
будет иметь нужный вид. (Определитель матрицы оператора
в любом базисе единичный.)