如何证明在直角三角形一个角为30度