タグ: 数学Ｂ

高校数学の範囲的には数学Ⅰ（絶対値），数学Ⅱ（不等式の証明，三角不等式），数学B（シグマ計算）あたりかな？

証明
\begin{align*}
|x_i+y_i|^p = &|x_i+y_i||x_i+y_i|^{p-1} \\
\leq &(|x_i|+|y_i|)|x_i+y_i|^{p-1}\\
= &|x_i||x_i+y_i|^{p-1}+|y_i||x_i+y_i|^{p-1}
\end{align*}

この不等式の\(i\)を\(i=1 \cdots n\)とかえて辺々加えて\[\displaystyle \sum_{i=1}^{n}|x_i+y_i|^p \leq \sum_{i=1}^{n}|x_i||x_i+y_i|^{p-1}+\sum_{i=1}^{n}|y_i||x_i+y_i|^{p-1}\]を得る．

証明終

Minkowskiの不等式の証明で使うのでここにnoteしておきます。

高校数学の証明問題としても使えると思いますが三角不等式って高校数学ではそれほど使用頻度が高くないので意外と詰まっちゃう高校生も多い気がします。

\(\overrightarrow{a}\times(\overrightarrow{b}+\overrightarrow{c})=\overrightarrow{a}\times\overrightarrow{b}+\overrightarrow{a}\times\overrightarrow{c}\)を証明します。

図のように，空間上に\(\overrightarrow{a},\overrightarrow{b},\overrightarrow{c}\)があったとしましょう。

\(\overrightarrow{a}\)の始点を通り，\(\overrightarrow{a}\)に垂直な平面を\(\alpha\)とし，\(\overrightarrow{b},\overrightarrow{c}\)からその平面\(\alpha\)への正射影ベクトルをそれぞれ\(\overrightarrow{b^{\prime}},\overrightarrow{c^{\prime}}\)とおきます。

このとき，下図のような位置関係があることに注意しておきます。

図を動かしてイメージしてみてください（右クリックを押しながらドラッグすると動きます）。

さて，このとき，\begin{align*}
\overrightarrow{a}\times(\overrightarrow{b}+\overrightarrow{c})=&\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})\tag{1}\\
=&\overrightarrow{a}\times \overrightarrow{b^{\prime}}+\overrightarrow{a}\times \overrightarrow{c^{\prime}}\tag{2}\\
=&\overrightarrow{a}\times \overrightarrow{b}+\overrightarrow{a}\times \overrightarrow{c}\tag{3}
\end{align*}が言えます。順にみていきます。

\((1)\)について：
\(\overrightarrow{a},\overrightarrow{b}+\overrightarrow{c},\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}}\)は同一平面上にありますから，まず\(\overrightarrow{a}\times(\overrightarrow{b}+\overrightarrow{c})\)と\(\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})\)の向きは同じであることが分かります。そして，\(\overrightarrow{a}\)と\(\overrightarrow{b}+\overrightarrow{c}\)が作る平行四辺形の面積と，\(\overrightarrow{a}\)と\(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}}\)が作る平行四辺形の面積は等しいので（等積変形），\(\overrightarrow{a}\times(\overrightarrow{b}+\overrightarrow{c})\)と\(\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})\)の大きさも等しい。したがって\[\overrightarrow{a}\times(\overrightarrow{b}+\overrightarrow{c})=\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})\tag{1}\]です。

\((2)\)について：
\(\overrightarrow{a}\times \overrightarrow{b^{\prime}},\overrightarrow{a}\times \overrightarrow{c^{\prime}},\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})\)の向きはどれも\(\overrightarrow{a}\)を軸に\(90^{\circ}\)回転させた向きになります。そして大きさは（どれも\(\overrightarrow{a}\)と直交していることに注意すれば）それぞれ\(|\overrightarrow{a}||\overrightarrow{b^{\prime}}|,|\overrightarrow{a}||\overrightarrow{c^{\prime}}|,|\overrightarrow{a}||\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}}|\)，すなわちどれも自分の大きさを\(|\overrightarrow{a}|\)倍したものです。

