statement : the image at the focal point of a lens is the fourier transform of it's input image. Given how lens convolution works I see there should be a link, though I don't yet understand how one proves this is equivalent, what is the proper way to compute that. ray tracing seems to fail as the model will concentrate all the signal at a single point, and I bet we need interference.