徐光启本人撰写的《测量异同》和《勾股义》应用了《几何原本》的逻辑推理方法论证了（ ）。

选择一项：
a. 造表和用表方法
b. 中国的勾股测望术
c. 三角八线的性质
d. 积化和差和球面三角