（上の図は見やすさのため\(\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})\)だけ図示）これを，真上から見たものが下の図がです。

この図から，\[\overrightarrow{a}\times(\overrightarrow{b^{\prime}}+\overrightarrow{c^{\prime}})=\overrightarrow{a}\times\overrightarrow{b^{\prime}}+\overrightarrow{a}\times\overrightarrow{c^{\prime}}\tag{2}\]であることが分かります。

\((3)\)について：
\(\overrightarrow{a},\overrightarrow{b},\overrightarrow{b^{\prime}}\)は同一平面上にありますから，まず\(\overrightarrow{a}\times\overrightarrow{b}\)と\(\overrightarrow{a}\times\overrightarrow{b^{\prime}}\)の向きは同じであることが分かります。そして，\(\overrightarrow{a}\)と\(\overrightarrow{b}\)が作る平行四辺形の面積と，\(\overrightarrow{a}\)と\(\overrightarrow{b^{\prime}}\)が作る平行四辺形の面積は等しいので（等積変形），\(\overrightarrow{a}\times \overrightarrow{b}\)と\(\overrightarrow{a}\times\overrightarrow{b^{\prime}}\)の大きさも等しい。したがって\[\overrightarrow{a}\times \overrightarrow{b}=\overrightarrow{a}\times \overrightarrow{b^{\prime}}\tag{3}\]です。

\(\overrightarrow{a}\times \overrightarrow{c}=\overrightarrow{a}\times \overrightarrow{c^{\prime}}\)も同様です。

以上により証明が完了しました。

平面\(ax+by+cz+d=0\)と点\(P(x_0,y_0,z_0)\)との距離の公式を作ってみます。

証明

\((a_0,b_0,c_0)\)を平面上の点とする．点\(P\)から平面へおろした足を\(H\)とおけば，線分\(PH\)の長さは正射影ベクトル\((\overrightarrow{AP}\cdot \overrightarrow{e})\overrightarrow{e}\)の大きさと等しい．したがって
\begin{align*}
PH=&\left|(\overrightarrow{AP}\cdot \overrightarrow{e})\overrightarrow{e}\right|\\
=&\left|\left(\begin{array}{c} x_0-a_0 \\ y_0-b_0 \\ z_0-c_0 \end{array}\right)\cdot\frac{1}{\sqrt{a^2+b^2+c^2}}\left(\begin{array}{c} a \\ b \\ c \end{array}\right)\right|\\
=&\frac{|a(x_0-a_0)+b(y_0-b_0)+c(z_0-c_0)|}{\sqrt{a^2+b^2+c^2}}\\
=&\frac{|ax_0+by_0+cz_0-aa_0-bb_0-cc_0|}{\sqrt{a^2+b^2+c^2}}\\
\end{align*}\((a_0,b_0,c_0)\)は平面上の点なので，\(aa_0+bb_0+cc_0+d=0\)すなわち\(d=-aa_0-bb_0-cc_0\)が成り立つことから\[\frac{|ax_0+by_0+cz_0+d|}{\sqrt{a^2+b^2+c^2}}\]を得る．

証明終

おもしろポイント：
・お馴染み点と直線の距離の公式\(\frac{|ax_0+by_0+c|}{\sqrt{a^2+b^2}}\)に似てること
・なんかすごいかんたんに導けること
・正射影ベクトルきもちいい

\(\Delta \mathrm{OAB}\)において，辺\(\mathrm{OA}\)の中点を\(\mathrm{C}\)，辺\(\mathrm{OB}\)を\(2:1\)に内分する点を\(\mathrm{D}\)とし，線分\(\mathrm{AD}\)と線分\(\mathrm{BC}\)の交点を\(\mathrm{P}\)とする．\(\overrightarrow{\mathrm{OA}}=\overrightarrow{a},\overrightarrow{\mathrm{OB}}=\overrightarrow{b}\)とするとき，\(\overrightarrow{\mathrm{OP}}\)を\(\overrightarrow{a},\overrightarrow{b}\)を用いて表せ．

定期考査に必ず出題される定番中の定番の問題です。教科書のような例の解法のほかにも様々な解法が考えられますが，個人的には以下のように考えるのが好きです。

