從三角形的餘弦定理出發，介紹到泛函分析的Hilbert空間。