循環論法 以前、扇型の面積を挟み打ちしてを導出した。この手法は分かりやすいが、実は循環論法の問題がある。 半径を持つ円の面積がであることは定義されたことや自明なことではない。証明するには三角関数の積分が必要であり、その際に既にを知っている必…

導出 以前導出したのマクローリン展開を書き下す。このマクローリン展開は無限の収束半径を持ち、本質的にと等しいのであった。 \begin{eqnarray} \sin x = x-\frac{1}{3!}x^3+\frac{1}{5!}x^5-\frac{1}{7!}x^7+\cdots \end{eqnarray} として両辺をで割る。 …

指数関数を、変数で微分したい。微分の定義に従って代入する。 \begin{equation}y'=\lim_{h \to 0}\frac{a^{x+h}-a^x}{h}\end{equation} ここから指数関数の性質を用いて式を変形していく。まず右辺をで括る。 \begin{eqnarray}y'&=&\lim_{h \to 0}\frac{a^{…

対数関数を、変数で微分したい。微分の定義に従って代入する。 \begin{equation}y'=\lim_{h \to 0} \frac{\log_{a} {(x+h)}-\log_a x}{h}\end{equation} ここから対数関数の性質を用いて式を変形していく。 \begin{eqnarray}y'&=&\lim_{h \to 0} \frac{\log_…