Complex inequality proof [duplicate]












0












$begingroup$



This question already has an answer here:




  • Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$

    1 answer




If $z,sin mathbb{C}$ ( with norm less than $1$) then show that $left|frac{1-s/z}{1/z-overline{s}}right|<1$. I'm hoping for an algebraic proof but possibly also a proof by geometric means if possible ( even with a picture if possible).










share|cite|improve this question











$endgroup$



marked as duplicate by Martin R, Arnaud D., José Carlos Santos complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 18 at 13:48


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • 1




    $begingroup$
    An analytic way: Have a look at the automorphism group of the unit disk, and use the Schwarz lemma.
    $endgroup$
    – T. Bongers
    Jan 18 at 1:22












  • $begingroup$
    I don't see how to apply that theorem since $|f(0)|=|s|$ which isn't necessarily zero.
    $endgroup$
    – Squirtle
    Jan 18 at 1:37












  • $begingroup$
    You don't apply it to this function directly, but rather start by recognizing this as the value of an automorphism of $mathbb{D}$ evaluated at a point.
    $endgroup$
    – T. Bongers
    Jan 18 at 2:11






  • 2




    $begingroup$
    Possible duplicate of Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$
    $endgroup$
    – Martin R
    Jan 18 at 6:16












  • $begingroup$
    Also: math.stackexchange.com/q/1630930/42969, math.stackexchange.com/q/342181/42969.
    $endgroup$
    – Martin R
    Jan 18 at 6:17


















0












$begingroup$



This question already has an answer here:




  • Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$

    1 answer




If $z,sin mathbb{C}$ ( with norm less than $1$) then show that $left|frac{1-s/z}{1/z-overline{s}}right|<1$. I'm hoping for an algebraic proof but possibly also a proof by geometric means if possible ( even with a picture if possible).










share|cite|improve this question











$endgroup$



marked as duplicate by Martin R, Arnaud D., José Carlos Santos complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 18 at 13:48


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • 1




    $begingroup$
    An analytic way: Have a look at the automorphism group of the unit disk, and use the Schwarz lemma.
    $endgroup$
    – T. Bongers
    Jan 18 at 1:22












  • $begingroup$
    I don't see how to apply that theorem since $|f(0)|=|s|$ which isn't necessarily zero.
    $endgroup$
    – Squirtle
    Jan 18 at 1:37












  • $begingroup$
    You don't apply it to this function directly, but rather start by recognizing this as the value of an automorphism of $mathbb{D}$ evaluated at a point.
    $endgroup$
    – T. Bongers
    Jan 18 at 2:11






  • 2




    $begingroup$
    Possible duplicate of Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$
    $endgroup$
    – Martin R
    Jan 18 at 6:16












  • $begingroup$
    Also: math.stackexchange.com/q/1630930/42969, math.stackexchange.com/q/342181/42969.
    $endgroup$
    – Martin R
    Jan 18 at 6:17
















0












0








0


2



$begingroup$



This question already has an answer here:




  • Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$

    1 answer




If $z,sin mathbb{C}$ ( with norm less than $1$) then show that $left|frac{1-s/z}{1/z-overline{s}}right|<1$. I'm hoping for an algebraic proof but possibly also a proof by geometric means if possible ( even with a picture if possible).










share|cite|improve this question











$endgroup$





This question already has an answer here:




  • Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$

    1 answer




If $z,sin mathbb{C}$ ( with norm less than $1$) then show that $left|frac{1-s/z}{1/z-overline{s}}right|<1$. I'm hoping for an algebraic proof but possibly also a proof by geometric means if possible ( even with a picture if possible).





This question already has an answer here:




  • Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$

    1 answer








complex-analysis complex-numbers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 18 at 1:18







Squirtle

















asked Jan 18 at 1:08









SquirtleSquirtle

4,2331741




4,2331741




