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