The Pythagoras theorem is a deductivetheorem, which can not be one primitive method as its tone series is formed through mathematical calculation.
毕达哥拉斯律是一种演绎律，它是用数学计算方法形成的音列，不可能成为一种原始的方法。
2
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.