书》（Kitab al-Manazir, Book of Optics）里，从做实验得到的数据，粗略地总结出一些定则。他也没有得到正弦定律。1602年，英国天文学者托马斯·哈里奥特又重新发现了折射定律，可是，他并没有发表他的结果，虽然他曾经在与约翰内斯·开普勒通信中提到这件事。1621年，斯涅尔推导出一个数学等价形式，但是在他有生之年，学术界并不知道他的成就。勒内·笛卡儿在1637年专着《屈光学》（Dioptrics）里，独立地推导出这个定律，并且用他的理论解析了一系列光学问题。在这导引里，他做了两个假