三角関数の合成

結論から言うと,合成の公式は覚える式ではありません.覚えても使い物になりません.そして忘れてしまえば終わりです.

\(a \sin \theta + b \cos \theta\)を合成してみます.以下のように「導く」のがおすすめです.

証明

まず\(\sin\theta,\cos\theta\)の係数\(a,b\)の二乗の和のルートをくくりだす.すなわち
\[
\begin{align*}
a \sin \theta + b \cos \theta &= \sqrt{a^2+b^2}\left(\frac{a}{\sqrt{a^2+b^2}}\sin \theta + \frac{b}{\sqrt{a^2+b^2}}\cos \theta\right)\\
\end{align*}
\]ここで,点\(\displaystyle \left(\frac{a}{\sqrt{a^2+b^2}},\frac{b}{\sqrt{a^2+b^2}}\right)\)は\(\displaystyle\left(\frac{a}{\sqrt{a^2+b^2}}\right)^2+\left(\frac{b}{\sqrt{a^2+b^2}}\right)^2=1\)をみたすことから単位円周上の点であるといえるので,その点と原点を結ぶ線分が\(x\)軸の正の方向となす角を\(\alpha\)とおけば
\[\frac{a}{\sqrt{a^2+b^2}}=\cos \alpha,~\frac{b}{\sqrt{a^2+b^2}}=\sin \alpha \tag{\(\ast\)}\]とおける.
したがって
\[
\begin{align*}
a \sin \theta + b \cos \theta &= \sqrt{a^2+b^2}\left(\frac{a}{\sqrt{a^2+b^2}}\sin \theta + \frac{b}{\sqrt{a^2+b^2}}\cos \theta\right)\\
&=\sqrt{a^2+b^2}\left(\cos \alpha \sin \theta + \sin \alpha \cos \theta\right)\\
&=\sqrt{a^2+b^2}\left(\sin \theta \cos \alpha+\cos \theta \sin \alpha\right)
\end{align*}
\]
加法定理を逆向きに使うことで
\[=\sqrt{a^2+b^2}\sin(\theta + \alpha)\]

証明終

これは証明のための操作ではなく,実際に合成する際も上の証明と全く同じように考え,変形します.ですからこの証明を理解するということは,すなわち具体的な合成の手法が手に入ったということを意味します.また,上のように理解しておくと,たとえば\((\ast)\)において,点\(\displaystyle \left(\frac{b}{\sqrt{a^2+b^2}},\frac{a}{\sqrt{a^2+b^2}}\right)\)であっても\(\displaystyle\left(\frac{b}{\sqrt{a^2+b^2}}\right)^2+\left(\frac{a}{\sqrt{a^2+b^2}}\right)^2=1\)をみたすことからやはり単位円周上の点であるといえるので,\[\frac{b}{\sqrt{a^2+b^2}}=\cos \alpha’,~\frac{a}{\sqrt{a^2+b^2}}=\sin \alpha’\]ともおけることに気付きます.ここから上と同様の変形を行うと,
\[
\begin{align*}
a \sin \theta + b \cos \theta &= \sqrt{a^2+b^2}\left(\frac{a}{\sqrt{a^2+b^2}}\sin \theta + \frac{b}{\sqrt{a^2+b^2}}\cos \theta\right)\\
&=\sqrt{a^2+b^2}\left(\sin \alpha’ \sin \theta + \cos \alpha’ \cos \theta\right)\\
&=\sqrt{a^2+b^2}\left(\cos \theta\cos \alpha’ + \sin \theta\sin \alpha’\right)\\
&=\sqrt{a^2+b^2}\cos(\theta + \alpha’)
\end{align*}
\]とも変形できることに必然的に気付きます.

\(\ast\)      \(\ast\)      \(\ast\)

公式を導出するまでのに多くの時間と労力を要するのなら,その結果を覚えることも確かに必要です.しかし,そうでないのなら,必要に応じてその場で作ってしまえばいいと割り切ってしまうのもひとつの姿勢です.

結果を覚えるのではなく,導出できるようにしておけば,万が一忘れてもすぐに再現できる.忘れてもいいやと開き直れる.導出過程自体が解法の糸口になることもある.他の公式との共通点が見えきて機会が深まことだって珍しくない.いいことづくめ.

公式を結果だけ覚えろ,あるいは覚えるしかないなどと言われたら相手が誰であれ警戒しましょう.一旦立ち止まり,本当に覚える必要のある式なのか?記憶に頼らずにかわす方法はないか?を自分自身の頭で考える癖を持ちしましょう.自分ひとりで判断できなければ,友人をはじめいろいろな人に意見を求めましょう.数学においても「セカンドオピニオン」は重要です.

数学的帰納法

前回の「任意」について思い出したことをひとつ.

次のような命題の証明について考えてみます.\(p(n)\)は条件,\(n\)を自然数とします.

\[\forall n~p(n) \tag{\(\ast\)}\]

この命題は,
\[\text{どんな\(n\)についても\(p(n)\)が真である}\]
ということですから,
\[p(1),~p(2),~p(3),~p(4),~\cdots~\text{が真である}\]
ことを証明する,ということです.(これが目標).これを証明するには,どうすればよいかを考えます.

