判断题 德国天文学家提丢斯建立的数列解决了太阳系行星与太阳距离的问题。

判断题 莱布尼茨发表的第一篇微积分论文中，用微积分证明了折射定律。

判断题 阿尔·海森通过实验发现了折射定律，但无法推导出来。