不等式への招待　第７章

>>739
LHS = |rcosφ| ≦ r = sqrt(|a^2 + b^2 + c^2|) ≦ sqrt(|a|^2 + |b|^2 + |c|^2) ≦ 2/3 (|a| + |b| + |c|) ≦ RHS

か