数学公理集.doc

数学公理集 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　2009.07.02 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　アドバンテック研究所 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　代表　村上　彰 　　　　　　　　　　＜目次（Table of Contents）＞ 1. 正弦定理p2　　2. 余弦定理p4　　3.正接定理 微分法三角関数指数関数 テイラー展開マクローリン展開 リーマンゼータ函数ゼータ関数1. 正弦定理 正弦定理（law of sines）とは三角形の内角の正弦（サイン）とその対辺の長さの関係を示したものである。正弦法則ともいう。多くの場合、平面三角法における定理をさすが、球面三角法などでも類似の定理が知られており、同じように正弦定理と呼ばれている。 正弦定理 三角形 ABC において、辺 BC, CA, AB の長さをそれぞれ a, b, c 、外接円の半径を R とし、∠A=A, ∠B=B, ∠C=Cとすると、 という関係が成り立つというものである。一辺の長さとその両端の角が分かれば他の二辺の長さが分かるため、三角測量の基礎となっている定理である。 正弦定理の証明 以下証明において角度には弧度法を用いている。なお π = 180°である。 三角形 ABC とその外接円（半径を R とおく）において、BC=a, ∠A=Aとすると、 0 ∠ A π/2 のとき 線分 BD が外接円の直径となるような点 D を外接円上にとる。円周角の定理より、 また BD は外接円の直径であることから、 よって、正弦の定義より、∠D=Dとすると、 である。 ∠A=Aとし、 sinD = sinA を用いて変形すると、 となる。同様にして他の角についても成り立つ。 ∠ A = π/2 のとき BC = a = 2R であり であるから は成り立つ。 π/2 ∠ A π のとき 線分 BD が外接円の直径となるような点 D を外接円上にとる。 円に内接する四角形の性質から、 つまり、∠D=Dとすると、 sinA = sinD となる。 BD は外接円の直径だから、BD = 2R。 正弦の定義より、 変形すると となる。同様にして他の角についても成り立つ。 以上より正弦定理は成り立つ。 また、逆に正弦定理を認めると「円周角の定理」と四角形が円に内接するとき四角形の対角の和は 180 度であるという「内接四角形の定理」が成立することがわかる。 球面三角法における正弦定理] 球面上の三角形 ABC において、弧 BC, CA, AB の長さを球の半径で割ったものをそれぞれ a, b, c とし、∠A=A, ∠B=B, ∠C=Cとすると、 が成り立つ。これを球面三角法における正弦定理とよぶ。 三角形の角と辺の関係 ?概要 余弦関数 y = cos x は 0 x π において狭義単調減少関数であり、x と y の値は 1対1 に対応し x = arccos y である。三角形の内角の大きさはこの範囲内に収まるため、三角形の内角の大きさを知ることと、その余弦の値を知ることは同じことである。余弦定理は三角形の内角の余弦と辺の長さの関係を示す等式である。 △ABC において、a = BC, b = CA, c = AB, α = ∠CAB, β = ∠ABC, γ = ∠BCA としたとき a2 = b2 + c2 ? 2bccosα b2 = c2 + a2 ? 2cacosβ c2 = a2 + b2 ? 2abcosγ が成り立つ。これらの式が成り立つという命題を（第二）余弦定理という。 余弦定理は2つの辺の長さと1つの内角の大きさが分かっていれば、もう1つの辺の長さが決まるという定理である。逆に 3つの辺の長さが分かっていれば のように余弦について解く事によって逆に内角の大きさを知ることができる。 また、 α = π?2 であれば、 cos α = 0 なので、（第二）余弦定理の特殊な場合として、ピタゴラスの定理（三平方の定理） a2 = b2 + c2 などが導かれる。すなわち、（第二）余弦定理は、全ての三角形に一般化されたピタゴラスの定理である。 ユークリッド原論の第2巻命題12では ABC を γ が鈍角の鈍角三角形としたとき c2 = a2 + b2 ? 2abcosγ が成り立つことと、命題13で鋭角三角形の場合が示されている。ユークリッド原論では余弦関数は使われていないが、辺の長さを用いて余弦定理と本質的に同じ命題が示されている。 イスラム世界では 10世紀に活躍した天文学者であり数学者のアル?バッターニーは、これらの結果を球面幾何学に