数学无聊到连个三角形都要证明，买个菜都要设x。