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