Short, clever proofs have played an immensely important role in the development of Mathematics. However, I can’t say I am a big fan of them. Mostly because I can never imagine myself coming up with those. Moreover, they don’t give a clear glimpse of the structure of what they prove. They just somehow manage to corroborate the conclusion of the proof with the axiomatic setup, which is not why people do Mathematics.
Today, I will try and decode some basic inequalities like (1) and (2).
(1) can also be written as . How do we change to get ? We add to it. We’re taking the same number , multiplying it by both and , and then adding the two products. One easy way to end this discussion right here is to note that . However, I’d prefer to make it even more elementary. Although I could write paragraphs on it, I’d suggest that the reader do the needful, considering all possibilities like , , etc.
(2) . One adds to it to make it equal to . The conclusion follows directly from here, using the same argument that was given for (1).
(1) is obviously a form of the AP>GP inequality and (2) is the Cauchy-Schwartz inequality. These proofs may seem less beautiful and clever than those given in textbooks. But the hope is you’d find these proofs more helpful.