レンズの公式（レンズのこうしき）は幾何光学における公式であり、の関係が理想的にはformula_1と表されるというものである。ただし、焦点距離 "F" は凹レンズなどの発散系では負とし、像面までの距離 "B" は虚像では負とする。物が無限遠にある場合は左辺第1項を0、像が無限遠方の虚像である場合は左辺第2項を0として成立する。この公式は単レンズだけでなく凹面鏡・凸面鏡や、複数のレンズ・鏡を組み合わせた光学系にも（主点・焦点が定義できるならば）適用できる。以下の説明図ではレンズの中で光が曲がっているが、実際にはレンズに光が入るときと出るときの2回、屈折する。また、式中の記号はすべて図中の点または長さをさす。（証明）formula_2 と formula_3 が相似であることよりformula_4と言え、また formula_5 と formula_6 が相似であることよりformula_7と言える。 formula_8 であるからformula_9となり、これを formula_10 で割るとformula_11（証明）formula_12 と formula_13 が相似であることより、formula_14と言え、また formula_15 とformula_5 （注を参照のこと） が相似であることより、formula_17と言える。 formula_18 であるから、formula_19となり、これを formula_10 で割ると、formula_21像が虚像であるため" B "を負の数で表し" B' = -B "とおくと、上式はformula_22となる。（注）図中には、ｆが2点あるが、右側のｆをさす。（証明）formula_2 と formula_3 が相似であることより、formula_25と言え、また formula_5 と formula_6 が相似であることより、formula_28と言える。ところで、 formula_8 であるから、formula_30となり、これを formula_10 で割ると、formula_32凹レンズによる虚像であるため" B, F "を負の数で表し" F' = -F; B' = -B "とおくと、上式はformula_33となる。

出典:wikipedia