Das ist soweit richtig.
Eine Anmerkung noch zu dem, was ich oben schrieb, nämlich "Weiter sollen a und b nicht negativ sein. Daraus folgt aber, dass die beiden Seiten der Ungleichung ebenfalls nicht negativ sein können" ist Quatsch, beide Seiten sind schon allein deswegen nicht negativ, weil Quadratwurzeln bzw. Summen von von Quadratwurzeln nicht negativ sein können.