由柯本不等式得
(b²/a+c²/b+d²/c+a²/b)(a+b+c+d)
>=(b+c+d+a)²
因为a+b+c+d>0
所以(b²/a+c²/d+d²/c+a²/b)>=a+b+c+d