关于第一篇题解中的证明

我的题解，我伪证了，我补过/kel

由于这题关闭题解提交通道了，因此只能在讨论区里补充，不用重新走一遍特许流程了。

正确证明如下：

目标仍旧是证明 $\dfrac{F_1}{T_1}\geq\dfrac{F_1+F_2-F_x}{T_1+T_2}$ 或 $\dfrac{F_2}{T_2}\geq \dfrac{F_1+F_2-F_x}{T_1+T_2}$。

或很难处理，可以考虑反证将或转化为和。那么问题就变成了证明下两式不可能同时成立：

两式相加，约掉 $(T_1+T_2)(F_1+F_2)$ 即可。

这个证明成立的条件是 $T_1+T_2\neq0$ 且 $F_x(T_1+T_2)\leq0$，容易验证题目满足这一条件。