三角形求斜边公式什么时候学的