中考数学勾股定理命题形式