若a平方-b平方=(acosb bcosa)平方证明为直角三角形