Возьмем на

ортонормированную пару векторов

, а на

ортонормированную пару векторов

. Последнюю пару можно повернуть в



так, чтобы выполнилось условие

.
Т.к. плоскости

пересекаются только в нуле, векторы

образуют базис (не обязательно ортогональный). Определим линейный оператор

его действием на базисные векторы:

Можно проверить, что

сохраняет скалярные произведения базисных векторов, а значит, он ортогональный. У него есть (помимо прочих) два собственных вектора,

и

, соответствующие собственному значению

. Теперь можно выбрать уже ортонормированный базис

, так, чтобы

лежали в линейной оболочке

и

, а

в его ортогональном дополнении (т.е. линейной оболочке

и

). В этом базисе

будет иметь нужный вид. (Определитель матрицы оператора

в любом базисе единичный.)