ロピタルの定理のソースを表示

'''ロピタルの定理''' (ロピタルのていり、{{lang-en-short|l'Hôpital's rule}}) <ref group="注">綴り・読みの揺れについては[[ギヨーム・ド・ロピタル]]の項を参照。</ref>とは、[[微分積分学]]において{{ill2|不定形|en|Indeterminate form}}の[[極限]]を[[微分]]を用いて求めるための[[定理]]である。[[ヨハン・ベルヌーイ|ベルヌーイ]]の定理 ({{lang-en|Bernoulli's rule}}) と呼ばれることもある。

本定理を (しばしば複数回) 適用することにより、不定形の式を非不定形の式に変換し、その極限値を容易に求めることができる可能性がある。

==概要==
ロピタルの定理は、簡単には ''c''（-∞≦''c''≦∞）を含むある区間 ''I'' があり、関数 ''f,g'' はその内部で微分可能で、
<math>\lim_{x \to c}f(x) = \lim_{x \to c}g(x)</math> 
かつその値が 0 または ±∞ であり、かつ極限 
<math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math> 
が存在し、かつ <math>I</math> におけるcの除外近傍において 
''g''&prime;(''x'') &ne; 0 
が成り立つならば、
:<math>\lim_{x\to c}\frac{f(x)}{g(x)} = \lim_{x\to c}\frac{f'(x)}{g'(x)}</math> 
であることを主張する。

つまり、分子と分母を微分することにより不定形の分数を単純化あるいは非不定形に変換し、分数の極限値を簡単に計算できる可能性がある。

[[シュトルツ＝チェザロの定理]]は、数列の極限において類似の結果を与えているが、そこでは微分ではなく隣接項差分が用いられている。

==発見==
本定理は[[スイス]]の数学者、ヨハン・ベルヌーイによって発見されたものであるとされている<ref>{{Cite web|url=http://mathworld.wolfram.com/LHospitalsRule.html|title=L'Hospital's Rule|first=Eric W|last=Weisstein|work=MathWorld|publisher=Wolfram Research, Inc|accessdate=21 December 2008}}</ref> ([[ヨハン・ベルヌーイ#ロピタルの定理論争|ロピタルの定理論争]]を参照)。本定理の名称としては、欧州で最初の微分学書である [[Analyse des infiniment petits pour l'intelligence des lignes courbes]] (西暦1696年, 直訳: 曲線の理解のための無限小の解析) を出版し<ref>{{Cite web | url=http://www-history.mcs.st-andrews.ac.uk/Biographies/De_L'Hopital.html|title=De_L'Hopital biography|first=John J.|last=O'Connor|coauthors=Robertson, Edmund F|work=The MacTutor History of Mathematics archive|publisher=School of Mathematics and Statistics, University of St Andrews|location=Scotland|accessdate=21 December 2008}}</ref>、その中で本定理を広く世に知らしめた17世紀の[[フランス]]の[[数学者]]、[[ギヨーム・ド・ロピタル]]の名を冠してロピタルの定理と呼ばれることが通例である。ベルヌーイとロピタルとの間には契約があってロピタルは命名権のためにいくらかの対価を与えたということである。ロピタルの死後にベルヌーイが自分こそが定理の発見者であると暴露した<ref>志村五郎『数学をいかに使うか』筑摩書房刊、2012年（52ページ）</ref>。

== 定理 ==
ロピタルの定理の一般形は多くの場合に適用される。''c'' と ''L'' が[[拡大実数]](すなわち実数、正の無限大、負の無限大) であり、次の条件、

:<math>\lim_{x\to c}{f(x)} = \lim_{x\to c}g(x) = 0</math>
:<math>\lim_{x\to c}{f(x)} = \pm\lim_{x\to c}{g(x)} = \pm\infty</math>

のいずれかが満たされるとする(ただし、 <math>c=\infty</math> の場合は<math> \lim_{x\to\infty}f(x)</math> は不要)。また、 ''c'' を含むある開区間から ''c'' を除いた点において（<math>c=+\infty</math> であれば十分大きい実数に対して）
<math>g'(x)\neq0</math> が成り立つとする。ここで、極限

:<math>\lim_{x\to c}{\frac{f'(x)}{g'(x)}} = L</math>

が存在すれば、

:<math>\lim_{x\to c}{\frac{f(x)}{g(x)}}=L</math>

である。このときの極限は[[片側極限]]であっても良い。

==極限が存在するという条件==
極限、

:<math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math>

が存在するという条件はこの定理において外すことの出来ない重要な仮定である。

例えば、
''f''(''x'')&nbsp;=&nbsp;''x''&nbsp;+&nbsp;sin(''x'') と ''g''(''x'')&nbsp;=&nbsp;''x'' に対して、

:<math>\lim_{x\to\infty}\frac{f'(x)}{g'(x)}=\lim_{x\to\infty}\frac{1+\cos x}{1}</math>

となりこの極限は存在しない。従ってこの場合ロピタルの定理の適用は出来ないがしかし次のように、求めたい極限はしっかり存在していることが確認できる。

:<math>\lim_{x\to\infty}\frac{f(x)}{g(x)} = \lim_{x\to\infty}\left(1+\frac{\sin x}{x}\right) = 1</math>

==分母の微分に関する条件==
<math>I\setminus\{c\}</math> において
<math>g'(x)\neq0</math> が成り立つという条件が成り立たない場合、次のような反例が存在する。

:<math>f(x)=x+\cos x\sin x</math>
:<math>g(x)=e^{\sin x}(x+\cos x\sin x)</math>

とおくと、

:<math>f(x)/g(x)=1/e^{\sin x}</math>

は <math>x\to+\infty</math> のとき振動して極限をもたないが、

:: <math>
\begin{align}
\frac{f'(x)}{g'(x)}&=\frac{2\cos^2x}{e^{\sin x}\cos x(x+(\sin x+2)\cos x)}\\
&=\frac{2\cos x}{e^{\sin x}(x+(\sin x+2)\cos x)}
\end{align}
</math>

は0に収束する<ref>Boas, R. P. “Counterexamples to L'Hopital's Rule.” Amer. Math. Monthly 93, 644-645, 1986.</ref>。

==例==
* 以下に示す式は[[sinc関数]]と 0/0形の不定形を含む例である。

:: <math>
\begin{align}
\lim_{x \to 0} \operatorname{sinc}(x)
& = \lim_{x \to 0} \frac{\sin \pi x}{\pi x} \\
& = \lim_{y \to 0} \frac{\sin y}{y} \\
& = \lim_{y \to 0} \frac{\cos y}{1} \\
& = 1.
\end{align}
</math>

:この極限は丁度、y=0 における [[正弦|sin]]関数の微分の定義になっていることがわかる。
*次の式は0/0を含む、さらに巧妙な例である。ロピタルの定理を一回適用してもまだ不定形である。この場合は本定理を三回適用することにより、極限を求めることができる。

:: <math>
\begin{align}
\lim_{x\to 0}{\frac{2\sin x-\sin 2x}{x-\sin x}}
& =\lim_{x\to 0}{\frac{2\cos x -2\cos 2x}{1-\cos x}} \\
& = \lim_{x\to 0}{\frac{-2\sin x +4\sin 2x}{\sin x}} \\
& = \lim_{x\to 0}{\frac{-2\cos x +8\cos 2x}{\cos x}} \\
& ={\frac{-2 +8}{1}} \\
& =6
\end{align}
</math>
<!--
* 次の例は0/0形の不定形を持つ。''b''&nbsp;>&nbsp;0 であるとすれば、

:: <math>\lim_{x\to 0} {\frac{b^x - 1}{x}}=\lim_{x \to 0}{\frac{b^x \ln b}{1}}=\ln b \lim_{x \to 0}{b^x}=\ln b</math>

:である。

* 次の例も0/0形の不定形を持つ。

::<math>\lim_{x\to 0}{\frac{e^x-1-x}{x^2}}
=\lim_{x\to 0}{\frac{e^x-1}{2x}}
=\lim_{x\to 0}{\frac{e^x}{2}}={\frac{1}{2}}</math>
-->
* この例は∞/∞形の不定形を持つ。<math>n</math> が正の整数であるとき、

:: <math>\lim_{x\to\infty} x^n e^{-x}
=\lim_{x\to\infty}{\frac{x^n}{e^x}}
=\lim_{x\to\infty}{\frac{nx^{n-1}}{e^x}}
=n\lim_{x\to\infty}{\frac{x^{n-1}}{e^x}}</math>

:である。冪乗が 0 となってその極限が 0 となるまでロピタルの定理を繰り返し適用する。
<!--
* これは∞/∞形の不定形を持つ別の例である。

:: <math>\lim_{x\to 0^+} x \ln x =\lim_{x\to 0^+}{\frac{\ln x}{1/x}}
=\lim_{x\to 0^+}{\frac{1/x}{-1/x^2}}
=\lim_{x\to 0^+} -x = 0.</math>
-->
* これは [[レイズドコサインフィルタ]] ([[:en:raised-cosine filter|en]]) のインパルス応答と0/0形の不定形を持つ例である。

:: <math>
\begin{align}
\lim_{t\to 1/2} \operatorname{sinc}(t) \frac{\cos \pi t}{1 - (2t)^2}
& = \operatorname{sinc}(1/2) \lim_{t\to 1/2} \frac{\cos \pi t}{1 - (2 t)^2} \\
& = \frac{2}{\pi} \lim_{t\to 1/2} \frac{-\pi \sin \pi t}{-8 t} \\
& = \frac{2}{\pi} \cdot \frac{\pi}{4} \\
& = \frac{1}{2}.
\end{align}
</math>

* 次の定理を証明するためにロピタルの定理を使用することができる。もし <math>\scriptstyle f''</math> が ''x'' で連続ならば、

:: <math>
\begin{align}
\lim_{h \to 0} \frac{f(x + h) + f(x - h) - 2f(x)}{h^2}
& = \lim_{h \to 0} \frac{f'(x + h) - f'(x - h)}{2h} \\
& = f''(x).
\end{align}
</math>

:である。
* ロビタルの定理はしばしば巧妙な方法において引き合いに出される。ここで <math>f(x) + f'(x)</math> が <math>x \to \infty</math> で収束すると、

::<math>\lim_{x \to \infty} f(x) = \lim_{x \to \infty} {e^x f(x) \over e^x} = \lim_{x \to \infty} {e^x (f(x) + f'(x)) \over e^x} = \lim_{x \to \infty} (f(x) + f'(x))</math>

:であるので極限 <math>\lim_{x \to \infty} f(x)</math> が存在し、<math>\lim_{x \to \infty} f'(x) = 0</math> である。ここで、最初の等式の分母において <math> e^x \to \infty</math> はロピタルの定理の適用のために必要だが、分子の <math>e^x f(x) \to \infty</math> は確認不要であることに注意されたい。

==他の不定形==

0/0、∞/∞ 以外、すなわち " 1<sup>∞</sup> ", " 0<sup>0</sup> ", " ∞<sup>0</sup> ", " 0·∞ ", " ∞&nbsp;−&nbsp;∞ " などの不定形に対してもロピタルの定理を適用できる可能性がある。例えば、 "∞&nbsp;−&nbsp;∞" を含む極限を求めるためには二つの関数の差を分数に変換することにより、

:<math>
\begin{align}
\lim_{x \to 1} \left(\frac{x}{x-1} - \frac{1}{\ln x}\right)
& = \lim_{x \to 1} \frac{x \ln x - x + 1}{(x-1) \ln x} \quad &(1) \\
& = \lim_{x \to 1} \frac{\ln x}{\frac{x-1}{x} + \ln x} \quad &(2) \\
& = \lim_{x \to 1} \frac{x \ln x}{x - 1 + x \ln x} \quad &(3) \\
& = \lim_{x \to 1} \frac{1 + \ln x}{2 + \ln x} \quad &(4) \\
& = \frac{1}{2}
\end{align}
</math>

を得る。ここにロピタルの定理が (1) から (2) そして (3) から (4) への変形に用いられた。

[[指数関数]]を含む不定形では、[[対数]]を用いて'''指数部から降ろす'''とロピタルの定理を適用できる可能性がある。次の式は 0<sup>0</sup>形の不定形を含む例である。

:<math>
\lim_{x \to 0^+} x^x
= \lim_{x \to 0^+} e^{\ln x^x}
= \lim_{x \to 0^+} e^{x \ln x}
= e^{\lim_{x \to 0^+} x \ln x}
</math>

ここで、指数関数は[[連続]]であるので、極限を[[指数関数]]の内側に移動することが有効である。すると指数 <math>x</math> を'''指数部から降ろす'''ことができる。極限 <math>\scriptstyle\lim_{x \to 0^+} x \ln x</math> は 0·(−∞) 形の不定形となるが、上で示した例と同様にロピタルの定理を適用することができ、

:<math>\lim_{x \to 0^+} x \ln x = 0</math>

を得て、極限は次のように求められる。

:<math>\lim_{x \to 0^+} x^x = e^0 = 1</math>

==極限を求めるための他の方法==
ロピタルの定理は通常の方法では求めることが困難な極限問題に対しても強力な手法であるが、それが常に簡単とは限らない。次の例を考えてみよう。

:<math>
\lim_{|x| \to \infty} x \sin \frac{1}{x}.
</math>

この極限はロピタルの定理を用いると、

:<math>
\begin{align}
\lim_{|x| \to \infty} x \sin \frac{1}{x}
& = \lim_{|x| \to \infty} \frac{\sin \frac{1}{x}}{1/x} \\
& = \lim_{|x| \to \infty} \frac{-x^{-2}\cos\frac{1}{x}}{-x^{-2}} \\
& = \lim_{|x| \to \infty} \cos\frac{1}{x} \\
& = \cos{\left(\lim_{|x| \to \infty} \frac{1}{x} \right)} \\
& = 1
\end{align}
</math>

となるが、 [[三角関数|cos 関数]]が連続であるので極限操作を cos 関数の内側に移動することが有効である。この極限を計算するための他の方法は変数の置換である。''y''&nbsp;=&nbsp;1/''x'' とする。|''x''| が無限大に近づくにつれて ''y'' は 0 に近づく。従って、

:<math>\lim_{|x| \to \infty} x \sin \frac{1}{x} = \lim_{y \to 0} \frac{\sin y}{y} = 1.</math>

である。最後の極限はロピタルの定理を用いて計算することもできるが、それを用いなくても 0 における sin 関数の微分の定義と同様の手法でも可能である。

この極限を計算するさらに他の方法は、[[テイラー展開]]を用いることである。

:<math>
\begin{align}
\lim_{|x| \to \infty} x \sin \frac{1}{x}
& = \lim_{|x| \to \infty} x \left( \frac{1}{x} - \frac{1}{3!\, x^3} + \frac{1}{5!\, x^5} - \cdots \right) \\
& = \lim_{|x| \to \infty} \left( 1 - \frac{1}{3!\, x^2} + \frac{1}{5!\, x^4} - \cdots \right) \\
& = 1 + \lim_{|x| \to \infty} \frac{1}{x}\left(-\frac{1}{3!\, x} + \frac{1}{5!\, x^3} - \cdots \right)
\end{align}
</math>

|''x''|&nbsp;≥&nbsp;1 に対して、最後の行の第2項の極限のかっこの中の展開は[[有界]]であるので極限は 0 である。

==循環論法==
いくらかのケースではある極限を計算するためにロピタルの定理を使用するとき、[[循環論法]]を構成することがある。次の例を考えてみよう。

:<math>\lim_{h\to 0}{\frac{(x+h)^n-x^n}{h}}</math>

この極限を求める目的が <math>f(x)=x^n</math> に対して

:<math>f'(x)=nx^{n-1},\,</math>

であることの'''証明'''であるとき、もしその極限をロピタルの定理を使用して計算すれば、この論法は結論を仮定として用いることとなり ([[論点先取]])、たとえ結論が正しくとも非合理的な証明である。

==発見的論法==
以下の単純な論法はロピタルの定理あるいは類似の概念が正しいことを示唆している。ここではロピタルの定理よりも強い仮定を用いているため、ロピタルの定理を証明するものではない。

<math>f'</math> と <math>g'</math> が <math>c</math> で連続であり、<math>f(c)=g(c)=0</math> かつ ''g''′(''c'')&nbsp;≠&nbsp;0 であるならば、

:<math>\lim_{x\to c}\frac{f(x)}{g(x)} = \lim_{x\to c}\frac{f(x)/(x-c)}{g(x)/(x-c)} = \frac{f'(c)}{g'(c)} = \lim_{x\to c}\frac{f'(x)}{g'(x)}</math>

である。またグラフによる幾何学的な考察から尤もらしさを確認することもできる<ref>{{cite book | last=Strang | first=Gilbert | title=Calculus | year=1991 | publisher=Wellesley-Cambridge Press | isbn=0-9614088-2-0 | pages={{google books quote|id=OisInC1zvEMC|page=149|149}}–151}}</ref>。

==ロピタルの定理の証明==
ロピタルの定理を証明する標準的な方法は[[コーシーの平均値の定理]]を用いることである。ロピタルの定理は <math>c</math> と <math>L</math> が有限か無限か、<math>f</math> と <math>g</math> の収束値が 0 か無限大か、そして極限が片側か両側か、によって多くのバリエーションがある。それら全てのバリエーションは他の本質的な要因を考える必要なく次に示す主要な二つの形態に従う<ref>{{Cite book | last=Spivak | first=Michael | authorlink=Michael Spivak | title=Calculus | date=1994 | publisher=Publish or Perish | location=Houston, Texas | isbn=0-914098-89-6 | pages=201–202, 210–211}}</ref>。

===0/0形===
<math>c</math> と <math>L</math> は有限であり、<math>f</math> と <math>g</math> は 0 に収束するとする。

まず第一に、<math>f(c)=0</math> と <math>g(c)=0</math> を定義 (または再定義) する。<math>f</math> と <math>g</math> は <math>c</math> で連続であるが、定義より極限は <math>c</math> に依存しないので極限は変化しない。極限値 <math>\lim_{x\to c}f'(x)/g'(x)\,</math> が存在するので、 <math>x=c</math> を除いて<math>g'(x)</math> が非 0 であれば、区間 <math>(c-\delta,c+\delta)</math> 内の全ての <math>x</math> に対して <math>f'(x)</math> と <math>g'(x)</math> の双方が存在するようなその区間が存在する。
<!-- Since <math>\scriptstyle\lim_{x\to c}f'(x)/g'(x)</math> exists, there is an interval <math>(c-\delta,c+\delta)</math> such that for all <math>x</math> in the interval, with the possible exception of <math>x=c</math>, both <math>\scriptstyle f'(x)</math> and <math>g'(x)</math> exist and <math>g'(x)</math> is not zero. -->

もし <math>x</math> が区間 <math>(c,c+\delta)</math> にあれば、[[平均値の定理]]と[[コーシーの平均値の定理]]の両方を区間 <math>[c,x]</math> に適用する。そして区間 <math>(c-\delta,c)</math> と <math>x</math> に対して同様に適用する。平均値の定理は <math>g(x)</math> が非 0 であることを意味する。
でなければ、<math>g'(y)=0</math> であるような 区間 <math>(c,x)</math> の <math>y</math> が存在する。つまり、コーシーの平均値の定理は次の条件、

:<math>\frac{f(x)}{g(x)} = \frac{f'(\xi_x)}{g'(\xi_x)}</math>

を満たす区間 <math>(c,x)</math> 内の <math>\xi_x</math> が存在することを意味する。
もし <math>x</math> が <math>c</math> に近づくならば、<math>\xi_x</math> は <math>c</math> に近づく。<math>\scriptstyle\lim_{x\to c}f'(x)/g'(x)</math> が存在するので、次式を得る。

:<math>
\lim_{x\to c}\frac{f(x)}{g(x)}
= \lim_{x\to c}\frac{f'(\xi_x)}{g'(\xi_x)}
= \lim_{x\to c}\frac{f'(x)}{g'(x)}
</math>

===∞/∞形===
<math>L</math> が有限であり、<math>c</math> が正の無限大、そして <math>f</math> と <math>g</math> が正の無限大に発散するとする。
<math>0<\varepsilon<1</math> なる任意の <math>\varepsilon</math> に対してある <math>a</math> が存在し、

:<math>x\ge a\Rightarrow\left|\frac{f'(x)}{g'(x)} - L\right| < \varepsilon/3</math>

が成り立つ。この ''a'' に対してある ''b'' が存在し、

:<math>x\ge b\Rightarrow g(x)>\frac{3(|L|+1)}{\varepsilon}\max \{|f(a)|,|g(a)|\}</math>

が成り立つ。このとき <math>x>b</math> とするとコーシーの平均値の定理から <math>a<y<x</math> なるある ''y'' が存在して

:<math>\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(y)}{g'(y)}</math>

が成り立つから

:<math>\left|\frac{f(x)-f(a)}{g(x)-g(a)} - L\right| < \varepsilon/3</math>

となる。よって <math>x>b</math> において

:<math>
\begin{align}
\left|\frac{f(x)}{g(x)}-\frac{f(x)-f(a)}{g(x)-g(a)}\right| &= \left|\frac{f(a)}{g(x)}-\frac{g(a)}{g(x)} \cdot \frac{f(x)-f(a)}{g(x)-g(a)}\right|\\
&=\left|\frac{f(a)-g(a)L}{g(x)}-\frac{g(a)}{g(x)}\left(\frac{f(x)-f(a)}{g(x)-g(a)}-L\right)\right|\\
&<2\varepsilon/3
\end{align}
</math>

が成り立つ。従って <math>x>b</math> のとき

:<math>\left|\frac{f(x)}{g(x)} - L\right| < \varepsilon</math>

が成り立つ。
<!-- * 補足: 詳細な式変形過程は省略 -->

== 日本の高校数学・大学入試での扱い ==

=== 概説 ===
日本の高等学校における数学科目(数学III)では分数関数の極限が扱われ、ロピタルの定理を適用すると容易に極限値を求められる計算問題がしばしば出題される。一部の学習参考書などでは発展的内容・有力な計算のテクニックとしてロピタルの定理が紹介されることがあるが、定理の使用には慎重である。これはロピタルの定理が学習指導要領で扱われておらず、「範囲外」の知識を説明なしに用いることが問題視されることがあること、定理を適用するための条件が若干複雑で誤ったやりかたで適用しがちであることなどが理由とされる<ref>樋口　禎一・森田　康夫編，「高校数学解法事典(第九版)」第四章(微分法)、微分法の応用節，旺文社，2012年，ISBN 978-4010752005．</ref><ref name="QA">藤田宏，「理解しやすい数学III+C(改訂版)」第三章 2.2節，文英堂，2009年，ISBN 978-4578241133．</ref><ref>宮腰 忠，「高校数学＋α：基礎と論理の物語」第十三章 2節，共立出版，2004年，ISBN 978-4320017689．</ref>。

=== 大学入試で使うべきではないとする説 ===
[[安田亨]]は『[[大学への数学]]』誌において次のように述べている。ロピタルの定理を入試で使っていいのかどうかはよく話題になる<ref name=":0">{{Cite journal|author=安田亨|year=2015|title=要点の整理／数III 極限の基本|journal=大学への数学|volume=2015年6月号|page=47}}</ref>。大学入試懇談会の2011年以外のある回で「ロピタルの定理を使うと5点減点している」という大学があった<ref name=":2">{{Cite journal|author=安田亨|year=2012|title=特別講義 ロピタルの定理とその使用法|journal=大学への数学|volume=2012年3月号|page=63}}</ref>。とある会合(大学入試懇談会かは不明)では、慶應大学と見られる「KO大学」において「うちは5点の減点をする」、との発言があった<ref name=":1">{{Cite book|和書 |title=2021 大学入試良問集 理系 |date=2021/11/18 |year=2021 |publisher=星雲社 |page=441 |author=安田亨}}</ref>。大学入試でのロピタルの定理の扱いは大学ごとに異なる<ref name=":0" />。

また、安田は受験生の解答方針として次のように述べている。使用は自己責任に基づいて決めるべきであるが<ref name=":2" />、0点になるよりは減点の危険を負ってでも使用すべきであり、空欄補充問題ならばそもそも問題はない<ref name=":1" />。

==関連項目==
* {{ill2|不定形|en|Indeterminate form}}
* [[平均値の定理]]
* [[シュトルツ=チェザロの定理]] — 数列の極限に関する類似の結果

==脚注==
===注===
{{reflist|group="注"}}
===出典===
{{reflist}}

==外部リンク==
* [http://planetmath.org/encyclopedia/LHospitalsRule.html l'Hôpital's rule at PlanetMath]

{{DEFAULTSORT:ろひたるのていり}}
[[Category:微分積分学の定理]]
[[Category:実解析の定理]]
[[Category:極限 (数学)]]
[[Category:ベルヌーイ家]]
[[Category:数学に関する記事]]
[[Category:証明を含む記事]]
[[Category:数学のエポニム]]