已知直角三角形中斜边是底边长的2倍,怎么证明三十度?