凸透镜焦距公式怎么推出来的呢图片