由三角形基本原则
两边之和大于第三边
设边m=1-a²,n=1-b² c=,2(1-ab)
m+n=2-(a²+b²) c=2-2ab
若可以,则m+n-c》0
计算
m+n-c=2ab-(a²+b²)