眼球定理とは？

　眼球定理とは、

　2つの円$\text{C}_1, \text{C}_2$があり、それぞれの中心を$\text{O}_1, \text{O}_2$とする。ただし、$\text{O}_1\text{O}_2$は$\text{C}_1, \text{C}_2$の半径の大きいほうよりさらに大きいものとする。

$\text{O}_1$から円$\text{C}_2$へ接線を2本引き、接点をそれぞれ$\text{P}, \text{Q}$とする。
そして、$\text{C}_1$と半直線$\text{O}_1\text{P}$の交点を$\text{A}$、$\text{C}_1$と半直線$\text{O}_1\text{Q}$の交点を$\text{B}$とする。

同様に、$\text{O}_2$から円$\text{C}_1$へ接線を2本引き、接点をそれぞれ$\text{R}, \text{S}$とする。
そして、$\text{C}_2$と半直線$\text{O}_2\text{R}$の交点を$\text{C}$、$\text{C}_2$と半直線$\text{O}_2\text{S}$の交点を$\text{D}$とする。

このとき、

\[\large \text{AB}=\text{CD}\]

が成り立つ。

というものです。

また、これの発展として、

　直線$\text{O}_1\text{O}_2$に関して同じ側にある接点を$\text{P}, \text{R}$とし、直線$\text{PR}$を引く。

直線$\text{PR}$と円$\text{C}_1$の点$\text{R}$以外の交点を$\text{R'}$、直線$\text{PR}$と円$\text{C}_2$の点$\text{P}$以外の交点を$\text{P'}$とすると

\[\large \text{RR'}=\text{PP'}\]

が成り立つ。

というものもあります。

なぜこれらは成り立つのでしょうか？

Read More

数列の和・差・積・商の極限まとめ

　収束または無限大に発散する数列の和・差・積・商の極限をまとめました。

Read More

発散する数列と収束する数列の商の極限

　無限大に発散する数列と収束する数列の積・商の極限は以下のようになります。

　数列$\{a_n\}, \{b_n\}, \{c_n\}$について

\begin{gather*}\lim_{n\to\infty}a_n=\alpha\\[1em]\lim_{n\to\infty}b_n=\infty\\[1em]\lim_{n\to\infty}c_n=-\infty\end{gather*}

が成り立つとします。

数列の商の極限

\begin{gather*}\large\lim_{n\to\infty}\frac{a_n}{b_n}=0\\[1em]\large\lim_{n\to\infty}\frac{a_n}{c_n}=0\end{gather*}

　ここからは、数列$\{a_n\}$のすべての項について$a_n≠0$が成り立つとします。
また、$N_0$を自然数とします。

$α>0$のとき

\begin{gather*}\large\lim_{n\to\infty}\frac{b_n}{a_n}=\infty\\[1em]\large\lim_{n\to\infty}\frac{c_n}{a_n}=-\infty\end{gather*}

$α<0$のとき

\begin{gather*}\large\lim_{n\to\infty}\frac{b_n}{a_n}=-\infty\\[1em]\large\lim_{n\to\infty}\frac{c_n}{a_n}=\infty\end{gather*}

数列$\{a_n\}$の第$N_0 +1$項以降のすべての項について$a_n>0$が成り立ち、かつ$α=0$のとき

\begin{gather*}\large\lim_{n\to\infty}\frac{b_n}{a_n}=\infty\\[1em]\large\lim_{n\to\infty}\frac{c_n}{a_n}=-\infty\end{gather*}

数列$\{a_n\}$の第$N_0 +1$項以降のすべての項について$a_n<0$が成り立ち、かつ$α=0$のとき

\begin{gather*}\large\lim_{n\to\infty}\frac{b_n}{a_n}=-\infty\\[1em]\large\lim_{n\to\infty}\frac{c_n}{a_n}=\infty\end{gather*}

なぜこれらが成り立つのでしょうか？

Read More

発散する数列と収束する数列の積の極限

　無限大に発散する数列と収束する数列の積の極限は以下のようになります。

　数列$\{a_n\}, \{b_n\}, \{c_n\}$について

\begin{gather*}\lim_{n\to\infty}a_n=\alpha\\[1em]\lim_{n\to\infty}b_n=\infty\\[1em]\lim_{n\to\infty}c_n=-\infty\end{gather*}

が成り立つとします。

数列の積の極限

数列$\{a_n\}$について$α>0$のとき

\begin{gather*}\large\lim_{n\to\infty}a_n b_n=\infty\\[1em]\large\lim_{n\to\infty}a_n c_n=-\infty\end{gather*}

数列$\{a_n\}$について$α<0$のとき

\begin{gather*}\large\lim_{n\to\infty}a_n b_n=-\infty\\[1em]\large\lim_{n\to\infty}a_n c_n=\infty\end{gather*}

なぜこれらが成り立つのでしょうか？

Read More

発散する数列と収束する数列の和・差の極限

　無限大に発散する数列と収束する数列の和・差の極限は以下のようになります。

　数列$\{a_n\}, \{b_n\}, \{c_n\}$について

