Lassenz1=X1+ ichj1,z2=X2+ ichj2
WoX1,j1,X2,j2∈R _
.
Dann,
|z1|2+ |z2|2− |z21+z22| ≤2| Az1+ bz2|2A2+B2≤ |z1|2+ |z2|2+ |z21+z22|
ist äquivalent zu
X21+j21+X22+j22−(X21−j21+X22−j22)2+ ( 2X1j1+ 2X2j2)2−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−√≤ 2( einX1+ bX2)2+ ( einj1+ bj2)2A2+B2≤X21+j21+X22+j22+(X21−j21+X22−j22)2+ ( 2X1j1+ 2X2j2)2−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−√
Es reicht also aus, dies zu beweisen
(X21−j21+X22−j22)2+ ( 2X1j1+ 2X2j2)2−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−√≥∣∣∣X21+j21+X22+j22− 2( einX1+ bX2)2+ ( einj1+ bj2)2A2+B2∣∣∣
Quadrieren der beiden Seiten,
(X21−j21+X22−j22)2+ ( 2X1j1+ 2X2j2)2≥(X21+j21+X22+j22− 2( einX1+ bX2)2+ ( einj1+ bj2)2A2+B2)2
was äquivalent ist
(X21−j21+X22−j22)2+ ( 2X1j1+ 2X2j2)2− (X21+j21+X22+j22)2≥− 4 (X21+j21+X22+j22)( einX1+ bX2)2+ ( einj1+ bj2)2A2+B2+ 4(( einX1+ bX2)2+ ( einj1+ bj2)2A2+B2)2
was äquivalent ist
− (X1j2−j1X2)2≥( einX1+ bX2)2+ ( einj1+ bj2)2A2+B2⋅− ( einX2− bX1)2− ( einj2− bj1)2A2+B2
Multiplizieren der beiden Seiten mit
− (A2+B2)2
,
(A2+B2)2(X1j2−j1X2)2≤ ((einX1+ bX2)2+ ( einj1+ bj2)2) ( ( einj2− bj1)2+ ( BX1− einX2)2)
Nun gilt diese Ungleichung durch die Cauchy-Schwarz-Ungleichung.
Labor bhattacharjee