まず,\[p(1)\text{が真である}\tag{A}\]ことを示します.続いて,\[p(2),p(3),\cdots \text{が真である}\]ことも同様に示していけばよい・・・と言いたいところですが,当然,無限回の考察は現実的には不可能です。そこで,天下りですが次の命題を考えます.

\[p(n) \Longrightarrow p(n+1)\tag{B}\]

この命題は,
\[\forall n[p(n) \longrightarrow p(n+1)]\]
すなわち,
\[\text{すべての\(n\)について\(p(n) \rightarrow p(n+1)\)が成り立つ}\]
ということですから,\(n=1,2,3,\cdots\)と代入して

\[
\begin{cases}
&\text{\(p(1) \rightarrow p(2)\)が成り立つ}\\
&\text{\(p(2) \rightarrow p(3)\)が成り立つ}\\
&\text{\(p(3) \rightarrow p(4)\)が成り立つ}\\
&\cdots
\end{cases}\tag{B’}
\]

と言い換えられることになります.この命題(B)(すなわち(B’))が証明できたとしましょう.そのとき,どのようなこことがわかるか,ご利益をみてみます.

「\(p(1) \rightarrow p(2)\)が成り立つ」について見てみます.真理値表
\(p(1) \rightarrow p(2)\)が真となる行に着目すると,次の①②③の3通りの状況が考えられます.


しかし,\(p(1)\)が真であることは既に(A)で確認済みなので,\(p(1)\)の列が偽となる②と③の状況は起こり得ず,結局①の状況しかありえません。この①の行を眺めると,\(p(2)\)も真であることが分かります.これで,\(p(1)\)と\(p(2)\)が真であることがわかりました.

同様に考えて,
「\(p(2) \rightarrow p(3)\)が成り立つ」ことから,\(p(3)\)も真となります.
「\(p(3) \rightarrow p(4)\)が成り立つ」ことから,\(p(4)\)も真となります.
「\(p(4) \rightarrow p(5)\)が成り立つ」ことから,\(p(5)\)も真となります.

となり,結局,\[p(1),~p(2),~p(3),~p(4),~\cdots~\text{が真である}\]であること,すなわち冒頭の命題\[\forall n~p(n) \tag{\(\ast\)}\]が証明されました.命題(B)を示すご利益は,ここにあったというわけです.

以上をまとめると,\((\ast)\)を証明するためには,命題(A)かつ(B),すなわち\[p(1) \land (p(n) \Rightarrow p(n+1))\]
を確認すればよい,ということがわかります.すなわち,

数学的帰納法\[p(1) \land \left(p(n) \Rightarrow p(n+1)\right) \Longrightarrow \forall n~p(n)\]

が言えることになります.これを数学的帰納法といいます.

ちなみに教科書では,「任意(\(\forall\))」を含む主張(述語論理)を頑なに扱わないため,この数学的帰納法を扱う際も

数学的帰納法を用いて,次の等式を証明せよ.\[1+2+3+\cdots+n=\frac{1}{2}n(n+1)\]

出典:高等学校 数学Ⅱ 数研出版

 

という,本来あるべき「\(\forall\)」「任意の」「すべての」という記述のない主張になっています.しかし,上で見たように,ここでは「任意の」「すべての」が主張の根幹であって,それを書かなければ何をさせたいのか,何をすべきなのかそのアウトラインが全然見えてこないと思うのです.だから,ここは

数学的帰納法を用いて,任意の自然数\(n\)に対して次の等式が成り立つことを証明せよ.\[1+2+3+\cdots+n=\frac{1}{2}n(n+1)\]

と出題すべきだと僕は思う.これを意図しつつも書いていないということは「空気読めよ」ってことなんでしょうか(これとかもそう…!).でも初めて学ぶ高校生ががそんなことわかりますかね….任意だのなんだの考えずにとりあえず「型」通りにやれってことかな?まあ,たしかにそっちの方が「あたりさわりなく」できるタイプは量産できるかもしれませんが.教科書のこういうところに個人的に?と思ってしまいます.

任意の

とある問題の証明を読んでいたら,こんな一文に出会いました.記号の意味はさておき,\(\delta(A),\delta(\overline{A}),\epsilon\)はいずれも実数です.

(中略) \(\delta(\overline{A}) \leq \delta(A) + \epsilon\).\(\epsilon\)は任意の正数だから,\(\delta(\overline{A}) \leq \delta(A)\).

 

(ここで理解が詰まる)

「任意」と言われたから,どんな正数でもOKですが,でかい数をもってきても結論の不等式が得られるとは思えませんから,めちゃくちゃ小さい数を持ってくることにします.\(\delta(A)\)に加えられる数\(\epsilon\)をめちゃくちゃ小さくしたとしてもやっぱり\(\delta(\overline{A})\)よりも\(\delta(A)\)の方が大きい…,ということは\(\delta(A)\)の方が大きいと言える…のか…??感覚的には納得できるような気もしないでもないですが,でも小さいとはいえ正数を加えられている以上それを除いてもやはり\(\delta(\overline{A})\)以上だ,なんて言えるのだろうか,とも感じられ,釈然としません.

