Cool presentation on Huygens Optics, it’s about telescope mirrors but the same principles applies to lenses :