证明勾股定理最简洁的方法是利用中国的（）。

1、利用归结原理证明定理时，若得到的归结式为（），则结论成立。

利用归结原理证明定理时，若得到的归结式为（），则结论成立。

2、用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

3、（）运用出入相补的方法证明勾股定理。

（）运用出入相补的方法证明勾股定理。A祖冲之B张衡C刘徽D甄鸾

4、利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于(

利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于()。A数值计算B自动控制C人工智能D模拟仿真

5、数学家（）在《勾股局域》阐述了勾股定理动态的证明方法。

数学家（）在《勾股局域》阐述了勾股定理动态的证明方法。A梅文鼎B祖暅C祖冲之D刘徽

6、正弦定理现代主要用向量的方法证明。

正弦定理现代主要用向量的方法证明。A正确B错误