これから高校数学Ⅲ（微分積分）を独学する人へ

高校数学Ⅲで学ぶ微分積分。難しいと聞いているかもしれませんが、実際は高校数学ⅠやⅡより学ぶのはやさしいと思います。それでも独学するとなると辛いものがあるので、その参考になればと思い書いておきます。

微分や積分の基本は数学Ⅱで終わっています。
微分は接線の傾き、積分は面積が基本イメージです。この辺りが怪しければ、数学Ⅱの教科書を読み直してください。微分係数のところと面積のところです。

数学Ⅲで学ぶ微分積分は「関数」「極限と級数」「微分」「微分の利用」「積分」「積分の利用」と分けられます。

「関数」というのは、分数関数・無理関数・合成関数・逆関数などですが、これは微分積分というよりもこれまで扱ってこなかった基本的な関数の残りと思ってください。以前は高校数学Ⅰで学んだ内容です。分数関数・無理関数は学びやすいと思います。合成関数・逆関数は微分でも登場するのできちんと理解したいところです。

「極限と級数」は、数列の極限・級数・関数の極限のことです。極限自体は数学Ⅱの微分で登場しました。このときの極限は関数の極限です。

すべての内容を修得するのは理想ですが、ここで抑えておきたいのは関数の極限です。次の「微分」および「微分の利用」で使うからです。数列の極限は関数の極限に繋がる内容なのですが、教科書では触れられていないようです。級数は積分の "区分求積法" で使います。一気に理解できない場合は、このときに見直せばいいと思います。

ここまで学ぶと計算量が多くなったことに気づくと思います。高校数学Ⅲは内容よりも計算量が圧倒的に多いのです。だから計算練習は必要になります。例題とその練習問題および節末問題がある程度の早さで解けるようになることを目標にしてみてください。

「微分」「積分」は基本公式を身に着けることが目標でいいと思います。先ほどと同じで、例題とその練習問題および節末問題がある程度の早さで解けるようになることが目安です。ややこしい計算は基本が身に付けば、解くのに時間は掛かると思いますができるようになります。

「微分の利用」「積分の利用」は数学Ⅱで学んだような問題が解けるようになるのが目標です。具体的に言えば

　　　　　・増減表を書いて関数のグラフの概形が描けるようになる
　　　　　・面積が求められる

を目標にしてみてください。これができれば極値、最大最小、方程式・不等式に関する問題、面積・体積・曲線の長さも解けるようになると思います。

最初は一通り目を通し、自分にとって修得しやすいものと修得し難いものが判別できれば２回目以降の読み直しがしやすいと思います。

最後に、独学で引っかかると思われるところを挙げておきます。
　　　・級数　　　・関数の連続性　　　・中間値の定理　　　・平均値の定理
　　　・速度、加速度　　　　・近似式　　　　・区分求積法

関数の連続性、中間値の定理、平均値の定理を挙げたのは、これまでの関数はほとんどすべて連続関数を扱ってきていて、突然、不連続な関数としてガウス記号の入った関数を扱い混乱します(※1)。関数といえば連続関数だったので、中間値の定理や平均値の定理の有難みが分かり難いし、当たり前なんじゃないかと思ってしまうのです。関数の連続性を証明しろとなると困ってしまいます。数学オンチだった私は苦労しました。この辺りは指導者や数学のできる友だちがいるといいですね。

この辺りがスイスイ理解できるのなら、大学数学の解析系が楽に学べるように思います。▢

※１　ガウス記号の入った実数上で定義された関数 y=[x] は中学受験や難関校の高校受験では扱われ、グラフを図示すると階段状になるので階段関数とも呼ばれているようです。タクシーや小荷物の運賃料金として出題されます。

等号「＝」の意味を答えられますか？ ～春から大学数学を学ぶ人へ～

※①③の答えについては末尾にある 追加 もご覧ください。（2022.3.25 追加）

数学で等号 "$=$" は基本中の基本ともいえる記号ですが、いろいろな使われ方をします。

次の問題に答えてみてください。

問題　次の①～⑥の等号の意味をそれぞれ答えてください。

問題のついでに等号を学んだ歴史もみてみましょう。

