展开 勾股定理1:2:√3是什么意思