解答

\(\overrightarrow{a},\overrightarrow{b}\)を基底とする斜交座標を考える．この斜交座標における直線\(AD\)の方程式は\(x+\frac{3}{2}y=1\)，直線\(\overrightarrow{BC}\)の方程式は\(2x+y=1\)（下図参照）．この２式を連立して\(x=\frac{1}{4},y=\frac{1}{2}\)．したがって\[\overrightarrow{OP}=\frac{1}{4}\overrightarrow{a}+\frac{1}{2}\overrightarrow{b}\]を得る．

解答終

高校２年生の問題が，中学１年生レベルの単純な連立方程式の問題に帰着します。直線は\(y=ax+b\)だけじゃなく\(\frac{x}{a_0}+\frac{y}{b_0}=1\)（切片型）と書けることは常識にしておきましょう。

この教科書の超基本問題はこのように面白い解法がいくつかあって，教科書の解法だけで終わらせるにはもったいない問題。ゆっくり立ち止まって色々と学んでおきたい問題です。もちろん教科書の解法も重要（※）です。

※ 重要なんだけど問題はその学び方。この解法を「\(s:1-s\)とおいて\(t:1-t\)とおいて～」みたいなこの問題「特有の」手順として学ぶひとが多い。そんな頭の解法ストックに＋１するだけの理解（暗記？）だけではなく，これはベクトル方程式と絡めた視点（ベクトル方程式を立てているという認識）をも学ぶべき。そうすればこの一連の手続きは「解法」なんて仰々しいものじゃない，極めて自然でかつ汎用性のある（＝模試レベルでも使える）知識になります。

数検の計算問題ですが，「対称点の座標が欲しい」というのは大学入試問題でもよく出会うシチュエーションだと思います．いろいろな解法が考えられますが，ここでは位置ベクトルを用いて求めてみます．作戦はこうです：

求める点の座標を\(P’\)とします．位置ベクトルの定義により，空間上の座標\(P’\)とベクトル\(\overrightarrow{OP’}\)の成分は１対１に対応してますから，\(\overrightarrow{OP’}\)を求まるということそれは空間上の座標\(P’\)が求まることに等しい．そこで\(\overrightarrow{OP’}\)を求めることにします．点\(P\)から平面上に下した垂線の足の座標を\(H\)とおけば，\(\overrightarrow{OP’}=\overrightarrow{OP}+2\overrightarrow{PH}\)とできます．\(\overrightarrow{PH}\)を求めます．

ここで，正射影ベクトル\((\overrightarrow{AP}\cdot\overrightarrow{e})\overrightarrow{e}\)は\(\overrightarrow{HP}\)に等しい（\(\overrightarrow{e}\)は平面に垂直な単位ベクトル，外積によって直ちに求まる）．したがって\begin{align*}
\overrightarrow{OP’}=&\overrightarrow{OP}+2\overrightarrow{PH}\\
=&\overrightarrow{OP}-2(\overrightarrow{AP}\cdot\overrightarrow{e})\overrightarrow{e}
\end{align*}となる．\(\overrightarrow{AP}=\left(\begin{array}{c}9\\0\\0\end{array}\right)\)，そして\(\overrightarrow{e}=\dfrac{1}{3}\left(\begin{array}{c}1\\2\\-2\end{array}\right)\)であるから，
\begin{align*}
\overrightarrow{OP’}=&\left(\begin{array}{c}9\\1\\1\end{array}\right)-2\left(\left(\begin{array}{c}9\\0\\0\end{array}\right)\cdot \dfrac{1}{3}\left(\begin{array}{c}1\\2\\-2\end{array}\right)\right)\dfrac{1}{3}\left(\begin{array}{c}1\\2\\-2\end{array}\right) = \left(\begin{array}{c}7\\-3\\5\end{array}\right)
\end{align*}したがって求める座標は\((7,-3,5)\)と求まります．

