微分積分
・ 微分公式
・ 偏微分
・ 数値微分
・ 部分積分
・ 微分方程式
・ ガウス関数の積分公式
複素数
・ 複素数とは
・ 複素数を使う意味
フーリエ変換
・ フーリエ変換, FFTとは
・ FFTの原理
ラプラス変換
・ ラプラス変換とは
・ ラプラス変換の役割
線形代数
・ 行列を使う目的, 定義
・ 逆行列 , 行列式
・ 行列の積
・ 転置行列
・ 行列の微分
・ 固有値
・ ベクトルの内積
・ ベクトルの外積
・ ベクトル場
・ コサイン類似度
・ 集合
・ 写像
・ 連立方程式を解く
指数 対数
・ 対数関数
・ 指数関数 , べき関数
・ デシベル
・ ネイピア数
その他
・ 三角関数
・ 素数
・ 階乗計算, ガンマ関数
・ arctan ,tanhの違い
・ 総和 Σ, 総乗 Π
・ ∇, grad, div, rot
・ 等差数列
・ 有理関数のマクローリン展開
・ ニュートン法
・ 重心
・ 2乗に比例する関数
・ ラグランジュの未定乗数法
・ マンハッタン,ユークリッド
・ 帰納法, 演繹法
・ 背理法
・ 弧度法
・ スプライン曲線
・ フィボナッチ数列
・ 複利計算
・ | (バーティカルバー)
|
前提知識
■背理法とは
背理法とは「事象Xを証明するために、Xが成立しないと仮定すると矛盾が生じることで、Xが成立することを証明する」手法のことです。
背理法を使用する例として、以下の様な「嘘つき問題」を解く場合に使用します。
(問) A,B,Cさんの中で誰か一人だけ嘘をついています。それは誰か。
Aさん「私は一番背が高い」
Bさん「私はAさんの次に背が高く、そして一番背が低くない」
Cさん「私は一番背が高い」
この問題を背理法を使って解く場合、
例えばAさんが言っている事が「成立しない(嘘をついている)」と仮定し、矛盾が生じるかを示すことで、
Aさんが本当のことを言っていることが正しいかを確かめていきます。
この問題の解答は、以下の様にCさんが嘘をついている事になります。
■背理法を使用するメリット
背理法は、命題を直接的に証明できなくても、間接的に証明することができます。
例えば上記例において、誰が嘘をついているかを直接的に証明するには、全員の身長を計測してみれば良いのですが、それが物理的にできない場合、この手法が有効になります。
つまり限られた条件の中で、あるいは少ない情報の中で正解を導き出せるのがこの手法のメリットでもあります。
■背理法になっているようで、なっていない例
以下は説明の仕方は背理法ですが、証明のために実際に行っている事は直接全員の身長を調べているだけなので、
背理法とは言い難いです。
ある学校の全員の身長は190cm以下であることを証明せよ
(証明)
誰か一人でも身長が190cm以上の人がいると仮定する、一人ずつ身長を計測していったところ、身長190cm以上の人が見つからなかった。
つまり仮定と矛盾するため、全員の身長は190cm以下であることが証明できた。
サブチャンネルあります。⇒ 何かのお役に立てればと
微分積分
・ 微分公式
・ 偏微分
・ 数値微分
・ 部分積分
・ 微分方程式
・ ガウス関数の積分公式
複素数
・ 複素数とは
・ 複素数を使う意味
フーリエ変換
・ フーリエ変換, FFTとは
・ FFTの原理
ラプラス変換
・ ラプラス変換とは
・ ラプラス変換の役割
線形代数
・ 行列を使う目的, 定義
・ 逆行列 , 行列式
・ 行列の積
・ 転置行列
・ 行列の微分
・ 固有値
・ ベクトルの内積
・ ベクトルの外積
・ ベクトル場
・ コサイン類似度
・ 集合
・ 写像
・ 連立方程式を解く
指数 対数
・ 対数関数
・ 指数関数 , べき関数
・ デシベル
・ ネイピア数
その他
・ 三角関数
・ 素数
・ 階乗計算, ガンマ関数
・ arctan ,tanhの違い
・ 総和 Σ, 総乗 Π
・ ∇, grad, div, rot
・ 等差数列
・ 有理関数のマクローリン展開
・ ニュートン法
・ 重心
・ 2乗に比例する関数
・ ラグランジュの未定乗数法
・ マンハッタン,ユークリッド
・ 帰納法, 演繹法
・ 背理法
・ 弧度法
・ スプライン曲線
・ フィボナッチ数列
・ 複利計算
・ | (バーティカルバー)
|
|
|