Cauchy の不等式と高次元空間の発見 - 数学工房