marked as duplicate by Martin R, Arnaud D., José Carlos Santos complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 18 at 13:48


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by Martin R, Arnaud D., José Carlos Santos complex-analysis
Users with the  complex-analysis badge can single-handedly close complex-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 18 at 13:48


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.










  • 1




    $begingroup$
    An analytic way: Have a look at the automorphism group of the unit disk, and use the Schwarz lemma.
    $endgroup$
    – T. Bongers
    Jan 18 at 1:22












  • $begingroup$
    I don't see how to apply that theorem since $|f(0)|=|s|$ which isn't necessarily zero.
    $endgroup$
    – Squirtle
    Jan 18 at 1:37












  • $begingroup$
    You don't apply it to this function directly, but rather start by recognizing this as the value of an automorphism of $mathbb{D}$ evaluated at a point.
    $endgroup$
    – T. Bongers
    Jan 18 at 2:11






  • 2




    $begingroup$
    Possible duplicate of Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$
    $endgroup$
    – Martin R
    Jan 18 at 6:16












  • $begingroup$
    Also: math.stackexchange.com/q/1630930/42969, math.stackexchange.com/q/342181/42969.
    $endgroup$
    – Martin R
    Jan 18 at 6:17
















  • 1




    $begingroup$
    An analytic way: Have a look at the automorphism group of the unit disk, and use the Schwarz lemma.
    $endgroup$
    – T. Bongers
    Jan 18 at 1:22












  • $begingroup$
    I don't see how to apply that theorem since $|f(0)|=|s|$ which isn't necessarily zero.
    $endgroup$
    – Squirtle
    Jan 18 at 1:37












  • $begingroup$
    You don't apply it to this function directly, but rather start by recognizing this as the value of an automorphism of $mathbb{D}$ evaluated at a point.
    $endgroup$
    – T. Bongers
    Jan 18 at 2:11






  • 2




    $begingroup$
    Possible duplicate of Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$
    $endgroup$
    – Martin R
    Jan 18 at 6:16












  • $begingroup$
    Also: math.stackexchange.com/q/1630930/42969, math.stackexchange.com/q/342181/42969.
    $endgroup$
    – Martin R
    Jan 18 at 6:17










1




1




$begingroup$
An analytic way: Have a look at the automorphism group of the unit disk, and use the Schwarz lemma.
$endgroup$
– T. Bongers
Jan 18 at 1:22






$begingroup$
An analytic way: Have a look at the automorphism group of the unit disk, and use the Schwarz lemma.
$endgroup$
– T. Bongers
Jan 18 at 1:22














$begingroup$
I don't see how to apply that theorem since $|f(0)|=|s|$ which isn't necessarily zero.
$endgroup$
– Squirtle
Jan 18 at 1:37






$begingroup$
I don't see how to apply that theorem since $|f(0)|=|s|$ which isn't necessarily zero.
$endgroup$
– Squirtle
Jan 18 at 1:37














$begingroup$
You don't apply it to this function directly, but rather start by recognizing this as the value of an automorphism of $mathbb{D}$ evaluated at a point.
$endgroup$
– T. Bongers
Jan 18 at 2:11




$begingroup$
You don't apply it to this function directly, but rather start by recognizing this as the value of an automorphism of $mathbb{D}$ evaluated at a point.
$endgroup$
– T. Bongers
Jan 18 at 2:11




2




2




$begingroup$
Possible duplicate of Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$
$endgroup$
– Martin R
Jan 18 at 6:16






$begingroup$
Possible duplicate of Show that $left|frac{alpha - beta}{1-bar{alpha}beta}right| < 1$ when $|alpha|,|beta| < 1$
$endgroup$
– Martin R
Jan 18 at 6:16














$begingroup$
Also: math.stackexchange.com/q/1630930/42969, math.stackexchange.com/q/342181/42969.
$endgroup$
– Martin R
Jan 18 at 6:17






$begingroup$
Also: math.stackexchange.com/q/1630930/42969, math.stackexchange.com/q/342181/42969.
$endgroup$
– Martin R
Jan 18 at 6:17












1 Answer
1






active

oldest

votes


















1












$begingroup$

Your inequality is equivalent to $|1 - s/z| < |1/z - bar{s}| iff |z - s|^2 < |1 - bar{s} z|^2$. Expanding yields
$$ z bar{z} + s bar{s} - z bar{s} - bar{z} s < 1 - z bar{z} s bar{s} - z bar{s} - s bar{z}$$
So we need to show $|z|^2 + |s|^2 < 1 + |s|^2|z|^2$. But this is equivalent to $0 < (1 - |z|^2) ( 1 - |s|^2)$ which is clearly true since $|z|, |s| < 1$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Seems obvious now. Thanks!
    $endgroup$
    – Squirtle
    Jan 18 at 1:46


















1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

Your inequality is equivalent to $|1 - s/z| < |1/z - bar{s}| iff |z - s|^2 < |1 - bar{s} z|^2$. Expanding yields
$$ z bar{z} + s bar{s} - z bar{s} - bar{z} s < 1 - z bar{z} s bar{s} - z bar{s} - s bar{z}$$
So we need to show $|z|^2 + |s|^2 < 1 + |s|^2|z|^2$. But this is equivalent to $0 < (1 - |z|^2) ( 1 - |s|^2)$ which is clearly true since $|z|, |s| < 1$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Seems obvious now. Thanks!
    $endgroup$
    – Squirtle
    Jan 18 at 1:46
















1












$begingroup$

Your inequality is equivalent to $|1 - s/z| < |1/z - bar{s}| iff |z - s|^2 < |1 - bar{s} z|^2$. Expanding yields
$$ z bar{z} + s bar{s} - z bar{s} - bar{z} s < 1 - z bar{z} s bar{s} - z bar{s} - s bar{z}$$
So we need to show $|z|^2 + |s|^2 < 1 + |s|^2|z|^2$. But this is equivalent to $0 < (1 - |z|^2) ( 1 - |s|^2)$ which is clearly true since $|z|, |s| < 1$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Seems obvious now. Thanks!
    $endgroup$
    – Squirtle
    Jan 18 at 1:46














1












1








1





$begingroup$

Your inequality is equivalent to $|1 - s/z| < |1/z - bar{s}| iff |z - s|^2 < |1 - bar{s} z|^2$. Expanding yields
$$ z bar{z} + s bar{s} - z bar{s} - bar{z} s < 1 - z bar{z} s bar{s} - z bar{s} - s bar{z}$$
So we need to show $|z|^2 + |s|^2 < 1 + |s|^2|z|^2$. But this is equivalent to $0 < (1 - |z|^2) ( 1 - |s|^2)$ which is clearly true since $|z|, |s| < 1$.






share|cite|improve this answer











$endgroup$



Your inequality is equivalent to $|1 - s/z| < |1/z - bar{s}| iff |z - s|^2 < |1 - bar{s} z|^2$. Expanding yields
$$ z bar{z} + s bar{s} - z bar{s} - bar{z} s < 1 - z bar{z} s bar{s} - z bar{s} - s bar{z}$$
So we need to show $|z|^2 + |s|^2 < 1 + |s|^2|z|^2$. But this is equivalent to $0 < (1 - |z|^2) ( 1 - |s|^2)$ which is clearly true since $|z|, |s| < 1$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jan 18 at 6:18









Martin R

31k33561




31k33561










answered Jan 18 at 1:26









0x5390x539

1,470518




1,470518












  • $begingroup$
    Seems obvious now. Thanks!
    $endgroup$
    – Squirtle
    Jan 18 at 1:46


















  • $begingroup$
    Seems obvious now. Thanks!
    $endgroup$
    – Squirtle
    Jan 18 at 1:46
















$begingroup$
Seems obvious now. Thanks!
$endgroup$
– Squirtle
Jan 18 at 1:46




$begingroup$
Seems obvious now. Thanks!
$endgroup$
– Squirtle
Jan 18 at 1:46



Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

張江高科駅