最初に学ぶ等号は ① $1+1=2$ ですね。この延長に方程式や関数があります。

次に学ぶ等号は ②$AB=DE,\: ∠A=∠B, \: \triangle{ABC}=\triangle{DEF}$ などです。

そしてその次は ③ $\pi =180^\circ$ (高校数学Ⅱ) の弧度法と度数法の関係です。

同時期に ④ $\vec{a}=\vec{b}$ と ⑤ $\vec{a}=(a_1, \: a_2)$ (高校数学B) のベクトルも学びます。

高校数学ではほとんど活躍しませんが、集合における ⑥$A=B$ です。 

このように問題にされると困りませんか。中学・高校までの数学だとあまり意識せずに等号を使っていると思います。私が⑤⑥をきちんと理解したのは大学２年だったと思います。

では答えを書きます。

①自然数の定義です。

②順に、線分の長さが等しい、角の大きさが等しい、三角形の面積が等しい　です。

③弧度法の角の大きさと度数法の角の大きさが等しいという意味です。

④ベクトルが等しいということなので、向きと大きさが等しいということです。

⑤$\vec{a}$ を基本ベクトル$\vec{e_1}, \: \vec{e_2}$で表示した$\vec{a}=a_1\vec{e_1}+a_2\vec{e_2}$ と 数の組$(a_1, \: a_2)$ が一対一対応することによる同一視です。

⑥集合が等しいということなので、$A\subset B$ かつ $A\supset B$ ということです。

ここで $A\subset B$ の定義が気になるところですが、これも答えられますか。大学数学では基本中の基本になります。

集合$A$の任意の元$x$が集合$B$の元であることです。記号で書くと

　　　　　　　　　　　　任意の $x \in A \Rightarrow x \in B$

です。"任意" というのが大切なところです。

例えば、$A=\{2,\: 4 \}, \: B=\{1,\: 2,\: 3,\: 4,\: 5 \}$ であれば $A \subset B$ 

ですが、$C=\{2,\: 4, \: 6 \}, \: D=\{1,\: 2,\: 3,\: 4,\: 5 \}$ であれば $C \not \subset D$ です。

$6 \in C$ ですが $6 \notin D$ だからです。

等号は定義や同一視の意味で上のように乱用されます。乱用されるのは演算記号 "$+, \: \cdot$" も同じなので、どのように定義されたのかに気をつけてください。早ければ大学１年の線形代数、たいていは大学２年で 集合と位相 または 代数学 を学んだときに定義の大切さに気付くと思います。いや、既に気づいているのでしょうか。大学１年の微分積分は高校数学の延長のように計算主体で進めると思うので、気づき難いと思います。最近は実数論を１年の後半か２年で学ぶからです。

最後に、以前「角の大きさと自然な弧度法」でも書きましたが、私は③のような表現はしません。どうしても表現したい場合は  $\pi \leftrightarrow 180^\circ$ のように表現します。理由は、弧度法と度数法では世界が異なるからです。だから一対一対応の意味を維持した $\leftrightarrow$ を使います。▢

追加：Twitter で指摘を受けました。①③は私の認識に問題があるようです。ここからこの記事を紹介したツイートに入り、引用ツイートおよびそれに連なるコメントを参考にしてください。より深く理解できると思います。

オイラの式を鑑賞する ～現代数学～

小川洋子さんの作品『博士の愛した数式』のお陰で小説や映画を通して数学ブームが起こりました。雑誌『数学セミナー』でも関連した数学が取り上げられたりしました。

オイラーの関係式と呼ばれる

　　　　　　　　　　　　　　　　　$e^{i\pi}+1=0$

も広く知られるようになったと思います。さてこの式ですが

自然対数の底 $e$, 虚数単位の $i$, 円周率の$\pi$, 数のはじまりである自然数の $1$, 偉大なる発見である整数の $0$。これらが足し算で結ばれ一体となっている

と読み取れます。高校数学Ⅲの無限級数までにこれらの記号はすべて登場し、一つ一つみると確かにそう捉えるのが自然だに思います。

このオイラーの関係式を一般向けに紹介している本はいろいろあるので読んでみるとおもしろいと思います。それから専門書を読むときちんと理解できると思います。

