凸面镜成像公式证明