Complex inequality $|a+b|le |a|+|b|$
$begingroup$
My textbook says if $a$ and $b$ are two complex numbers, then $$|a+b|le |a|+|b|,$$ and the equality holds if and only if $abar{b} ge 0$.
How can we say the equality holds if and only if $abar b ge 0$? I think $abar b$ is a complex number and complex numbers do not have order.
If we square both sides and cancel some terms, then we can see that the equality holds if Re$(abar b) = |a||b|$.
It is on page 9 of Ahlfors' Complex Analysis.
complex-analysis proof-verification complex-numbers proof-explanation
$endgroup$
add a comment |
$begingroup$
My textbook says if $a$ and $b$ are two complex numbers, then $$|a+b|le |a|+|b|,$$ and the equality holds if and only if $abar{b} ge 0$.
How can we say the equality holds if and only if $abar b ge 0$? I think $abar b$ is a complex number and complex numbers do not have order.
If we square both sides and cancel some terms, then we can see that the equality holds if Re$(abar b) = |a||b|$.
It is on page 9 of Ahlfors' Complex Analysis.
complex-analysis proof-verification complex-numbers proof-explanation
$endgroup$
1
$begingroup$
What they mean with "$abar bgeqslant0$" is that $abar b$ should be a nonnegative real number. Yes, this is sloppy writing.
$endgroup$
– Did
Dec 31 '18 at 21:33
$begingroup$
See the parenthesis in Ahlfors immediately after this point: it is convenient to let $c>0$ indicate that $c$ is real and positive.
$endgroup$
– GEdgar
Dec 31 '18 at 21:53
$begingroup$
We can show $abar b$ is nonnegative real number by expanding $abar b$ and notice that its imaginary part is zero since we have the relation Re$(abar b) = |a||b|$.
$endgroup$
– user398843
Dec 31 '18 at 21:59
add a comment |
$begingroup$
My textbook says if $a$ and $b$ are two complex numbers, then $$|a+b|le |a|+|b|,$$ and the equality holds if and only if $abar{b} ge 0$.
How can we say the equality holds if and only if $abar b ge 0$? I think $abar b$ is a complex number and complex numbers do not have order.
If we square both sides and cancel some terms, then we can see that the equality holds if Re$(abar b) = |a||b|$.
It is on page 9 of Ahlfors' Complex Analysis.
complex-analysis proof-verification complex-numbers proof-explanation
$endgroup$
My textbook says if $a$ and $b$ are two complex numbers, then $$|a+b|le |a|+|b|,$$ and the equality holds if and only if $abar{b} ge 0$.
How can we say the equality holds if and only if $abar b ge 0$? I think $abar b$ is a complex number and complex numbers do not have order.
If we square both sides and cancel some terms, then we can see that the equality holds if Re$(abar b) = |a||b|$.
It is on page 9 of Ahlfors' Complex Analysis.
complex-analysis proof-verification complex-numbers proof-explanation
complex-analysis proof-verification complex-numbers proof-explanation
asked Dec 31 '18 at 21:26
user398843user398843
689316
689316
1
$begingroup$
What they mean with "$abar bgeqslant0$" is that $abar b$ should be a nonnegative real number. Yes, this is sloppy writing.
$endgroup$
– Did
Dec 31 '18 at 21:33
$begingroup$
See the parenthesis in Ahlfors immediately after this point: it is convenient to let $c>0$ indicate that $c$ is real and positive.
$endgroup$
– GEdgar
Dec 31 '18 at 21:53
$begingroup$
We can show $abar b$ is nonnegative real number by expanding $abar b$ and notice that its imaginary part is zero since we have the relation Re$(abar b) = |a||b|$.
$endgroup$
– user398843
Dec 31 '18 at 21:59
add a comment |
1
$begingroup$
What they mean with "$abar bgeqslant0$" is that $abar b$ should be a nonnegative real number. Yes, this is sloppy writing.
$endgroup$
– Did
Dec 31 '18 at 21:33
$begingroup$
See the parenthesis in Ahlfors immediately after this point: it is convenient to let $c>0$ indicate that $c$ is real and positive.
$endgroup$
– GEdgar
Dec 31 '18 at 21:53
$begingroup$
We can show $abar b$ is nonnegative real number by expanding $abar b$ and notice that its imaginary part is zero since we have the relation Re$(abar b) = |a||b|$.
$endgroup$
– user398843
Dec 31 '18 at 21:59
1
1
$begingroup$
What they mean with "$abar bgeqslant0$" is that $abar b$ should be a nonnegative real number. Yes, this is sloppy writing.
$endgroup$
– Did
Dec 31 '18 at 21:33
$begingroup$
What they mean with "$abar bgeqslant0$" is that $abar b$ should be a nonnegative real number. Yes, this is sloppy writing.
$endgroup$
– Did
Dec 31 '18 at 21:33
$begingroup$
See the parenthesis in Ahlfors immediately after this point: it is convenient to let $c>0$ indicate that $c$ is real and positive.
$endgroup$
– GEdgar
Dec 31 '18 at 21:53
$begingroup$
See the parenthesis in Ahlfors immediately after this point: it is convenient to let $c>0$ indicate that $c$ is real and positive.
$endgroup$
– GEdgar
Dec 31 '18 at 21:53
$begingroup$
We can show $abar b$ is nonnegative real number by expanding $abar b$ and notice that its imaginary part is zero since we have the relation Re$(abar b) = |a||b|$.
$endgroup$
– user398843
Dec 31 '18 at 21:59
$begingroup$
We can show $abar b$ is nonnegative real number by expanding $abar b$ and notice that its imaginary part is zero since we have the relation Re$(abar b) = |a||b|$.
$endgroup$
– user398843
Dec 31 '18 at 21:59
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Note that
$$
operatorname{Re}(abar b)=|a||b|=|ab|=|abar b|
$$
if and only if $operatorname{Im}(abar b)=0$ and $abar bge 0$, so $abar b$ has to be real.
$endgroup$
1
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
add a comment |
$begingroup$
The inequality holds if and only if $|a+b|^2le(|a|+|b|)^2$ holds, which becomes
$$
|a|^2+abar{b}+bar{a}b+|b|^2le |a|^2+2|a|,|b|+|b|^2
$$
We can cancel real terms from both sides and still get an equivalent inequality:
$$
abar{b}+bar{a}ble2|a|,|b| tag{*}
$$
This surely holds and is strict if $abar{b}+bar{a}b<0$ (following Ahlfors's convention that $c>0$ means that $c$ is real and positive).
Let's suppose $abar{b}+bar{a}bge0$. Then squaring is allowed and yields an equivalent inequality:
$$
a^2bar{b}^2+2abar{a}bbar{b}+bar{a}^2b^2le 4abar{a}bbar{b}
$$
that is, moving the (real) right-hand side to the left
$$
(abar{b}-bar{a}b)^2le0
$$
which is true, because $abar{b}-bar{a}b$ is purely imaginary.
A necessary condition for having an equality is that $abar{b}=bar{a}b$, that is $abar{b}$ is real. Together with (*) we obtain $abar{b}=2|a|,|b|ge0$.
$endgroup$
add a comment |
$begingroup$
Think of $a$ and $b$ as being planar vectors. Draw the parallelogram and apply the parallelogram law. You will see the geometric meaning of this immediately.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3058050%2fcomplex-inequality-ab-le-ab%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Note that
$$
operatorname{Re}(abar b)=|a||b|=|ab|=|abar b|
$$
if and only if $operatorname{Im}(abar b)=0$ and $abar bge 0$, so $abar b$ has to be real.
$endgroup$
1
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
add a comment |
$begingroup$
Note that
$$
operatorname{Re}(abar b)=|a||b|=|ab|=|abar b|
$$
if and only if $operatorname{Im}(abar b)=0$ and $abar bge 0$, so $abar b$ has to be real.
$endgroup$
1
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
add a comment |
$begingroup$
Note that
$$
operatorname{Re}(abar b)=|a||b|=|ab|=|abar b|
$$
if and only if $operatorname{Im}(abar b)=0$ and $abar bge 0$, so $abar b$ has to be real.
$endgroup$
Note that
$$
operatorname{Re}(abar b)=|a||b|=|ab|=|abar b|
$$
if and only if $operatorname{Im}(abar b)=0$ and $abar bge 0$, so $abar b$ has to be real.
edited Dec 31 '18 at 21:34
answered Dec 31 '18 at 21:31
A.Γ.A.Γ.
22.9k32656
22.9k32656
1
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
add a comment |
1
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
1
1
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
If $a=1$, $b=-1$, then $operatorname{Im}(abar b)=0$, but $operatorname{Re}(abar b)ne|abar b|$.
$endgroup$
– Martin Argerami
Dec 31 '18 at 21:33
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
$begingroup$
@MartinArgerami That's true, thanks.
$endgroup$
– A.Γ.
Dec 31 '18 at 21:36
add a comment |
$begingroup$
The inequality holds if and only if $|a+b|^2le(|a|+|b|)^2$ holds, which becomes
$$
|a|^2+abar{b}+bar{a}b+|b|^2le |a|^2+2|a|,|b|+|b|^2
$$
We can cancel real terms from both sides and still get an equivalent inequality:
$$
abar{b}+bar{a}ble2|a|,|b| tag{*}
$$
This surely holds and is strict if $abar{b}+bar{a}b<0$ (following Ahlfors's convention that $c>0$ means that $c$ is real and positive).
Let's suppose $abar{b}+bar{a}bge0$. Then squaring is allowed and yields an equivalent inequality:
$$
a^2bar{b}^2+2abar{a}bbar{b}+bar{a}^2b^2le 4abar{a}bbar{b}
$$
that is, moving the (real) right-hand side to the left
$$
(abar{b}-bar{a}b)^2le0
$$
which is true, because $abar{b}-bar{a}b$ is purely imaginary.
A necessary condition for having an equality is that $abar{b}=bar{a}b$, that is $abar{b}$ is real. Together with (*) we obtain $abar{b}=2|a|,|b|ge0$.
$endgroup$
add a comment |
$begingroup$
The inequality holds if and only if $|a+b|^2le(|a|+|b|)^2$ holds, which becomes
$$
|a|^2+abar{b}+bar{a}b+|b|^2le |a|^2+2|a|,|b|+|b|^2
$$
We can cancel real terms from both sides and still get an equivalent inequality:
$$
abar{b}+bar{a}ble2|a|,|b| tag{*}
$$
This surely holds and is strict if $abar{b}+bar{a}b<0$ (following Ahlfors's convention that $c>0$ means that $c$ is real and positive).
Let's suppose $abar{b}+bar{a}bge0$. Then squaring is allowed and yields an equivalent inequality:
$$
a^2bar{b}^2+2abar{a}bbar{b}+bar{a}^2b^2le 4abar{a}bbar{b}
$$
that is, moving the (real) right-hand side to the left
$$
(abar{b}-bar{a}b)^2le0
$$
which is true, because $abar{b}-bar{a}b$ is purely imaginary.
A necessary condition for having an equality is that $abar{b}=bar{a}b$, that is $abar{b}$ is real. Together with (*) we obtain $abar{b}=2|a|,|b|ge0$.
$endgroup$
add a comment |
$begingroup$
The inequality holds if and only if $|a+b|^2le(|a|+|b|)^2$ holds, which becomes
$$
|a|^2+abar{b}+bar{a}b+|b|^2le |a|^2+2|a|,|b|+|b|^2
$$
We can cancel real terms from both sides and still get an equivalent inequality:
$$
abar{b}+bar{a}ble2|a|,|b| tag{*}
$$
This surely holds and is strict if $abar{b}+bar{a}b<0$ (following Ahlfors's convention that $c>0$ means that $c$ is real and positive).
Let's suppose $abar{b}+bar{a}bge0$. Then squaring is allowed and yields an equivalent inequality:
$$
a^2bar{b}^2+2abar{a}bbar{b}+bar{a}^2b^2le 4abar{a}bbar{b}
$$
that is, moving the (real) right-hand side to the left
$$
(abar{b}-bar{a}b)^2le0
$$
which is true, because $abar{b}-bar{a}b$ is purely imaginary.
A necessary condition for having an equality is that $abar{b}=bar{a}b$, that is $abar{b}$ is real. Together with (*) we obtain $abar{b}=2|a|,|b|ge0$.
$endgroup$
The inequality holds if and only if $|a+b|^2le(|a|+|b|)^2$ holds, which becomes
$$
|a|^2+abar{b}+bar{a}b+|b|^2le |a|^2+2|a|,|b|+|b|^2
$$
We can cancel real terms from both sides and still get an equivalent inequality:
$$
abar{b}+bar{a}ble2|a|,|b| tag{*}
$$
This surely holds and is strict if $abar{b}+bar{a}b<0$ (following Ahlfors's convention that $c>0$ means that $c$ is real and positive).
Let's suppose $abar{b}+bar{a}bge0$. Then squaring is allowed and yields an equivalent inequality:
$$
a^2bar{b}^2+2abar{a}bbar{b}+bar{a}^2b^2le 4abar{a}bbar{b}
$$
that is, moving the (real) right-hand side to the left
$$
(abar{b}-bar{a}b)^2le0
$$
which is true, because $abar{b}-bar{a}b$ is purely imaginary.
A necessary condition for having an equality is that $abar{b}=bar{a}b$, that is $abar{b}$ is real. Together with (*) we obtain $abar{b}=2|a|,|b|ge0$.
answered Dec 31 '18 at 22:07
egregegreg
185k1486206
185k1486206
add a comment |
add a comment |
$begingroup$
Think of $a$ and $b$ as being planar vectors. Draw the parallelogram and apply the parallelogram law. You will see the geometric meaning of this immediately.
$endgroup$
add a comment |
$begingroup$
Think of $a$ and $b$ as being planar vectors. Draw the parallelogram and apply the parallelogram law. You will see the geometric meaning of this immediately.
$endgroup$
add a comment |
$begingroup$
Think of $a$ and $b$ as being planar vectors. Draw the parallelogram and apply the parallelogram law. You will see the geometric meaning of this immediately.
$endgroup$
Think of $a$ and $b$ as being planar vectors. Draw the parallelogram and apply the parallelogram law. You will see the geometric meaning of this immediately.
answered Dec 31 '18 at 23:52
ncmathsadistncmathsadist
43.1k260103
43.1k260103
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3058050%2fcomplex-inequality-ab-le-ab%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
What they mean with "$abar bgeqslant0$" is that $abar b$ should be a nonnegative real number. Yes, this is sloppy writing.
$endgroup$
– Did
Dec 31 '18 at 21:33
$begingroup$
See the parenthesis in Ahlfors immediately after this point: it is convenient to let $c>0$ indicate that $c$ is real and positive.
$endgroup$
– GEdgar
Dec 31 '18 at 21:53
$begingroup$
We can show $abar b$ is nonnegative real number by expanding $abar b$ and notice that its imaginary part is zero since we have the relation Re$(abar b) = |a||b|$.
$endgroup$
– user398843
Dec 31 '18 at 21:59