さてこの式の意味をどこまで知って満足するかですが、前回の話「整数の１と有理数の１は違うもの」くらいには目を瞑るのなら、高校数学Ⅲまたは１変数の微分から一気にオイラーの関係式を導くという手法でいいと思います。一般向け解説書はこのルートを辿っていると思います。

少し難しくなりますが、細かい証明は後回しにして１変数の微積分から複素関数を読んでしまうという方法もあります。ここまでくると複素関数論で

　　　　　　　　　　　　　　　　　$e^z$ または $e^{i\pi}$ 

をどのように扱うかが気になります。謎の数学者さんがこの点に関する動画「オイラーの公式は定義？」を上げられているのでそちらをご覧ください。

もちろん、１変数・多変数の微積分をきちんと学び、複素関数論を読めば式の意味を知ることができます。この道を辿った場合は "複素関数論" に惹かれると思います。

一方、代数的な見方をすると実数から複素数の構成が気になる所です(※1)。
もう一度

　　　　　　　　　　　　　　　　　$e^{i\pi}+1=0$

の式を見ますが、この式は複素数 $\mathbb C$ における等式なので、先に述べた

"自然対数の底 $e$, 虚数単位の $i$, 円周率の$\pi$, 数のはじまりである自然数の $1$, 偉大なる発見である整数の $0$。これらが足し算で結ばれ一体となっている"

というのは問題があります。数学に興味を持たせるためのものとしてなら構わないと思うのですが、$+,1, =, 0$ の部分でさえ小学算数で習うものとは違うものです。便宜上同じ記号を使っているだけです。

前回の話はこういう見方を説明するための前振りでした。この感覚を代数学で知り衝撃を受けたものです。▢

※１　整数から有理数、有理数から実数の構成を理解した人なら楽に読めると思います。

整数の１と有理数の１は同じ？ ～現代数学の基礎 集合４～

問題１　整数の $1 \in \mathbb Z$ と有理数の $1 \in \mathbb Q$ は同じ $1$ ですか？ 

　　　　　　　「同じ $1$ でしょ？違うの？」
　　　　　　　「整数は有理数の部分集合なんだから同じ $1$」
　　　　　　　「有理数は整数に分数を加えたものでしょ。だから同じ」

などさまざまな反応があると思いますがもう１問考えてください。

問題２　等式 0.3＋0.7＝1.0 は誤りですか？ 

注：これから書く話は現代数学の目から見たものです。集合と代数の話なので易しくありません。分かってほしいのは、長い歴史を辿って数学が整備されているということです。

問題１をみて「あっ！違う $1$ かもしれないなあ。整数と有理数は違う世界だから」と小中高で学んできた数学しか知らない人がこのように考えられるものでしょうか。

問題２は問題１と繋がりがあるのですが、それが伝わっているでしょうか。

問題１は異なる $1$ であること、 問題２は自然な式であることを説明しようと思います。

 

考えるために有理数$\mathbb Q$ の定義を思い出しましょう。簡単に言えば、分数で表せる数でしたね。これを集合で表現すると

　　　　　　　　　　　　　$\mathbb Q:=\{ \dfrac{m}{n} \mid m \in \mathbb Z, \: n \in \mathbb Z_{>0} \}$

です(※0)。さてそうすると $1$ は分数でないので $1 \in \mathbb Q$ はかなり怪しいですね。$1$ は分数で表すとどのようになるのでしょうか。

　　　　　　　　　　　　　　　　　　$1=\dfrac{1}{\: 1 \:}$

と考えるのが自然だと思いますが、整数 $1$ と分数 $\frac{1}{\: 1 \:}$ を "=" で結んでいますが異なる世界の数ですよね、問題ないのでしょうか。さらに $\frac{2}{\: 2 \:}, \: \frac{3}{\: 3 \:}, \: \frac{4}{\: 4 \:}, \dots $ などは $1$ とは別の数なのでしょうか。

　　　　　　　　　「それくらい目を瞑ってもいいじゃん」
　　　　　　　　　「学校で $1=\frac{1}{\: 1 \:}$ と教えられたよ」
　　　　　　　　　「学校で教えられたのは、ホントは間違ってるの？」

