如何证明直角三形30°角所对的边是斜边的一半