議論に関係のない文字がうるさいので,ちょっと簡略化して書き直します.

\(a,b \in \mathbb{R}\)とする.
任意の正数\(\epsilon\)に対して\(a \leq b + \epsilon\)が成り立つならば,\(a \leq b\)が成り立つ.

こう書くとちょっと高校数学の証明問題ぽいですね.実際,いちおう数学Aの集合と論理を終えた高1生なら理解できる(証明できる)と思います.調べてみましょう.

証明

背理法で示す.証明したいことは
\[\forall \epsilon >0 [a \leq b + \epsilon ]\Longrightarrow a \leq b\]
であるから,否定をとると
\begin{align*}
&\overline{\forall \epsilon >0 [a \leq b + \epsilon ]\Longrightarrow a \leq b}\\
\Longleftrightarrow~&\overline{\overline{\forall \epsilon >0 [a \leq b + \epsilon ]} \lor a \leq b}\\
\Longleftrightarrow~&\forall \epsilon >0 [a \leq b + \epsilon ] \land a > b
\end{align*}\(a>b\)だから,\(a-b > 0\).また,\(\forall \epsilon >0 [a \leq b + \epsilon ]\),つまり\(a \leq b + \epsilon\)が任意の\(\epsilon > 0\)について成り立つから,ここでは\(\epsilon=\frac{a-b}{2} >0\)ととることにする.すると,\[a \leq b +\frac{a-b}{2} \Longleftrightarrow a \leq b\]を得る.これは\(a>b\)であることに反する.

証明終

この証明,知識としてはほぼ高校数学の知識しか使ってない上にとてもシンプルな論証なので,教科書では無視しがちな「任意の」を重要性を確認させる問題としていいんじゃないかな,なんて思いました.「任意の」と言っているのだから,都合のよい\(\epsilon\)を代入したところがポイントです.

Schuwarzの不等式

不等式

\[\sqrt{\displaystyle \sum_{i=1}^n (a_i+b_i)^2} \leq \sqrt{\displaystyle \sum_{i=1}^n a_i^2} + \sqrt{\displaystyle \sum_{i=1}^n b_i^2}\]

を証明します.

証明
\begin{align*}
&\displaystyle \sqrt{\sum_{i=1}^n (a_i+b_i)^2} \leq \sqrt{\displaystyle \sum_{i=1}^n a_i^2} + \sqrt{\displaystyle \sum_{i=1}^n b_i^2}\\
\Longleftrightarrow~&\displaystyle \sum_{i=1}^n (a_i+b_i)^2 \leq \displaystyle \sum_{i=1}^n a_i^2 +2\sqrt{\left(\displaystyle \sum_{i=1}^n a_i^2\right)\left(\displaystyle \sum_{i=1}^n b_i^2\right)} + \displaystyle \sum_{i=1}^n b_i^2\\
\Longleftrightarrow~&\displaystyle \sum_{i=1}^n a_ib_i \leq \displaystyle \sqrt{\left(\displaystyle \sum_{i=1}^n a_i^2\right)\left(\displaystyle \sum_{i=1}^n b_i^2\right)}\\
\Longleftarrow~&\displaystyle \left|\sum_{i=1}^n a_ib_i \right| \leq \displaystyle \sqrt{\left(\displaystyle \sum_{i=1}^n a_i^2\right)\left(\displaystyle \sum_{i=1}^n b_i^2\right)}\quad\text{※ 十分条件}\\
\Longleftrightarrow~&\displaystyle \left(\sum_{i=1}^n a_ib_i \right)^2 \leq \displaystyle \left(\displaystyle \sum_{i=1}^n a_i^2\right)\left(\displaystyle \sum_{i=1}^n b_i^2\right)
\end{align*}
したがって,最後の不等式を証明すればよい.ここで,天下りではあるが,\[\displaystyle \sum_{i=1}^n (a_ix+b_i)^2\]という式を考える.平方の和なので,これはもちろん正であることに着目して,
\begin{align*}
&\displaystyle \sum_{i=1}^n (a_ix+b_i)^2 \geq 0\\
\Longleftrightarrow~&\displaystyle \left(\sum_{i=1}^n a_i^2\right)x^2+2\left(\sum_{i=1}^na_ib_i\right)x + \sum_{i=1}^nb_i^2 \geq 0\\
\Longleftrightarrow~&\left(\sum_{i=1}^na_ib_i\right)^2-\left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^nb_i^2\right) \leq 0\quad\text{※ 判別式}\\
\Longleftrightarrow~&\left(\sum_{i=1}^na_ib_i\right)^2 \leq \left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^nb_i^2\right)\\
\end{align*}証明終

途中の不等式はSchuwarzの不等式と呼ばれます.

Schuwarzの不等式
\[\left(\displaystyle \sum_{i=1}^n a_i b_i \right)^2 \leq \left(\sum_{i=1}^n a_{i}^2 \right)\left(\sum_{i=1}^n b_{i}^2 \right)\]すなわち
\[(a_1b_1+a_2b_2+\cdots+a_nb_n)^2 \leq (a_{1}^2+a_{2}^2+\cdots + a_{n}^2)(b_{1}^2+b_{2}^2+\cdots + b_{n}^2)\]

