グラム・シュミットの正規直交化法
によって順に新しいベクトルを作っていくと、{u1, u2, ..., un} は新しい線型独立系になる。構成から、互いに直交していることは容易に分かる。