9.4 Cauchy-Schwarz 與三角不等式

把 Cauchy-Schwarz 與三角不等式當作內積空間中控制長度、夾角與等號條件的兩條核心估計。