证明红色三角形边长比绿色三角形大，我没想到解法.....
（不要和我说特殊值和几何直观，我要精准的证明）