\(n=2,3\)の場合の証明は数学Ⅱの練習問題でお馴染みですが,一般の場合は上のように証明するのが有名です.

 

 

★Housdorff空間における1点集合

松坂和夫先生の「集合と位相」を読んでいて,次のような記述に出会いました.

任意のHousdorff空間\(S\)において,ただ1点のみからなる集合\(\{x\}\)は\(S\)の閉集合である.

その理由が,

実際,\(y\)を\(x\)と異なる\(S\)の点とすれば,\(x\)を含まない\(y\)の近傍があるから,\(y \in \overline{\{x\}}\)とはならない.

 

だそうです.なるほど,さんざん調べ,悩んだ末…( ^ω^)

証明

\(S\)をHousdorff空間とする.1点\(x\in S\)をとる.\(y \in S-\{x\}\)を任意にとれば,\(x \neq y\)なので,\[U \in \mathbb{V}(x),~V \in \mathbb{V}(y),~U\cap V = \phi\]をみたす\(U,~V\)が存在する.このとき,\[y \in V \subset S-U \subset S-\{x\}\]\(V \subset S-\{x\}\)であることに着目すると,\(V \in \mathbb{V}(y)\)であるから,\(S-\{x\} \in \mathbb{V}(y)\)である(※1).\(y\)は\(S-\{x\}\)における任意の元であったから,結局\[\forall y \in S-\{x\}[S-\{x\} \in \mathbb{V}(y)]\]が言えたことになる.ここで,
\[
\begin{align*}
\forall y \in S-\{x\}[S-\{x\} \in \mathbb{V}(y)]\Longleftrightarrow~ S-\{x\} \in \mathfrak{O}
\end{align*}
\]であるから(※2),
\[
\begin{align*}
S-\{x\} \in \mathfrak{O}~\Longleftrightarrow~ &(S-\{x\})^c \in \mathfrak{A}\\
\Longleftrightarrow~ &(S\cap\{x\}^c)^c \in \mathfrak{A}\\
\Longleftrightarrow~ &S^c\cup\{x\} \in \mathfrak{A}\\
\Longleftrightarrow~ &\phi\cup\{x\} \in \mathfrak{A}\\
\Longleftrightarrow~ &\{x\} \in \mathfrak{A}
\end{align*}
\]証明終

…でぎだっ!!

※1の証明

\[ V \in \mathbb{V}(x), V \subset V’ \Longrightarrow V’ \in \mathbb{V}(x)\]

証明
\(V \in \mathbb{V}(x) \overset{\text{def}}{\Longleftrightarrow} x \in V^{i}\)であることと,\(V \subset V’ \Longrightarrow V^i \subset V’^i\)であることから,
\[
\begin{align*}
V \in \mathbb{V}(x), V \subset V’ \Longrightarrow~&x \in V^{i},V^i \subset V’^i\\
\Longrightarrow~&x \in V^{i}\subset V’^i\\
\Longrightarrow~&x \in V’^i\\
\overset{\text{def}}{\Longleftrightarrow}~& V’\in \mathbb{V}(x)
\end{align*}
\]証明終

※2の証明

\[ \forall x \in O[O \in \mathbb{V}(x)]\Longleftrightarrow~ O \in \mathfrak{O}\]

証明
\begin{align*}
\forall x \in O[O \in \mathbb{V}(x)]\Longleftrightarrow~&\forall x[x \in O \rightarrow x \in O^i]\\
\Longleftrightarrow~&x \in O \Rightarrow x \in O^i\\
\Longleftrightarrow~& O \subset O^i\\
\Longleftrightarrow~& O = O^i\\
\Longleftrightarrow~& O \in \mathfrak{O}
\end{align*}証明終

…とりあえずこれで片付いたのでよかったんだけど,本にあった

実際,…(中略)… \(y \in \overline{\{x\}}\)とはならない.

 

とは何だったのか…?落ち着いて調べてみると,

任意の\(y \in S-\{x\}\)に対して,
\begin{align*}
\text{\(y \in \overline{\{x\}}\)とはならない}\Longleftrightarrow~& y \notin \overline{\{x\}}\\
\Longleftrightarrow~&y \notin \{x\}^a\\
\Longleftrightarrow~&y \in \{x\}^{ac}\\
\Longleftrightarrow~&y \in \{x\}^{ci}\\
\Longleftrightarrow~&y \in (S-\{x\})^{i}\\
\overset{\text{def}}{\Longleftrightarrow}~&S-\{x\} \in \mathbb{V}(y)\\
\Longleftrightarrow~&S-\{x\} \in \mathfrak{O}&\text{∵上の※2}\\
\Longleftrightarrow~&\{x\} \in \mathfrak{A}\\
\end{align*}
というわけですね.なるほど.(ここまでで半日以上潰す)

★明らかに?

数学の本を読んでいるとよく見る言い回し「明らかに…」「直ちに…」「…は容易に示される」

…全然「明らか」じゃないし「直ちに」求まらないし「容易に」示せないんですけど!!

\(\mathbb{R}^n\)の任意の開球体\(B(x;\epsilon)\)は凸集合である.

 

