循環論法について

この記事の所要時間: 513

【送料無料/即納】 横長角座ニッケル 65A 川口技研/KAWAGUCHI 表示錠 LVS-65A-4PYB-N Pタイプ(角サムターン座) その他

循環論法とは一般的に, ある事柄の説明やある命題の証明の中に, 前提としてその事柄, 命題自体が使われていることを言います. 有名な例では, ある国語辞典で「右」を引くと”左の反対”と書かれていて, 「左」を引くと”右の反対”と書かれている, というものがあります. これでは結局「右」が何なのか分かりません. このように, 説明や証明が循環論法になっていると, それは意味を成しません.

数学の証明問題を習いたてのときに証明すべき事柄を証明の中で使ってしまう人がいますが, それをすると循環論法になってしまいます.

循環論法の例

高校数学の中にも循環論法があります. 置換積分を習った時に一度は計算する円の面積ですが, 計算に使うテクニックを元へ辿っていくと円の面積を利用しているのでは, というものです. 以下, 実際にたどってみます.

円の面積を求めるには

STAR WARSムービーポスターエピソードIV A新しいHope Framed 12?x 15並行輸入品

の積分をしますが, この計算は\(x=r\cos\theta\)とおいて置換積分します. 実際に置換すると,

と変形してはさみうちの原理を用いることで示されます.

さて, ここで扇形の面積を使ってしまいました. 循環論法になっています!

では, 循環論法でなく円の面積を求めるにはどうすればよいのでしょうか.

(2)の不等式を図形の面積からではなく, 微分を用いて示せば, と思いますが, 三角関数の微分をつかうとまた循環論法になってしまいます.

解決法としては, 上の図で円の半径を1として, \(A\) から \(OB\) におろした垂線(\(BC\) に平行)の足を\(D\) として,

線分 AD < 弧 AB < 線分 BC

という不等式から(2)がでてきます (弧 AB < 線分 BC が成り立つことは明らかではないですが). このようにすれば循環論法は解消されます.

(お得セット×2) ジョインテックス 賞状盆 N100J13

と求める場合も, \((\sin{h})^\prime = \cos{h}\)を利用していて循環論法です.

最後に

以前東大で三角関数の加法定理の証明が問われたときに, 回転行列を用いた人が多数いてそれが循環論法なのでは, という問題がありました(実際は回転行列を加法定理に依らず示すことができるらしく大丈夫だったようですが).

このように入試などの問題で, 普段当たり前のように使っている定理や公式の証明が求められることがありますが, 循環論法になっていないか気を付けましょう.

スポンサーリンク
responsive

【送料無料/即納】 横長角座ニッケル 65A 川口技研/KAWAGUCHI 表示錠 LVS-65A-4PYB-N Pタイプ(角サムターン座) その他

  1. 名前:NinniNo_X 投稿日:(月) :00 ID:748924770 1/40 完成品 for DOOSAN DX225LCA excavator ダイキャスト モデル 掘削機

    ロピタルの定理を用いた証明において、
    (sin x)’ = cos x
    を使えるのでしょうか。
    まだ高校生ですので、勘違いかな、と思っているのですが、その式変形が気になったので、詳しく解説していただけるとありがたいです。

    • 名前:黒猫の三角 コバルトハイスエンドミル ラフィング ロング EX-REEL オーエスジー(OSG) EX-REEL 43 80883 ID:7a8ce2257 ダイワ ネオブーツ(ラジアル) ダークグレー NB-3305 LL

      コメントありがとうございます.
      確かに, ロピタルの定理を用いた証明でも
      (sin x)’=cos x
      を利用して循環論法になっていました.
      循環論法にならない方法として, (2)式を弧の長さを用いて求める方法があるので追記しておきました.

コメントをどうぞ 鳳皇 V8307 半袖ブルゾン カモフラホワイト サイズ3L

メールアドレスが公開されることはありません。

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください

内付RSII PG障子 引違い 4枚建て 一般複層ガラス仕様 特注サイズ W:3,001〜3,800mm × H:1,171〜1,570mm LIXIL リクシル TOSTEM トステム
YBINUR.COM RSS