Odejmijmy te 2ab, 2bc, 2ac w prosty sposób: tworząc (a-b)^2, (a-c)^2 oraz (b-c)^2. I teraz zauważ, że:
I teraz tak. Jeśli X, Y, Z są wyrażeniami dowolnymi, to prawdziwa jest nierówność stąd zaczynamy od prawdziwej nierówności i doprowadzamy ją do równoważnej:
Odejmijmy te 2ab, 2bc, 2ac w prosty sposób: tworząc (a-b)^2, (a-c)^2 oraz (b-c)^2. I teraz zauważ, że:
I teraz tak. Jeśli X, Y, Z są wyrażeniami dowolnymi, to prawdziwa jest nierówność stąd zaczynamy od prawdziwej nierówności i doprowadzamy ją do równoważnej:
Co w zasadzie należało wykazać