証明:αとβが直交すると、任意の実数κとlに対して、kαとlβも直交する。

証明:αとβが直交すると、任意の実数κとlに対して、kαとlβも直交する。

αとβ直交(α、β)=0
(kα、lβ)=kl(α、β)=0のため、kαとlβも直交している