求证直角三角形中30°角所对的边等于斜边的一半