ああ?(怒)

…まず準備.開球体の定義は,

\(x\in \mathbb{R}^n\)に対して,
\[B(x;\epsilon)=\{y \in \mathbb{R}^n|d(x,y)<\epsilon\}\]ただし,\(d(x,y)=\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-y_i)^2}\)

線分\(\overline{ab}\)の定義は,

\(a,b\in\mathbb{R}^n\)に対して,集合\[\{y\in \mathbb{R}^n|y=(1-t)a+tb,~0\leq t \leq 1\}\]を\(a,b\)を結ぶ線分といい,\(\overline{ab}\)で表す.

凸集合の定義は,

\(\mathrm{M}\)を\(\mathbb{R}^n\)の部分集合とするとき,\(\mathrm{M}\)が
\[a,b\in\mathrm{M} \Longrightarrow \overline{ab}\subset M\]をみたすとき,\(\mathrm{M}\)を凸集合という.

したがって,
\[a,b\in B(x;\epsilon) \Longrightarrow \overline{ab}\subset B(x;\epsilon)\]
を証明すればよい.やってみます.

証明
\[a,b\in B(x;\epsilon) \Longrightarrow \overline{ab}\subset B(x;\epsilon)\]が示されればよい.まず,仮定は
\[
\begin{align*}
a,b\in B(x;\epsilon)\Longleftrightarrow~&d(x,a)<\epsilon,d(x,b)<\epsilon\\
\Longleftrightarrow~&\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-a_i)^2} < \epsilon,\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-b_i)^2} < \epsilon
\end{align*}
\]結論は
\[
\begin{align*}
&\overline{ab}\subset B(x;\epsilon)\\
\Longleftrightarrow~&c \in \overline{ab} \Rightarrow c \in B(x;\epsilon)\\
\Longleftrightarrow~&c \in \{y\in \mathbb{R}^n|y=(1-t)a+tb,~0\leq t \leq 1\} \Rightarrow c \in \{y \in \mathbb{R}^n|d(x,y)<\epsilon\}\\
\Longleftrightarrow~&c=(1-t)a+tb,~0\leq t \leq 1 \Rightarrow d(x,c)<\epsilon\\
\Longleftrightarrow~&c=(1-t)a+tb,~0\leq t \leq 1 \Rightarrow \sqrt{\displaystyle\sum_{i=1}^{n}(x_i-c_i)^2} < \epsilon
\end{align*}
\]だから結局,示すべきことは
\[\begin{cases}\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-a_i)^2} < \epsilon,\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-b_i)^2} < \epsilon \\ c=(1-t)a+tb \\ 0\leq t \leq 1\end{cases}\Longrightarrow \sqrt{\displaystyle\sum_{i=1}^{n}(x_i-c_i)^2} < \epsilon\]であることが分かる.
\[
\begin{align*}
\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-c_i)^2}=&\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-(1-t)a_i-tb_i)^2}&\text{(ア)}\\
=&\sqrt{\displaystyle\sum_{i=1}^{n}\left((1-t)(x_i-a_i)+t(x_i-b_i)\right)^2}\\
\leq &\sqrt{\displaystyle\sum_{i=1}^{n}((1-t)(x_i-a_i))^2}+\sqrt{\sum_{i=1}^{n}(t(x_i-b_i))^2}&\text{(イ)}\\
= &(1-t)\sqrt{\displaystyle\sum_{i=1}^{n}(x_i-a_i)^2}+t\sqrt{\sum_{i=1}^{n}(x_i-b_i)^2}&\text{(ウ)}\\
< &(1-t)\epsilon+t\epsilon=\epsilon &\text{(エ)}
\end{align*}
\]
(イ)はコーシーシュワルツの不等式,(ア)(ウ)(エ)は仮定による.(証明終)

「容易に」とか「明らかに」とか言われてそこの理解に時間かかったりあるいは理解できなかったりすると,こういうのが「容易に」「明らかに」理解できるレベルじゃなければあまり関わってはいけない世界なのかなと思って凹む….が,それでも執念深く続けていればまた見える世界が変わってくるのかな?とも思います.頑張ろうっと.

記述について

命題\(p\)が真である

は自然ですが,

条件\(p(x)\)が真である

は少し違和感があります.なぜなら,真か偽かは\(x\)に入る値によって変わるからです.でもこの言い回しはしばしば目にします.「\(x^2 \geq 0\)が成り立つ(は真である)」とか.一般に,「条件\(p(x)\)が成り立つ(は真である)」と書くとき,これは「どんな\(x\)についても」という一言が省略されている,と考えられます.つまり,

条件\(p(x)\)が成り立つ

とは,

どんな\(x\)についても,条件\(p(x)\)が成り立つ

論理記号を用いて書けば,
\[\forall x~p(x)\]
ということです.

以上を確認した上で,

次の数列\(\{a_n\}\)の一般項を求めよ.\[1,~3,~7,~13,~21,~\cdots\]

出典:高等学校 数学Ⅱ 数研出版

の解答について見てみたいと思います.次は教科書の解答の一部抜粋です(式番号は僕がつけました).

(中略)

