何承天不等式：

ab≤ma+ndmb+nc≤dc

<script id="MathJax-Element-1" type="math/tex; mode=display">\frac{a}{b} \leq \frac{ma+nd}{mb+nc}\leq \frac{d}{c}</script>

其中$a,b,c,d,m,n \in \mathbb{R}$.

 

Proof:这是一个有重要应用的不等式(变分迭代算法中)

先证明一个简单情况$m=n=1$时，设 $H(m,n)=\frac{ma+nd}{mb+nc}$

则

<script id="MathJax-Element-2" type="math/tex; mode=display">H(1,1)=\frac{b+d}{a+c}=\frac{b}{a}\frac{1+d/b}{1+c/a}\geq \frac{b}{a}</script>

同理可得$H(1,1)\geq \frac{d}{c}$.

由原式

<script id="MathJax-Element-3" type="math/tex; mode=display">\frac{mb}{na}\leq \frac{nd}{nc}</script>

故

<script id="MathJax-Element-4" type="math/tex; mode=display">\frac{a}{b} \leq \frac{ma+nd}{mb+nc}\leq \frac{d}{c}</script>