30度锐角所对直角边等于斜边的一半其他证明方法