よって,\(n\geq 2\)のとき,\[a_n=\cdots=1+\frac{1}{2}(n-1)n\]
すなわち\[a_n=n^2-n+1 \tag{1}\]
初項は\(a_1=1\)なので,この式は\(n=1\)のときにも成り立つ.
したがって,一般項は\[a_n=n^2-n+1 \tag{2}\]

 

\((1)\)は,\(n \geq 2\)において成り立つ式であり,\((2)\)は\(n \geq 1\)において成り立つ式です.\((1)\)と\((2)\)は見かけは同じでも主張が違うことに注意せねばなりません.

もちろん,このことを文頭で「\(n\geq 2\)のとき」という一言で示しているわけですが,個人的にはこれら二つの式は違う主張である以上,そのことを数式としてはっきり明示すべきと思う.つまり,\((1)\)においては
\[a_n=n^2-n+1 \quad (n \geq 2)\]
と,そして\((2)\)においては
\[a_n=n^2-n+1 \quad (n \geq 1)\]というように(もちろん前後の日本語も微調整).でないとその辺の主張が弱い気がする.実際,学び始めの高校生はこの辺はかなり危ういはずで,\((1)\)まで進んで「とりあえず式が求まった!おわり!\(n=1\)のとき?細かいことは気にしない!」となる高校生は少なくない(自分もそうでした).それに,上のような記述をすることによって,いやいや,そういう「細かいこと」まで気にするのが数学なんだよ,という気付きにも繋がるだろうし.

さらに,記事冒頭に確認したように,何も書かないと「すべての自然数について成り立つ」という意味になりかねません.つまり,\((1)\)の式
\[a_n=n^2-n+1\]
は正確に書けば
\[\forall n\in \mathbb{N}[n\geq 2 \rightarrow a_n=n^2-n+1]\]
ですが,これを\((1)\)のように\(a_n=n^2-n+1\)と単独で見た場合,
\[\forall n \in \mathbb{N}~[a_n=n^2-n+1]\]
という意味になりかねない.

僕は以前「教科書の記述を型として覚えさせるのが大切なのだから,\((n\geq 2)\)など書かずに教科書の記述通りに書くべき」と指摘を受けたことがある.実際,確かに教科書とまったく同じ記述(型)でなければ安心できない生徒も少なくないようです.だけど,解答を「型」なるものとして学ぶとその「型」に嵌めようとするがあまりそこに思考が介在する余地が消え失せ,結果とんでもないミスをしでかすことがある(そら考えてないのだからアタリマエ).そもそも解答なんてのは採点者に対する説明責任を果たしつつ論理的な誤りさえなければどう表現したっていいわけで,ならば別に教科書に盲目的に従う必要もなく,採点者そして何より自分自身への誤解がないように記述すべきでしょ,と僕は思うのです.

ついでながらノートなんかもそう.ノートをとる際,教科書の解答と全く同じ記述になっているひとも多いと思う.でも,教科書とまったく同じ内容なら,綺麗に印刷されている教科書を読めばいいのであって,それをそっくりそのまま写すことに意味はあるのでしょうかね.ノートというのは,未来の,おそらくは内容を完全に忘れているであろう自分へのメッセージでもある.だからこそ,教科書をそのまま写すのではなく,完全忘却した頭で読んでもすぐに理解を再現できるように,そして誤解のないように,なるべく自分の言葉でくどいくらいに気を遣いむしろ冗長な記述であるべきだと僕は思うわけです.

というわけで,教科書を金科玉条のごとく写経するなんて堅苦しいことはせず,自分の言葉で,自分自身が納得できるように自由に記述しましょう.「教科書の記述の簡潔さを学ぶべき」という意見もありますが,記述としての簡潔さとかそんなのは結果的経験的に得られるべきもので,初学者が初めから狙う類のものではないと思います.ってかそもそも「簡潔」っていうのか,アレ…

◆値域の問題(別解)

\(4x^2-8xy+10y^2=1\)のとき,\(x^2+y^2\)の最大値と最小値を求めよ.

