展开 30度直角三角形边长公式证明