と思ってしまいますよね。不十分ではありますが小学算数でこのことについて言及したはずです。小４算数で分数の概念を学ぶと思いますが次のように導入されていませんでしたか。

　　　　　　　　　　　　　　$1=\dfrac{1}{\: 1 \:}=\dfrac{2}{\: 2 \:}=\dfrac{3}{\: 3 \:}=\cdots $

　　　　　　　　　　　　　$2=\dfrac{2}{\: 1 \:}, \: 3=\dfrac{3}{\: 1 \:}, \: 4=\dfrac{4}{\: 1 \:}, \dots $

を述べた後に約分についても書かれていたと思います。上の式と約分は約束事で、代数学では

　　　　　　（♪1）　　　一対一対応 $a \leftrightarrow \dfrac{a}{\: 1 \:}$　を　$a =\dfrac{a}{\: 1 \:}$ 

と書き
　　　　　　（♪2）　　　　　$\dfrac{a}{\: b \:}=\dfrac{c}{\: d \:} \overset{def}{\Longleftrightarrow} ad=bc$

によって約束します。(♪1) は一対一対応による同一視で、(♪2) は同値関係を与えたのです(※2)。

これによって、

　　　　　　　　　　　　　$1=\dfrac{1}{1}=\dfrac{2}{2}=\dfrac{3}{3}=\dfrac{4}{4}=\cdots$
　　　　　　　　　　　 　　　↕ 約束
　　　　　　　　　　　　　$3=\dfrac{3}{1}=\dfrac{6}{2}=\dfrac{9}{3}=\dfrac{12}{4}=\cdots$

が保証されているのです。この他に演算についても触れなければならないのですが、まだこの『数学雑談』で群(ｸﾞﾝ)しか紹介していないのでここまでにします(※1)。

このように整数の $1$ と有理数の $1$ は別のものなのですが、同一視によって同じものと考えましょうとしているのです。なので抽象代数学のはじめの頃は、明確に区別するために整数の $1$ を $1_{\mathbb Z}$, 有理数の $1$ を $1_{\mathbb Q}$ のように表記したりします。最初、このように書かれて何を難しくしているのかと思いましたが、実際は明確にしていたのです。

次に、代数の見地からすると問題２の式はとても自然です。それは等号の左辺は有理数の中での足し算で、右辺は有理数だからです。もしも右辺を１と書いたら整数の１にしか見えません。つまり、有理数と整数を等号で結んでしまっています。集合が異なっているので自然ではないのです。理科の視点(有効数字)でも自然な式です。

小学算数では $1.0=1$ だと教えますが、理科の視点(有効数字)でも数学の視点でも自然なものではないのです。なのでテストで $1.0$ と書いてあっても✖を付けず〇とし、「いまは１と書くようにしましょう」とコメントを付けておけば十分だと思います。成長するにつれ改善されるし、理科で有効数字を習ったときや抽象代数学を学んだときに理解が深まると思います。「あのときの話はこういうことだったのか」と。▢

補足
$0.1$ が有理数ということを言い忘れていました。$\dfrac{1}{10}$ と $0.1$ は等しいと約束したのです。これにより10進表記が可能になっています。10進表記というのは日常的に使っている10で１つ位を上げる方法で数を表すことです。10進数の方が馴染みがあるでしょうか。

　　　　　　　　　　$0.3+0.7 \leftrightarrow \dfrac{3}{10} + \dfrac{7}{10} = \dfrac{10}{10}  \leftrightarrow 1.0$

ということです。

※０　$n \in \mathbb Z, \neq 0$ でも構いません。

※１　(♪1) は、本来、次のような写像を考えます。

　　　　　　　　　　　　　$\mathbb Z \ni a \mapsto \dfrac{a}{\: 1 \:} \in \mathbb Q$

これは包含写像(ﾎｳｶﾞﾝ ｼｬｿﾞｳ)と呼ばれるものです。写像は関数と思ってよく、『数学事始め』のシリーズ15の１｢名を正す｣の※３でかんたんに説明しています。

※２　同値関係は同じとはどういうことかを数学的に定めたもので、集合論を学ぶと始めの方に書かれています。ここではかんたんに述べるに留めます。

