判断题 中国人最早验证了勾股定理的存在。

判断题 阿布·韦发模型主要用来推导和角公式。

判断题 公元前3世纪托勒密推导出了和角公式。