ab>1的時候
設A=a^3,B=b^3,K^2=AB
有
2*左式>=(1+A)^-1+(1+B)^-1
圓不等式等價于(1+A)^-1+(1+B)^-1>=2*(1+K)^-1
<=>(KK-1)/(1+A)+(KK-1)/(1+B)>=2(K-1)
<=>(KK-1+1+A)/(1+A)+(KK-1+1+B)/(1+B)>=2K
<=>A(1+B)/(1+A)+B(1+A)/(1+B)>=2K
此為算幾不等式
※ 引述《darkseer (進入無限期公假)》之銘言：
: Source:Mathlink
: Let a,b be arbitrary positive reals. Show that
: 1 1 1
: