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

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

判断题 阿基米德算出了球体积和表面积，开普勒只算出了球的体积。