实验用的凸透镜焦距必须是已知的吗?