展开 30度的直角三角形三边关系怎么证明