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