凸透镜表面凸起程度与焦距长短的关系