展开 数学中勾股定理的公式是几年级