亥姆霍兹公式（Helmholtzformula）
对单个折射面球面有yntanu=y′n′tanu′，此式称为亥姆霍兹公式。它是折射球面能使空间所有点，以任意宽广光束成像的必要条件。在傍轴区域内tanu≈u，上式化简为拉格朗日-亥姆霍兹定理：ynu=y′n′u′。