假设都是正数
a+b=1
c+d=1
两式相乘得
ac+ad+bc+bd=1
因为 ac+bd>1 所以 ad+bc0
矛盾
故结论成立