>>958
2元と直交している|y|=rなるy∈R^kが取れるのは
シュミットの直交化法のアイデアから直接でてきます。

一般に(y,s)=0 が|y|=rなる任意のy∈R^kで成立しているならば
s=0がいえます。というのも |y|=rという縛りの中でも
R^kの直交基底がとれますので。
つまりこれも直交化法のアイデアから直接きます。