数学无聊到连个三角形都要证明，买个菜都要设x [不是原创不过我觉得很好]