ブラーマグプタの公式のソースを表示

{{出典の明記|date=2017年2月9日 (木) 13:55 (UTC)}}
'''ブラーマグプタの公式'''（ブラーマグプタのこうしき、{{lang-en-short|Brahmagupta's formula}}）とは、[[外接円|円に内接]]する[[四角形]]の四辺の長さからその四角形の[[面積]]を求める[[公式]]である。

== 概要 ==
ブラーマグプタの公式は、[[7世紀]]に[[インド]]の[[数学者]][[ブラーマグプタ]]が[[ヘロンの公式]]の一般化として得た定理である。ヘロンの公式は三角形の3辺の長さから三角形の面積を求める公式であるが、ブラーマグプタの公式は四角形の 4辺の長さから内接四角形の面積を求める公式である。ただし、 3辺の長さが等しい三角形同士は[[図形の合同|合同]]になることから、三角形は 3辺の長ささえ分かれば形が確定し面積が決まるが、四角形の場合は辺の長さだけが決まってもその形を決めることはできず面積は決まらない。したがって、ブラーマグプタの公式では[[円 (数学)|円]]に[[内接]]する四角形であるという条件を付けることで四角形の面積を確定することになる。しかしながら、ブラーマグプタ自身は円に内接するという条件を明示していないため、不正確な公式としてのみ記録に残っている。

== 公式 ==
四角形 ABCD があるとする。辺の長さを AB = ''a'', BC = ''b'', CD = ''c'', DA = ''d'' とし、''s'' を当該四角形の[[半周長]]とする。

このとき、四角形 ABCD が円に内接する、すなわち頂点の A, B, C, D が円の円周上にあるとするならば、四角形 ABCD の面積 ''S'' は
<math>S = \sqrt{(s-a)(s-b)(s-c)(s-d)}</math>
と等しい。この等式を'''ブラーマグプタの公式'''という。

[[三角形]]を四角形の特別な場合と見て ''a'' = 0 とし、この定理の条件の円を三角形の[[三角形#外心|外接円]]と考えれば[[ヘロンの公式]]が得られる。

さらにこの四角形 ABCD が円に外接するとき、いわゆる[[双心四角形]]の面積 ''S'' は
:''S'' = √{{overline|''abcd''}}
と表せる。内接円を持つ四角形の性質とブラーマグプタの公式を利用して得られる簡潔な公式である。

さらに一般化して円に内接しない四角形の面積を求める公式も知られている。四角形 ABCD の対角の和、たとえば ∠ABC + ∠CDA の半分を ''t'' とすると
:<math>S=\sqrt{(s-a)(s-b)(s-c)(s-d)-abcd\cos^2 t}</math>
が成り立つ。この公式を'''[[ブレートシュナイダーの公式]]'''と呼ぶ。もし、四角形 ABCD が円に内接するならば、対角の和は 180° となるから ''t'' = 90° であり cos ''t'' = 0 となるため、ブラーマグプタの公式が得られる。

== 証明 ==
{{出典の明記|date=2023年12月}}
円 O に内接する四角形の頂点を A, B, C, D とし
:AB = ''a'', BC = ''b'', CD = ''c'', DA = ''d''
とする。∠ABC = ''t'' と置くと、内接四角形の定理から ∠CDA = 180° &minus; ''t'' となる。ここで三角形の面積の公式より
:△ABC = (1/2) ''ab'' sin''t''
:△CDA = (1/2) ''cd'' sin(180° &minus; ''t'') = (1/2)''cd'' sin''t''
従って
:四角形ABCDの面積 = △ABC + △CDA
:= (1/2) ''ab'' sin ''t'' + (1/2) ''cd'' sin ''t''
:= (1/2)(''ab'' + ''cd'') sin ''t'' … (1)
また、[[余弦定理]]によれば
:AC{{sup|2}} = ''a''{{sup|2}} + ''b''{{sup|2}} &minus; 2''ab'' cos ''t''
:AC{{sup|2}} = ''c''{{sup|2}} + ''d''{{sup|2}} &minus; 2''cd'' cos(180° &minus; ''t'') = ''c''{{sup|2}} + ''d''{{sup|2}} + 2''cd'' cos ''t''
この二式より cos ''t'' を求めると
:<math>\cos t=\frac{a^2 +b^2 -c^2 -d^2}{2(ab+cd)}</math>
となるので
:(''ab'' + ''cd'')(1 &minus; cos''t'') = 2(''s'' &minus; ''a'')(''s'' &minus; ''b'')
:(''ab'' + ''cd'')(1 + cos''t'') = 2(''s'' &minus; ''c'')(''s'' &minus; ''d'')
:辺々掛けて、(''ab'' + ''cd''){{sup|2}} sin{{sup|2}}''t'' = 4(''s'' &minus; ''a'')(''s'' &minus; ''b'')(''s'' &minus; ''c'')(''s'' &minus; ''d'')
ゆえに (1) より四角形 ABCD の面積は
:<math>\frac{1}{2}(ab+cd)\sin t = \sqrt{(s-a)(s-b)(s-c)(s-d)}</math>
となる。

なお一般化されたブレートシュナイダーの公式も、同様に余弦定理を用いて証明可能である。

== 脚注 ==
{{脚注ヘルプ}}
{{reflist}}

== 参考文献 ==
{{節スタブ|date=2017年2月9日 (木) 13:55 (UTC)}}

== 関連項目 ==
*[[双心四角形]]
*[[ブラフマグプタ]]
*[[ブレートシュナイダーの公式]]
*[[ヘロンの公式]]

== 外部リンク ==
*{{高校数学の美しい物語|583|ブラーマグプタの公式とその２通りの証明}}
*{{mathworld|urlname=BrahmaguptasFormula|title=Brahmagupta's Formula}}

{{DEFAULTSORT:ふらあまくふたのこうしき}}
[[Category:インド数学]]
[[Category:初等数学]]
[[Category:面積]]
[[Category:四角形と円に関する定理]]
[[Category:ブラフマグプタ]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]