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
: