Pout t dans IR,
|(t-i)/(t-p)|=|1+(p-i)/(t-p)|=<1+|p-i|/|t-p|=<1+|p-i|/Im(p)
Donc, M=sup{|(t-i)/(t-p)| / t€IR} est fini.
Pour t=Re(p), |(t-i)/(t-p)|=|Re(p)-i|/Im(p)
Mais, |2Re(p)-2i|=|p+bar(p)-2i|=<|bar(p)-i|+|p-i|=|p+i|+|p-i|
Donc, M>=(|p+i|+|p-i|)/(2Im(p))
_________________
وقل ربي زد ني علما