Prove that if and
are real numbers then
.
Proof.
As is non-negative and
non-positive, one has
Eq. (1):
Eq. (2):
Combining Eq. (1) and Eq. (2),
,
or, Eq. (3): (the triangle inequality)
.
Applying the triangle inequality to , one gets
Eq. (4):
,
or, Eq. (4)’:
.
Applying the triangle inequality to , one gets
Eq. (5):
,
or, Eq. (5)’:
.
Applying the triangle inequality to , one gets
Eq. (6):
,
Roughwork.
or, Eq. (6)’:
Combining Eq. (5)’ and Eq. (6)’:
,
or, Eq. (7):
.
Combining Eq. (4)’ and Eq. (7), one obtains readily
.
QED
