プトレマイオスの定理は、三角法の和と差の公式に対する優雅な幾何学的証明を提供します。一辺を直径とする円に四角形を内接させることで、辺の長さは内接角の正弦と余弦で表すことができます。定理 [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex] を直接適用すると、[latex]sin(alpha + beta) = sinalphacosbeta + cosalphasinbeta[/latex] のような恒等式が得られます。

(画像はイメージです)
プトレマイオスの定理は、三角法の和と差の公式に対する優雅な幾何学的証明を提供します。一辺を直径とする円に四角形を内接させることで、辺の長さは内接角の正弦と余弦で表すことができます。定理 [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex] を直接適用すると、[latex]sin(alpha + beta) = sinalphacosbeta + cosalphasinbeta[/latex] のような恒等式が得られます。
プトレマイオスの定理の歴史的重要性は、三角法の発展と深く結びついています。プトレマイオスが『アルマゲスト』で目指したのは、宇宙の数学的モデルを作成することであり、そのためには天体の位置を計算するツールが必要でした。このツールが弦表であり、一定の半径の円で特定の角度をなす弦の長さを一覧にしたものです。弦関数 crd(θ) は、現代の正弦関数と [latex]sin(theta) = frac{text{crd}(2theta)}{2R}[/latex] の関係にあります。ここで R は円の半径です。
和と差の公式を導出するために、対角線 AC が外接円の直径となる円周四角形 ABCD を構築できます。簡単のため、その長さを 1 とします。 CAD = alpha[/latex] および [latex]angle CAB = beta[/latex]。直径がなす角は直角なので、[latex]triangle ADC[/latex] と [latex]triangle ABC[/latex] は直角三角形です。辺の長さは三角関数で次のように表すことができます。[latex]CD = sinalpha[/latex]、[latex]AD = cosalpha[/latex]、[latex]BC = sinbeta[/latex]、および [latex]AB = cosbeta[/latex]。角 [latex]angle DAB = alpha+beta[/latex]。[latex]triangle DAB[/latex] で正弦定理を使用すると、もう一方の対角線 [latex]BD = sin(alpha+beta)[/latex] となります。これらをプトレマイオスの定理 [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex] に代入すると、[latex]1 cdot sin(alpha+beta) = (cosbeta)(sinalpha) + (sinbeta)(cosalpha)[/latex] となり、これは正弦の角度加算公式です。同様の構成により、他の和と差の恒等式が得られ、三角法の基礎を形成します。
プトレマイオスの定理と三角関数の恒等式
(日付が不明または関連性がない場合、例えば「流体力学」などでは、その注目すべき出現時期の概算値が提示されます。)
フルサイズの画像とダウンロードは、登録会員のみが100%無料で利用できます。
> ログイン <