集合$A$ の２元$a, \: b$ に何らかの関係 ~ が与えられいて、$a, \: b$ に関係が成り立っていることを $a \sim b$ と書くことにし、次の３条件が成り立つとき $\sim$ を同値関係といいます：

　　　条件１　$a \sim a$,
　　　条件２　$a \sim b \Rightarrow b \sim a$,
　　　条件３　$a \sim b$ かつ $b \sim c \Rightarrow a \sim c$. ただし、$a, b, c \in A$ である。

~ が = のときがもっとも分かり易い例になります。ふつうの = は同値関係です。

この同値関係があるとこれにより集合Aをうまく分類できるのです。少し高度な例だと、整数が高校数学Aで取り上げられたので合同式を知っている人も多くなったと思いますが、mod3で合同≡を定義すると同値関係が得られ、これによって整数を３の倍数、３で割ると余り１、３で割ると余り２ となるものの３つに分類できますね。

この説明では不足していますが、こういうことができるのです。

今回の内容は集合の同値関係と分類です。注意しなければならないことは、有理数を構成しただけで演算については触れていません。有理数どうしの足し算や掛け算などを導入するには、少なくとも群および環の準同型定理を理解する必要があります。結構険しい山を乗り越えることになりますが、これを乗り越えるとパッと視界が開けます。

数の集合と演算 (代数系入門) ～現代数学の基礎 集合３～

集合は話の前提を与えるので、数学を考える上では大切なものです。高校数学で集合を学ぶのだから数の演算との関係についても触れてほしいのですが、どんどん削らる授業時間数の影響によって余裕がないのだと思います。とても残念です。

０を含む自然数の世界 $\mathbb N$ を見てみます(※-1)。足し算、掛け算はどんな２数を選んでも結果が自然数ですが、引き算と割り算の結果はいつでも自然数になるとは限りません。こういうとき、自然数は和と積に関して閉じてるが、差と商に関しては閉じてないと表現します。

では整数 $\mathbb Z$ ではどうなっているでしょうか。足し算、引き算、掛け算に関しては閉じていますが、割り算に関しては閉じていません。整数は割り算で閉じていませんが、代数学的には 環 (カン)と呼ばれ大切なものの一つです。

問題　有理数 $\mathbb Q$、実数 $\mathbb R$、複素数 $\mathbb C$ は四則演算について閉じてますか。

いずれも四則演算について閉じてます。これらは代数の言葉では 体 (タイ)と呼ばれます。同じ体ですが違いがあります。集合の包含関係では $\mathbb Q \subset \mathbb R \subset \mathbb C$。他に複素数には大小関係がなく、位相(近さ)でも異なる性質があります。

私が学んだ頃の教科書も参考書も手元にはないので、実際にどう書かれていたのか分からないのですが、集合のところでは、雑談ページも含めますが、こういう話も書かれていたように記憶しています。もしかしたらモノグラフシリーズ(※0)を読んでいたので、そちらの記憶かもしれません。ここまでが本題です。▢

【環と体の紹介】
環は、以前紹介した群のことば(※1参照)を利用すると次のように言えます。

集合 $R$ に２つの閉じた演算 和「＋」と積「・」が定義されていて

　　(1) 和に関して可換群を成し、(2) 積に関してモノイドを成し、(3) 分配律をみたす

とき、集合 $R$ は環(ｶﾝ)であると言います(※1)。特に、任意の $R$ の元 $a \neq 0$ に対して積に関する逆元が存在するとき、環 $R$ を体と言います。この逆元が四則演算の割り算に相当し、上で紹介した体と同じものです。代数の言葉できちんと言い直したのです。

天下り的ですが(※2)、整数 $\mathbb Z$ は環を成し、ここから

　　　$a \cdot 0=0 \cdot a=0, \quad a \cdot (-b)=(-a) \cdot b=-ab, \quad (-a)\cdot (-b)=ab$

という性質も得られます。これはまた別の機会にします。▮

※－1　自然数というとき、1, 2, 3, ... を考えますが、０を含めることもあります。今回は自然数と $\mathbb N$ を用いましたが、混乱を避けるために０以上の整数と $\mathbb Z_{\geq 0}$ という記号を好んで使います。

