@@Matthias Apsel > Eine Fallunterscheidung hilft weiter. Keine Fallunterscheidung aber auch. ;-b Warum kompliziert, wenn’s auch einfach geht? Bei den Termen _a_², _b_², _ab_ etc. denkt man™ doch gleich an die binomische Formel. (Und zwar an die, die tatsächlich eine binomische Formel ist.) Ich weiß nicht, was Der-Dennis da zusammengeschrieben hat; bei mir ist’s ein Dreizeiler: Für alle reellen _a_, _b_, _c_ (ohne Einschränkung auf nichtnegative) gilt: (_a_ − _b_)² + (_a_ − _c_)² + (_b_ − _c_)² >= 0 _a_² − 2_ab_ + _b_² + _a_² − 2_ac_ + _c_² + _b_² − 2_bc_ + _c_² >= 0 2_a_² + 2_b_² + 2_c_² >= 2_ab_ + 2_ac_ + 2_bc_ Das Durchzweiteilen überlasse ich euch. LLAP 🖖 -- _“I love to go to JS conferences to speak about how to avoid using JavaScript. Please learn CSS & HTML to reduce your JS code bloat.”_{: lang="en"} —Estelle Weyl