波前相因子法对成像公式推证

用波前相因子判断法对单球面折射。