※０　モノグラフシリーズとは、科学新興社から出版されていた高校数学の参考書で、受験参考書というよりは大学数学を意識して書かれていたように思います。矢野健太郎氏が監修をされていました。文庫本で矢野健太郎氏を存じていたので、難しいながらも読んでいました。その当時は進学校の生徒たちがどのような本を読んで数学しているかを知らなかったので、受験生らしくなく、かなり寄り道して独学していたように思います。

これで思い出しましたが、ブルーバックスに『微積分に強くなる』というタイトルの本があり、たぶん高校２年の冬にこれを読んでいたのですが、最終章が理解できずに苦しみました。３年生になって改めて読んだのですが最終章は理解できませんでした。その最終章にはイプシロンｰデルタ論法が書かれていたように記憶していたのですが、ネット検索してみたところ、その章は「関数空間」のようです。

※１　条件(2) をモノイドとしたときは、単位元付き環とも呼ばれます。条件を少し弱くし半群としても環と呼ばれます。群(モノイド, 半群, 逆元)に関しては、以前 「代数学《群の紹介》」を書いているのでこちらをご覧ください。このときのために、モノイドや半群も紹介したのです。

分配律は $a \cdot (b+c)=a \cdot b + a \cdot c, \: (a+b) \cdot c=a \cdot c +b \cdot c$ のことです。分配法則という名の方が馴染みがありかもしれませんね。

※２　天下り的と表現しているのは、0を含む自然数から知られていた整数を再構成するときに上の(1),(2),(3)であることを要請し、この整数の構造に注目したのが環だからです。視点を変え、知られていた整数から環を定義し、整数は環を満たしているとしたのです。

何だかおかしな手順ですが、整数(0, ±1, ±2, ±3, ...)は長い年月をかけて組み立てられ、使われてきていたものです。この整数を新しく手に入れた "集合" でもって整数を捉えなし整備したのです。人類の偉大さを感じるのは、集合を知らずに組み立てたマイナスの計算が整合性を持っていたということです。前回紹介したオイラーの関係式も見事な発見だったと思います。

高校数学までだと環が空虚なものに見えますが、多項式全体や区間 [0, 1] 上で定義された連続関数全体や行列も環構造をもっています。高校数学Ⅱで多項式の割り算を学びますが、これにより整数と多項式は同じような性質を持っていそうであることが見え、整数のように多項式においても合同式を考えることが出来ます。大学受験数学ではこの結果を利用したりしますね。
※ 区間 [0, 1] というのは $0 \leqq x \leqq 1$ のことです。高校数学Ⅲ以降で習う記号です。

【余話】
中学数学は小学算数と高校数学の狭間にあり、小学算数の社会生活における実用性と現代数学以前の高校数学の両面を持ち合わせています。

小学算数は日常生活を意識して組み立てられている点においては、かなり工夫されていると思います。０以上の整数の話から始まり、０以上の有理数を学びます。分数、小数は大切な概念で、図形に関する知識も必要不可欠です。算数でもっとも難しいのは割合(倍で捉えること)と１当たりの量だと思います。割合も１当たりの量と捉えることは出来ますが、別なものと考える方がいいと思います。

集合を無視すると... ～現代数学の基礎 集合２～

 オイラーの関係式

　　　　　　　　　　　　　　　　$e^{i \theta}=\cos \theta +i \sin \theta$

において、$\theta$ に $\pi$ を代入することで

　　　　　　　　　　　　　　　　　　　$e^{i\pi}=-1$

という関係式が得られますが、オイラーの関係式を導くのに

（1） 　　　$e^x=1+\dfrac{x}{1!}+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots +\dfrac{x^n}{n!}+\cdots$

の $x$ に $i\theta$ を代入して

（2） 　　　$e^{i\theta}=1+\dfrac{i\theta}{1!}+\dfrac{(i\theta)^2}{2!}+\dfrac{(i\theta)^3}{3!}+\cdots +\dfrac{(i\theta)^n}{n!}+\cdots$

とし、$i^2=-1$ を利用して式を次のように整理し

