円の面積を半径1としてαと置き、三角関数と微分の関係を使って循環的に求めるアイデアは、高校・大学数学で興味深い思考実験です。ここでは、質問のステップごとにどのように考えられるかを整理し、循環論法としての限界や注意点を解説します。
ステップ(1) 半径1の円の面積をαとおく
円の面積をαと仮定するのは、循環論法の出発点として妥当です。実際の値は求めず、条件式の中でαを未知として扱います。
ステップ(2) 不等式 sin(x/2) < α x / 2π < tan(x/2)
この不等式は円周角や弦長との関係から導かれます。半径1の円に内接する正多角形と外接する正多角形の弦の長さを用いた古典的なアルキメデスの手法と類似しています。ここでαを円の面積として使うのは理論上は可能ですが、循環論法に注意が必要です。
ステップ(3) sin’x = α / π * cosx, cos’x = α / π * sinx の考察
これを成立させるためには、sinとcosの微分関係をαに依存させることになりますが、通常の微分では半径1の円に対してαは定数として扱われます。従って、ここでαを変数のように扱うと循環論法的な矛盾が生じる可能性があります。
ステップ(4) 弧長積分で円周を求める
円周を弧長積分で求め、αからπを導く考えは理論上可能ですが、ステップ(3)で導いた式をそのまま用いると、αの定義が循環的になっており、数学的に厳密とは言えません。弧長積分そのものは、通常の微分関数sin, cosに基づき計算するのが標準的です。
まとめ
質問の方法は興味深い思考実験ですが、循環論法としては厳密な証明にはならない可能性があります。αを定義し、その後の微分関係式に再びαを使う部分が循環的であるためです。歴史的には、円周率πや円の面積を求める際にはアルキメデスの多角形近似法や微積分による弧長積分が用いられています。文献としては、数学史のアルキメデスに関する書籍や微積分の教科書を参照すると良いでしょう。
コメント