9.4 Cauchy-Schwarz 与三角不等式

把 Cauchy-Schwarz 与三角不等式当作内积空间中控制长度、夹角与等号条件的两条核心估计。