　　　　　　$e^{i\theta}=\left(1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\cdots+(-1)^k \dfrac{x^{2k}}{(2k)!}+\cdots \right)+i \left( x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}- \cdots +(-1)^k \dfrac{x^{2k+1}}{(2k+1)!}+\cdots \right)$

として、前の括弧の中身が $\cos \theta$ で後の括弧の中身が $\sin \theta$ であるから

　　　　　　　　　　　　　　　$e^{i \theta}=\cos \theta +i \sin \theta$

が成り立つと説明されたりしますが、これには問題があります。

式 (1) の $e^x$ は実数上で定義されている関数で、等式は $x=0$ におけるテイラー展開で収束域が全実数という条件の下で成り立っています。だから $x$ に虚数を代入して式 (2) が成り立つとするのに問題があるのです。

発見するための一つの方法ではありますが、これを証明のように読み取ってはいけません。例えば次の説明はどうでしょうか。

ルートの公式　$\sqrt{a} \sqrt{b}=\sqrt{ab}$　において、$a, \: b$ に $-1$ を代入すると右辺は

　　　　　　　　　　　　　$\sqrt{(-1) \cdot (-1)}=\sqrt{1}=1$,

左辺は

　　　　　　　　　　　　　$\sqrt{-1} \sqrt{-1}=(\sqrt{-1})^2=-1$.

したがって、$-1=1$ となる。

これはどこに問題があるか比較的気づきやすいのですが、大学数学の線形代数におけるハミルトン･ケーリーの定理の証明で、行列 $A$ の固有多項式 $\Phi_A(\lambda)=|\lambda E-A|$ に $\lambda=A$ を代入して

　　　　　　　　　　　　　　　　　　$\Phi_A (A)=0$

としたときの誤りは気づき難いと思います。大学１年生だとまだまだ集合の考えには慣れていないからです。▢

宝の持ち腐れ ～現代数学の基礎 集合～

 高校数学Ⅰおよび A で集合を扱います(※0)。であればこれを使って小中の数学を見直すことをしてもらいたいのですが、実際は確率で使われる程度です。

集合は現代数学を学ぶ上では必須で、どのような世界で考えるかを提示する役目を負っています。例えば

問題１　①方程式 $x+8=3$ を解け。　　②方程式 $x^2=3$ を解け。

と問われたらふつう ① $x=-5$、② $x=\pm \sqrt{3}$ と答えると思いますが、本来、問題にはどの範囲で解くかの明示が必要です。

①の場合：正の整数の範囲で解けであれば解はなく、整数の範囲でなら上で示したように解けます。

②の場合：有理数の範囲で解けであれば解はなく、正の実数の範囲でなら $x=\sqrt{3}$ と解くことができます。

正の整数で解くことは人数や物の個数を求めるときですし、正の実数で解くというのは正方形の一辺の長さや時間を求めるときが考えられます。

次の問題はどうでしょうか。
問題２　次の２次関数のグラフを図示したときの $x$切片を求めよ。

① $y=x^2+4x-1$ 　　　　　　　　　② $y=x^2-2x+3$ 

高校数学Ⅰの２次関数でこのような問題を扱います。
出題者を忖度して ① $x$切片は $-2 \pm \sqrt{5}$、②は $x$軸と共有点を持たないので $x$切片はない　と答えるのでしょうが、本来は関数の定義域を明示する必要があります。

②で２次方程式 $x^2-2x+3=0$ を単に解くと虚数解が出てきます。でも $x$軸はふつう実数を想定しているのでこの値は適しません。なので式変形により $y>0$ であることを明示して $x$軸と共有点を持たないことを述べることになります。

せっかく集合を教えているのですから活用しない手はないですよね。
中高の方程式はそれまでに学んだ数の世界が前提であり、関数は実数の部分集合から実数への対応が前提のようです。であっても明確に書かれていないし、実数という用語自体あまり使われません。
そのためか、大学入試問題では有理数･実数･複素数などの用語を使い受験生の知識をテストしているように思います。なので受験生は正規の授業でなく受験勉強の中で数の集合を修得しているように思います。▢

※０　一時期はアメリカの数学教育の現代化をマネて小学算数や中学数学でも集合が教えられていました。