より， で割って とすると， よって とすると， とおくと Wallis の公式 を得る．

中間試験．

ベクトル空間 V を生成する有限個のベクトルのうち1次独立ないくつかを指定するとき，残りの中から補充して V の基底にすることができる，という定理． 基底の取り替えと正則行列． 線形代数の３つの補題． は の1次結合で， が1次独立ならば， 1次独立でな…