Mirrors and Lenses）里最先正确地表述出折射定律。他应用这定律来计算能够将光线聚焦而不会产生几何像差的透镜的形状。这种透镜称为曲折透镜（anaclastic lens）。可惜其他学者并没有注意到他的研究结果。11世纪初，阿拉伯学者海什木重做托勒密的折射实验。他在着作《》（Kitab al-Manazir）里，从重做实验得到的数据，粗略地总结出一些定则，他也没有得到正弦定律。海什木强烈驳斥发射说，光是从被视物体的表面以直线朝着各个方向发射或反射，传播经过空间后，进入眼睛。关于进入说，他认