「座標が欲しければ位置ベクトル調べればいいじゃん」というシンプルな発想で片付き，また未知数を設定する必要もなく，計算量も少ない．そして何よりその「（空間上の）座標を知りたい」なんて状況はそれこそ頻繁に出会うシチュエーションです（サイクロイド等の媒介変数表示，複素数の回転など）．これが位置ベクトルの‘嬉しい点’であり，位置ベクトルを学ぶ意味だと思う．しかし教科書ではこれを強調しないし，教える側も教科書に右ならえ…．が，受験生としては空間上の座標を求める際の強力な手法としてぜひ常識としてほしい手法の一つです．

位置ベクトルとは，「始点が原点であるようなベクトル」のことです．

平面上の任意の点\(\mathrm{A}\)に対して，ベクトル\(\overrightarrow{\mathrm{OA}}=\boldsymbol{a}\)をその位置ベクトルという．ただし\(\mathrm{O}\)は座標の原点である．

松坂和夫「線形代数入門」岩波書店

なぜ「始点が原点である」だけで「位置ベクトル」なんて名前をつけてまで差別化するのでしょうか．それは，始点が原点にあるがゆえに，ベクトルの成分とベクトルの先っぽ（終点）が指し示す点の座標が一致するからです．例えば，点\(\mathrm{P}\)の座標が\((2,1)\)であるならば，位置ベクトル\(\overrightarrow{\mathrm{OP}}\)の成分は\(\left(\begin{array}{c} 2 \\ 1 \\ \end{array} \right)\)だし，逆に位置ベクトル\(\overrightarrow{\mathrm{OP}}\)の成分が\(\left(\begin{array}{c} 2 \\ 1 \\ \end{array} \right)\)ならば点\(\mathrm{P}\)の座標は\((2,1)\)です．単純なことですが，位置ベクトルにおいてはこの性質－座標とベクトルが同一視できること－が極めて重要です．

※注意１　ベクトルの成分を縦に書いたものを「列ベクトル（または縦ベクトル）」と呼びます．他方，ベクトルの成分を横に書いたものを（高校教科書での記法）「行ベクトル（横ベクトル）」とよびます．どちらも同じものですがベクトルの成分を書くときは高校段階であっても行ベクトルではなく列ベクトルで表記した方がいいでしょう．どうせ大学へ行けば列ベクトル表記の方がむしろ当たり前になりますし，高校段階であってもそれが「成分」なのか「座標」なのかを意識するためにベクトル（の成分）は横，座標は縦，と区別して書くべきです．また列ベクトルだと成分計算がし易いという利点もあります．テスト・模試等でも列ベクトルを用いても大丈夫です．減点されることは絶対にありえませんから．

※注意２　問題によっては「点\(A\)に関する位置ベクトルを…」といい，始点を\(A\)などととることがあります．その場合には，「点\(A\)を自前で設定した座標系の原点」と考えればいいだけです．

位置ベクトルをこのように「始点を原点にとったときのベクトル；矢印の終点が指し示す座標」と見なせば，次のような問題も容易に発想できます．

どのような状況なのかイメージするは，言葉で説明するより図を見た方が早いでしょう．

この赤線上の点\(\mathrm{P}\)の座標を求めることを考えます．欲しいものは点\(\mathrm{P}\)の座標なわけですが，『点\(\mathrm{P}\)の座標＝\(\overrightarrow{\mathrm{OP}}\)の成分』でしたから，位置ベクトル\(\overrightarrow{\mathrm{OP}}\)を求めることにします．

ベクトルなのだから，ベクトルの和の定義により，下図のように\[\overrightarrow{\mathrm{OP}}=\overrightarrow{\mathrm{OH}}+\overrightarrow{\mathrm{HC}}+\overrightarrow{\mathrm{CP}}\]と分解できます．

したがって\(\overrightarrow{\mathrm{OH}},~\overrightarrow{\mathrm{HC}},~\overrightarrow{\mathrm{CP}}\)をそれぞれ求めればよい．

まず\(\overrightarrow{\mathrm{OH}}\)から．

