レンズの公式

**レンズの公式**（レンズのこうしき）は幾何光学における公式であり、
* 物面から主点までの距離 *A* 
* 主点から像面までの距離 *B* 
* 焦点距離 *F* （主点と焦点の距離）
の関係が理想的には{1 \over A}+{1 \over B}={1 \over F}と表されるというものである。ただし、焦点距離 *F* は凹レンズなどの発散系では負とし、像面までの距離 *B* は虚像では負とする。物が無限遠にある場合は左辺第1項を0、像が無限遠方の虚像である場合は左辺第2項を0として成立する。

この公式は単レンズだけでなく凹面鏡・凸面鏡や、複数のレンズ・鏡を組み合わせた光学系にも（主点・焦点が定義できるならば）適用できる。

## レンズメーカーの公式
。
: \frac{1}{F} = (n-1) \left[ \frac{1}{R_1} - \frac{1}{R_2} + \frac{(n-1)d}{n R_1 R_2} \right],

:n はレンズの屈折率。
:R_1 はレンズ第1面の曲率半径。
:R_2 はレンズ第2面の曲率半径。
:d はレンズの厚さ。
この式はレンズメーカーの公式と呼ばれる。曲率半径は、曲率中心が光源から遠い方にある場合を正とする。

## 証明
以下の説明図ではレンズの中で光が曲がっているが、実際にはレンズに光が入るときと出るときの2回、屈折する。
また、式中の記号はすべて図中の点または長さをさす。

### 凸レンズに関する証明
#### 焦点の外側に物体がある場合
[600px|right|凸レンズの焦点より外側に物体を置くと、物体に対して反対側に倒立の[実像ができる。]]

（証明）

\triangle abo と \triangle a'b'o が相似であることより

\begin{align}
ab:a'b' &= bo:b'o \\
        &= A:B\\
\end{align}

と言え、また \triangle pof と \triangle a'b'f が相似であることより

\begin{align}
po:a'b' &= of:b'f \\
        &= F:(B-F) \\
\end{align}

と言える。 ab=po であるから

\begin{array}{lcl}
A:B & = & F:(B-F) \\
A(B-F) & = & BF \\
AB-AF & = & BF \\
BF+AF & = & AB
\end{array}

となり、これを (ABF) で割ると

\begin{array}{lcl}
\frac{BF}{ABF}+ \frac{AF}{ABF} & = & \frac{AB}{ABF} \\
\therefore \frac{1}{A}+ \frac{1}{B} & = & \frac{1}{F}
\end{array}

(証明終わり)

#### 焦点の内側に物体がある場合
[600px|right|凸レンズの焦点より内側に物体を置くと、物体と同じ側に正立の[虚像ができる。]]

（証明）

\triangle a'bo と \triangle ab'o が相似であることより、

\begin{align}
a'b:ab' &= bo:b'o \\
        &= B:A \\
\end{align}

と言え、また \triangle a'bf と\triangle pof （注を参照のこと） が相似であることより、

\begin{align}
a'b:po &= bf:of \\
        &= (B+F):F \\
\end{align}

と言える。 ab'=po であるから、

\begin{array}{lcl}
B:A & = & (B+F):F \\
A(B+F) & = & BF \\
AB+AF & = & BF \\
BF-AF & = & AB
\end{array}

となり、これを (ABF) で割ると、

\begin{array}{lcl}
\frac{BF}{ABF}- \frac{AF}{ABF} & = & \frac{AB}{ABF} \\
\therefore \frac{1}{A} - \frac{1}{B} & = & \frac{1}{F}
\end{array}

像が虚像であるため* B *を負の数で表し* B' = -B *とおくと、上式は

\frac{1}{A} + \frac{1}{B'} = \frac{1}{F}

となる。

(証明終わり)
（注）図中には、ｆが2点あるが、右側のｆをさす。

### 凹レンズに関する証明
[600px|right|凹レンズでは物体と同じ側に正立の[虚像ができる。]]

（証明）

\triangle abo と \triangle a'b'o が相似であることより、

\begin{align}
ab:a'b' &= bo:b'o' \\
        &= A:B\\
\end{align}

と言え、また \triangle pof と \triangle a'b'f が相似であることより、

\begin{align}
po:a'b' &= of:b'f \\
        &= F:(F-B) \\
\end{align}

と言える。ところで、 ab=po であるから、

\begin{array}{lcl}
A:B & = & F:(F-B) \\
A(F-B) & = & BF \\
AF-AB & = & BF \\
BF-AF & = & -AB
\end{array}

となり、これを (ABF) で割ると、

\begin{array}{lcl}
\frac{BF}{ABF}- \frac{AF}{ABF} & = & -\frac{AB}{ABF} \\
\therefore \frac{1}{A}- \frac{1}{B} & = &- \frac{1}{F}
\end{array}

凹レンズによる虚像であるため* B, F *を負の数で表し* F' = -F; B' = -B *とおくと、上式は

\frac{1}{A} + \frac{1}{B'} = \frac{1}{F'}

となる。

(証明終わり)

## レンズフレアの公式

レンズに入射した光の一部はレンズ内面で一回もしくは複数回反射する。これがレンズフレアの原因のひとつである。凸レンズ内を m 回反射したときの焦点距離は
: (-1)^{m}\frac{n -  1}{(m+1)n - 1} F
: F はレンズの（零回反射の）焦点距離
: n はレンズの屈折率
で与えられる。
ここで負の焦点距離は焦点がレンズ前方にあることを意味する。

典型的な n=1.5 と m = 1,2 の場合を計算すれば、一回反射の焦点距離公式
: - \frac{F}{4}
及び二回反射の焦点距離公式
: \frac{F}{7}
が得られる。

熊本県立宇土高等学校科学部は、このレンズ内反射による結像の現象を再発見し、前述の両凸レンズ、平凸レンズ、凸平レンズに対する一回反射と二回反射による結像距離の公式を与えた。例えば、両凸レンズの場合には、上記の焦点距離公式から
: \frac{1}{A} + \frac{1}{B}  = \frac{4}{F}
及び
: \frac{1}{A} + \frac{1}{B} = \frac{7}{F}
が得られる。同研究ではレンズ内反射による実像は「副実像」と呼ばれている。同研究は国内メディアで報道され、高校物理の教科書にも採用された。

## 脚注

## 関連項目
*レンズ
*凸レンズ
*凹レンズ