\(x^2+y^2\)がとりうる値の範囲を\(\mathcal{R}\)とおく.
\begin{align*}
&k \in \mathcal{R}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1\end{cases}\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1\end{cases} \land \exists r \exists \theta \begin{cases} x=r\cos\theta \\ y= r\sin \theta \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \exists r \exists \theta \left[\begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1\end{cases} \land \begin{cases} x=r\cos\theta \\ y= r\sin \theta \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \exists r \exists \theta \left[\begin{cases} r^2=k \\ 4r^2\cos^2\theta-8r^2\cos\theta\sin\theta +10r^2\sin^2\theta=1\end{cases} \land \begin{cases} x=r\cos\theta \\ y= r\sin \theta \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \exists r \exists \theta \left[\begin{cases} r^2=k \\ 4k\cos^2\theta-8k\cos\theta\sin\theta +10k\sin^2\theta=1\end{cases} \land \begin{cases} x=r\cos\theta \\ y= r\sin \theta \end{cases}\right]\\
\Longleftrightarrow~&\exists r \exists \theta \left[\begin{cases} r^2=k \\ 4k\cos^2\theta-8k\cos\theta\sin\theta +10k\sin^2\theta=1\end{cases} \land \exists x \exists y \begin{cases} x=r\cos\theta \\ y= r\sin \theta \end{cases}\right]\\
\Longleftrightarrow~&\exists r \exists \theta \begin{cases} r^2=k \\ 4k\cos^2\theta-8k\cos\theta\sin\theta +10k\sin^2\theta=1\end{cases}\\
\Longleftrightarrow~&\exists r \begin{cases} r^2=k \\ \exists \theta [4k\cos^2\theta-8k\cos\theta\sin\theta +10k\sin^2\theta=1]\end{cases}\\
\Longleftrightarrow~&\exists r \begin{cases} r^2=k \\ \exists \theta [7k-4k\sin 2\theta-3k\cos 2\theta=1]\end{cases}\\
\Longleftrightarrow~&\exists r \begin{cases} r^2=k \\ \exists \theta [3k\cos 2\theta + 4k\sin 2\theta=7k-1]\end{cases}\\
\Longleftrightarrow~&\exists r \begin{cases} r^2=k \\ \exists \theta \left[\left(\begin{array}{c}3k \\ 4k \\ \end{array}\right) \cdot \left(\begin{array}{c}\cos 2\theta \\ \sin 2\theta \\ \end{array}\right)=7k-1 \right]\end{cases}\\
\Longleftrightarrow~&\exists r \begin{cases} r^2=k \\ \exists \alpha \left[5k\cos \alpha =7k-1 \right]\end{cases}\qquad\text{(\(\alpha\)は\(\left(\begin{array}{c}3k \\ 4k \\ \end{array}\right)\)と\(\left(\begin{array}{c}\cos 2\theta \\ \sin 2\theta \\ \end{array}\right)\)のなす角)}\\
\Longleftrightarrow~&\exists r \begin{cases} r^2=k \\ -1 \leq \frac{7k-1}{5k} \leq 1\end{cases}\\
\Longleftrightarrow~&\exists r [r^2=k] \land -1 \leq \frac{7k-1}{5k} \leq 1\\
\Longleftrightarrow~& k \geq 0 \land -1 \leq \frac{7k-1}{5k} \leq 1\\
\Longleftrightarrow~& k > 0 \land -5k \leq 7k-1 \leq 5k\\
\Longleftrightarrow~& k > 0 \land \frac{1}{12} \leq k \leq \frac{1}{2}\\
\Longleftrightarrow~& \frac{1}{12} \leq k \leq \frac{1}{2}\\
\end{align*}

ゆえに,最大値\(\frac{1}{2}\),最小値\(\frac{1}{12}\).

\(\ast\)    \(\ast\)    \(\ast\)

はじめに\(x=r\cos \theta,y=r\sin \theta\)とおき,そして「積の和(1次結合)」を「内積」と見なして処理してみました(合成でもいいと思いますが).前回の解法と違い,どの行も同値変形なので逆の考察は必要ありません.たぶんこっちの解法のほうが簡単だと思いますがどうでしょう.

◆値域の問題(つづき)

\begin{align*}
\Longrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ (4k-1)t^2-8kt+(10k-1)=0 \right] \land \exists t \left [\frac{x}{y}=t \right]\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ (4k-1)t^2-8kt+(10k-1)=0 \right]\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ (4k-1)t^2-8kt+(10k-1)=0 \land (k=\frac{1}{4} \lor k\neq \frac{1}{4})\right]\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ (4k-1)t^2-8kt+(10k-1)=0 \land k=\frac{1}{4}\right] \\
\lor \exists t \left[(4k-1)t^2-8kt+(10k-1)=0 \land k\neq \frac{1}{4}\right]\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ t=\frac{3}{4} \land k=\frac{1}{4}\right] \lor \exists t \left[\frac{1}{12} \leq k \leq \frac{1}{2} \land k\neq \frac{1}{4}\right]\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ k=\frac{1}{4} \lor \left( \frac{1}{12} \leq k \leq \frac{1}{2} \land k\neq \frac{1}{4}\right)\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \begin{cases} \exists x \exists y ( x^2+y^2=k \land y\neq 0 ) \\ k \neq 0 \\ \frac{1}{12} \leq k \leq \frac{1}{2} \end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \begin{cases} \exists x \exists y ( x^2+y^2=k \land y\neq 0 ) \\ \frac{1}{12} \leq k \leq \frac{1}{2} \end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \left( k \geq 0 \land \frac{1}{12} \leq k \leq \frac{1}{2} \right)\\
\Longleftrightarrow~&\left( k=\frac{1}{4} \lor k \geq 0 \right) \land \left( k=\frac{1}{4} \lor \frac{1}{12} \leq k \leq \frac{1}{2} \right)\\
\Longleftrightarrow~&k \geq 0 \land \frac{1}{12} \leq k \leq \frac{1}{2}\\
\Longleftrightarrow~&\frac{1}{12} \leq k \leq \frac{1}{2}
\end{align*}

