数学

論理と集合の基本3|必要条件と十分条件

前の記事「論理と集合の基本2|ド・モルガンの法則」の続きです.

数学では「仮定」が何で,「結論」が何かということを意識するのは非常に重要です.これを間違えるとまったく意味のない議論になってしまい,すべてが破綻することもあります.

たとえば,「pであるとき,qを証明せよ.」という問いで,証明の中でqを使ってしまうという誤りがよくあります.これは「まだqが成り立つか分かっていないのに,qが成り立つ前提で話を進めてしまっている」というのが間違いです.

この記事では,論理関係の基本として,必要条件,十分条件について詳しく説明します.

続きを読む

論理と集合の基本2|ド・モルガンの法則

前の記事「論理と集合の基本1|集合の基礎知識」の続きです.

この記事では,前回の記事で説明した集合の共通部分,和集合,補集合などが合わさったときに,集合がどうなるかということを説明します.

そのなかでポイントとなるのが「ド・モルガンの法則(de Morgan's law)」です.

「ド・モルガンの法則」は「共通部分の補集合や,和集合の補集合をとったときにどうなるのか」ということを述べた定理で,基本中の基本です.

「ド・モルガンの法則」空気を吸うように当たり前に使えるようになっておいてほしいところです.

続きを読む

論理と集合の基本1|集合の基礎知識

集合は数学の基礎です.全ての数学の基礎は集合にあるといってよいほど大切な概念です.しかし,高校数学の中で集合をハッキリと意識することはそれほどないと思います.

確かに大学で専門的に数学をする場合以外では,そこまで意識しなくても大丈夫な場合が多いのも事実です.しかし,数学を学ぶ上で最低限の集合に関する知識はもっておきたいところです.

とはいえ,高校数学の段階では「場合の数」や「確率」などの分野で集合を扱うことになります.集合の和集合,共通部分,補集合などの扱いには慣れておく必要があります.

続きを読む

式の計算の基本7|解と係数の関係

前の記事「式の計算の基本6|因数定理と剰余の定理」の続きです.

この記事では,「解と係数の関係」について説明します.

2次方程式x^2+bx+c=0が解\alpha\betaをもつとします.このとき,次の関係式が成り立ちます.

\begin{cases}b=-(\alpha+\beta)\\c=\alpha\beta\end{cases}

見て分かる通りですが,2次方程式の係数bcと解\alpha\betaの関係式なので,この2つの式を「(2次方程式の)解と係数の関係」といいます.

「解と係数の関係」は2次方程式に限った話だけではなく,3次以上の方程式でも同様の式が成り立ちます.

続きを読む

式の計算の基本6|因数定理と剰余の定理

前の記事「式の計算の基本5|多項式の割り算」の続きです.

2次式の因数分解は前々回の記事までで説明しましたが,3次以上の多項式の因数分解をどのようにすれば良いのかをこの記事で考えてみます.

そのポイントとなる「因数定理」には苦手意識のある人が少なくありません.しかし,「因数定理」は決して難しいものではなく,一度分かってしまえばある意味当たり前とすら思えるものです.

また,「因数定理」から導かれる「剰余の定理」も非常に重要です.

教科書では「剰余の定理」→「因数定理」の順に説明されているのですが,因数定理の方が直観に合いやすく理解しやすいので,この記事では「因数定理」→「剰余の定理」の順に説明します.

続きを読む

式の計算の基本5|多項式の割り算

前の記事「式の計算の基本4|平方完成と2次方程式の解の公式」の続きです.

前回までで2次式関係の重要事項は書き終えたので,この記事から3次以上の多項式についての話題に移ります.

3次以上の多項式においても因数分解が重要であることが多く,そのためには多項式の扱いに慣れておく必要があります.その扱い基本として,「多項式の割り算」が挙げられます.

この記事では,「整数の割り算」との対応関係を気にしつつ「多項式の割り算」について説明します.

続きを読む

式の計算の基本4|平方完成と2次方程式の解の公式

前の記事「式の計算の基本3 ―2次式の因数分解(その2)―」の続きです.

前回の記事で,2次式の因数分解を説明しましたが,そこで扱ったのはいわゆる「因数分解の公式」が使える2次式であり,公式の適用が難しい場合は扱いませんでした.

しかし,ときには因数分解の公式の適用が難しい場合でも因数分解しなければならない場面に遭遇することもあります.

この記事では,「2次式の平方完成」,「2次方程式の解の公式」を説明し,最後に因数分解の公式が使えないような「2次式の因数分解」について説明します.

続きを読む