ابن سهل
Ibn Sahl uses this law to derive lens shapes that focus light with no geometric aberrations, known as anaclastic lenses.