逆に,\(k=\frac{1}{12}\)のとき,前記事\((\ast)\)が成り立つかを調べる.
\begin{align*}
&\exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ (4k-1)t^2-8kt+(10k-1)=0\land \frac{x}{y}=t \right]\end{cases}\tag{\(\ast\)}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=\frac{1}{12} \\ \frac{1}{12} \neq 0 \land y\neq 0 \\ \exists t \left[ 4t^2+4t+1=0\land \frac{x}{y}=t \right]\end{cases}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=\frac{1}{12} \\ y\neq 0 \\ \exists t \left[ t=-\frac{1}{2}\right] \land y=-2x \end{cases}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=\frac{1}{12} \\ y=-2x \\ y\neq 0 \end{cases}
\end{align*}
この命題は明らかに真である.

\(k=\frac{1}{2}\)のときも同様に\((\ast)\)は真となる.したがって最大値は\(\frac{1}{2}\),最小値は\(\frac{1}{12}\).

◆値域の問題

\(4x^2-8xy+10y^2=1\)のとき,\(x^2+y^2\)の最大値と最小値を求めよ.

\(x^2+y^2\)がとりうる値の範囲を\(\mathcal{R}\)とおく.
\[
\begin{align*}
&k \in \mathcal{R}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1\end{cases}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1\end{cases} \land (k=0 \lor k \neq 0)\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1 \\ k=0 \end{cases} \lor \begin{cases} x^2+y^2=k \\ 4x^2-8xy+10y^2=1 \\ k\neq 0 \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x=y=0 \\ 4x^2-8xy+10y^2=1 \\ k=0 \end{cases} \lor \begin{cases} x^2+y^2=k \\ 4kx^2-8kxy+10ky^2=k \\ k\neq 0 \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=k \\ (4k-1)x^2-8kxy+(10k-1)y^2=0 \\ k \neq 0\end{cases}\\
\Longleftrightarrow~&\exists x \exists y \begin{cases} x^2+y^2=k \\ (4k-1)x^2-8kxy+(10k-1)y^2=0 \\ k \neq 0\end{cases} \land (y=0 \lor y \neq 0)\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x^2+y^2=k \\ (4k-1)x^2-8kxy+(10k-1)y^2=0 \\ k \neq 0 \\ y=0 \end{cases} \right.\\
&\left.\lor \begin{cases} x^2+y^2=k \\ (4k-1)x^2-8kxy+(10k-1)y^2=0 \\ k \neq 0 \\ y\neq 0 \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x^2=k \\ (4k-1)x^2=0 \\ k \neq 0\\ y=0 \end{cases} \lor \begin{cases} x^2+y^2=k \\ (4k-1)x^2-8kxy+(10k-1)y^2=0 \\ k \neq 0 \\ y\neq 0 \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x^2=k \\ (4k-1)k=0 \\ k \neq 0\\ y=0 \end{cases} \lor \begin{cases} x^2+y^2=k \\ (4k-1)\left(\frac{x}{y}\right)^2-8k\frac{x}{y}+(10k-1)=0 \\ k \neq 0 \\ y\neq 0 \end{cases}\right]\\
\Longleftrightarrow~&\exists x \exists y \left[\begin{cases} x^2=\frac{1}{4} \\ k=\frac{1}{4} \\ k \neq 0\\ y=0 \end{cases} \lor \begin{cases} x^2+y^2=k \\ (4k-1)\left(\frac{x}{y}\right)^2-8k\frac{x}{y}+(10k-1)=0 \\ k \neq 0 \\ y\neq 0 \end{cases}\right]\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2=\frac{1}{4} \\ y=0 \end{cases} \lor \exists x \exists y\begin{cases} x^2+y^2=k \\ (4k-1)\left(\frac{x}{y}\right)^2-8k\frac{x}{y}+(10k-1)=0 \\ k \neq 0 \land y\neq 0 \end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y\begin{cases} x^2+y^2=k \\ (4k-1)\left(\frac{x}{y}\right)^2-8k\frac{x}{y}+(10k-1)=0 \\ k \neq 0 \land y\neq 0 \end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \left[\begin{cases} x^2+y^2=k \\ (4k-1)\left(\frac{x}{y}\right)^2-8k\frac{x}{y}+(10k-1)=0 \\ k \neq 0 \land y\neq 0 \end{cases} \land \exists t \left[\frac{x}{y}=t\right]\right]\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \exists t \begin{cases} x^2+y^2=k \\ (4k-1)\left(\frac{x}{y}\right)^2-8k\frac{x}{y}+(10k-1)=0 \\ k \neq 0 \land y\neq 0 \\ \frac{x}{y}=t\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \exists t \begin{cases} x^2+y^2=k \\ (4k-1)t^2-8kt+(10k-1)=0 \\ k \neq 0 \land y\neq 0 \\ \frac{x}{y}=t\end{cases}\\
\Longleftrightarrow~&k=\frac{1}{4} \lor \exists x \exists y \begin{cases} x^2+y^2=k \\ k \neq 0 \land y\neq 0 \\ \exists t \left[ (4k-1)t^2-8kt+(10k-1)=0\land \frac{x}{y}=t \right]\end{cases}\tag{\(\ast\)}\
\end{align*}
\]
ここで,\(\exists x [p(x) \land q(x)] \Longrightarrow \exists x p(x) \land \exists x q(x)\)であることに注意して,(つづき

© 2026 佐々木数学塾, All rights reserved.