Surlethe wrote:I don't remember that specific problem, but I do remember a rather simplified form of it from first-year Calculus: x . |x|, which the teacher introduced, and we all went, "huh? oh" when he explained it.
You never had to deal with problems like: "Does there exist a triangle with sides {3,10,15}?" I wad under the impression that this was semistandard in grade school geometry classes; perhaps it's only in the schools around here. In any case, the common geometry result that the sum of any two sides of a triangle is greater than the third is but another form of the triangle inequality.
Surlethe wrote:I think it was along the lines of the method SpacedTeddyBear gave: break it out into components, and then muck through the algebra. Speaking of proofs, in your proof in the post immediately preceding mine, do you mean to prove it in R^n, instad of just the reals?
In R^n, of course. Imagine a summation over k forb all terms in which k appears, which makes the dot product look like x·y = x_k y_k and the norm-squared as |x|² = x_k². I've left the summation implicit because it doesn't carry over well in text.
If you prefer: [x·y]/[|x||y|] = Sum_k[ (x_k/|x|)(y/|y|) ] ≤ [1/2]Sum_k[ x_k²/|x|² + y_k²/|y|²] = 1, where again the inequality ab ≤ (1/2)(a²+b²) was used on the components and |x|,|y| are assumed to be nonzero, as having either of them zero makes x·y ≤ |x||y| trivial.