\begin{gather*}\lim_{n\to\infty}a_n=\alpha\\[1em]\lim_{n\to\infty}b_n=\infty\\[1em]\lim_{n\to\infty}c_n=-\infty\end{gather*}

が成り立つとします。

数列の和の極限

\begin{gather*}\large\lim_{n\to\infty}\bigl(a_n +b_n\bigr)=\infty\\[1em]\large\lim_{n\to\infty}\bigl(a_n +c_n\bigr)=-\infty\end{gather*}

数列の差の極限

\begin{gather*}\large\lim_{n\to\infty}\bigl(b_n -a_n\bigr)=\infty\\[1em]\large\lim_{n\to\infty}\bigl(c_n -a_n\bigr)=-\infty\\[1em]\large\lim_{n\to\infty}\bigl(a_n -b_n\bigr)=-\infty\\[1em]\large\lim_{n\to\infty}\bigl(a_n -c_n\bigr)=\infty\end{gather*}

なぜこれらが成り立つのでしょうか？

Read More

数列の大小関係を利用した極限の判定（はさみうちの原理、無限大に発散の判定）

　数列の大小関係を利用することで、極限のわからない数列の極限を判定する方法があります。
それは$N_0$を自然数として、次のようなものになります。

はさみうちの原理

　数列$\{a_n\}, \{b_n\}, \{c_n\}$の第$N_0 +1$項以降のすべての項について$a_n≦b_n≦c_n$が成り立ち、かつ$\displaystyle\lim_{n\to\infty}a_n=\lim_{n\to\infty}c_n=α$ならば、
$\displaystyle\lim_{n\to\infty}b_n=α$が成り立つ。

正の無限大に発散を下から判定

　数列$\{a_n\}, \{b_n\}$の第$N_0 +1$項以降のすべての項について$a_n≦b_n$が成り立ち、かつ$\displaystyle\lim_{n\to\infty}a_n=\infty$ならば、
$\displaystyle\lim_{n\to\infty}b_n=\infty$が成り立つ。

負の無限大に発散を上から判定

　数列$\{a_n\}, \{b_n\}$の第$N_0 +1$項以降のすべての項について$a_n≧b_n$が成り立ち、かつ$\displaystyle\lim_{n\to\infty}a_n=-\infty$ならば、
$\displaystyle\lim_{n\to\infty}b_n=-\infty$が成り立つ。

なぜこれらが成り立つのでしょうか？

Read More

発散する数列の極限の性質②（四則演算）

　無限大に発散する数列の極限には、以下のような性質があります。

　数列$\{a_n\}, \{b_n\}, \{c_n\}, \{d_n\}$について

\begin{gather*}\lim_{n\to\infty}a_n=\infty\\[1em]\lim_{n\to\infty}b_n=\infty\\[1em]\lim_{n\to\infty}c_n=-\infty\\[1em]\lim_{n\to\infty}d_n=-\infty\end{gather*}

が成り立つとします。

数列の和の極限

\begin{gather*}\large\lim_{n\to\infty}\bigl(a_n +b_n\bigr)=\infty\\[1em]\large\lim_{n\to\infty}\bigl(c_n +d_n\bigr)=-\infty\end{gather*}

数列の差の極限

\begin{gather*}\large\lim_{n\to\infty}\bigl(a_n -c_n\bigr)=\infty\\[1em]\large\lim_{n\to\infty}\bigl(d_n -b_n\bigr)=-\infty\end{gather*}

数列の積の極限

\begin{gather*}\large\lim_{n\to\infty}a_n b_n=\infty\\[1em]\large\lim_{n\to\infty}b_n c_n=-\infty\\[1em]\large\lim_{n\to\infty}c_n d_n=\infty\end{gather*}

なぜこれらが成り立つのでしょうか？

Read More

発散する数列の極限の性質①（定数倍、逆数）

　無限大に発散する数列の極限には、以下のような性質があります。

　数列$\{a_n\}, \{b_n\}$について

\begin{gather*}\lim_{n\to\infty}a_n=\infty\\[1em]\lim_{n\to\infty}b_n=-\infty\end{gather*}

が成り立つとします。

数列の定数倍の極限

$c$が正の定数のとき

\begin{gather*}\large\lim_{n\to\infty}c a_n=\infty\\[1em]\large\lim_{n\to\infty}c b_n=-\infty\end{gather*}

$c=0$のとき

\begin{gather*}\large\lim_{n\to\infty}c a_n=0\\[1em]\large\lim_{n\to\infty}c b_n=0\end{gather*}

$c$が負の定数のとき

\begin{gather*}\large\lim_{n\to\infty}c a_n=-\infty\\[1em]\large\lim_{n\to\infty}c b_n=\infty\end{gather*}

数列の逆数の極限

数列$\{a_n\}, \{b_n\}$のすべての項についてそれぞれ$a_n, b_n≠0$であるとき

\begin{gather*}\large\lim_{n\to\infty}\frac{1}{a_n}=0\\[1em]\large\lim_{n\to\infty}\frac{1}{b_n}=0\end{gather*}

なぜこれらが成り立つのでしょうか？

Read More