レンズの公式
レンズの公式（レンズのこうしき）は幾何光学における公式であり、
の関係が理想的には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