计算球面镜焦距的Java程序