展开 勾股定理1:2:√3用的是三角函数吗