このベクトルは始点が既に原点にありますから，位置ベクトル，すなわちその成分と終点が指し示す座標が一致しているはずです．したがって\(\overrightarrow{\mathrm{OH}}\)の終点が指し示す座標を調べればよい．\(\mathrm{OH}=\text{孤}\mathrm{PH}\)であることに注意すると（「滑らずに」転がしたんだから！右図参照），\(\mathrm{OH}=a\theta\)．したがって点\(\mathrm{H}\)の座標は\((a\theta,0)\)で，（座標と成分が対応するから）\(\overrightarrow{\mathrm{OH}}\)の成分は\(\left(\begin{array}{c} a\theta \\ 0 \\ \end{array} \right)\)となります．

次に\(\overrightarrow{\mathrm{HC}}\)．

始点が原点にあれば，そのまま終点が指し示す座標を読めばいいのですが，これは始点は原点ではありませんね．しかしベクトルは向きと大きささえ変えさえしなければ自由に動かせるのでしたから，始点を原点にとってから，その終点の座標を読めばよいでしょう．始点を原点にとったときのベクトルの終点が指し示す座標は\((0,~a)\)ですから，そのベクトルの成分は\(\overrightarrow{\mathrm{OH}}\)の成分は\(\left(\begin{array}{c} 0 \\ a \\ \end{array} \right)\)となります．

最後に\(\overrightarrow{\mathrm{CP}}\)．

やはり始点を原点にとってから，その終点の座標を読みましょう．始点を原点にとったときのベクトルの終点が指し示す座標は
\begin{align*}
&(a\cos\left(-\left(\frac{\pi}{2}+\theta\right)\right),~a\sin\left(-\left(\frac{\pi}{2}+\theta\right)\right))\\
=&(a\cos\left(\frac{\pi}{2}+\theta\right),~-a\sin\left(\frac{\pi}{2}+\theta\right))\\
=&(-a\sin \theta,~-a \cos \theta)
\end{align*}
ですから，求めるベクトルの成分は\(\left(\begin{array}{c} -a\sin \theta \\ -a \cos \theta \\ \end{array} \right)\)となります．

以上により，
\begin{align*}
\overrightarrow{\mathrm{OP}}&=\overrightarrow{\mathrm{OH}}+\overrightarrow{\mathrm{HC}}+\overrightarrow{\mathrm{CP}}\\
&=\left(\begin{array}{c} a\theta \\ 0 \\ \end{array} \right)+\left(\begin{array}{c} 0 \\ a \\ \end{array} \right)+\left(\begin{array}{c} -a\sin \theta \\ -a \cos \theta \\ \end{array} \right)\\
&=\left(\begin{array}{c} a(\theta-\sin \theta) \\ a(1 – \cos \theta) \\ \end{array} \right)\\
\end{align*}

（くどいようですが）位置ベクトルの成分とその終点が指し示す座標は対応しているのですから，結局，
\[
\begin{eqnarray}
\begin{cases}
x = a(\theta-\sin \theta) & \\
y = a(1 – \cos \theta) &
\end{cases}
\end{eqnarray}
\]

が得られたことになります．

位置ベクトルについて強調すべきはその定義「始点が原点であるようなベクトル」であり，ゆえに，「ベクトルを座標と見なせる」点だと思うのですが，教科書はそこが強調されていない．僕はかつて予備校でこれを習いましたが，ベクトルが初めて「道具として役に立つ」と感じられたこと，そしてベクトルを座標とみなすという別の概念を同一視するという感覚が新鮮で嬉しかった記憶があります．実際，位置ベクトルを用いるとカージオイドやエピサイクロイドなどの他の曲線もまったく同様に媒介変数表示できますし，また数学Ⅲで学ぶ複素数平面においても有用です（例によって教科書では位置ベクトルを用いた説明などしてはくれません）．教科書を機械的・天下り的になぞるのもひとつの学習法ではありますが，こういったことを学ぶのもまた大事です．

ついでながら．教科書は「誤り・誤植がほとんどない」という意味においては最も信頼できる本のひとつだと思います．が，しかし，「誤りがないこと＝最善」であるとは限りません．教科書と違う考え方・解法というものに抵抗を感じる人も少なくないと思いますが，食わず嫌いせずに興味をもって身に付けてみましょう．きっともう一皮むけますから．

もっと積極的に使おうぜ，位置ベクトル．