【３】ブラーマグプタの公式

四角形は４辺の長さを与えてもその形は決まらないので，そのような公式は期待できませんが，四角形が円に内接するとき，面積は最大値をとり，ブラーマグプタの公式

　　Ｓ＝（（ｓ−ａ）（ｓ−ｂ）（ｓ−ｃ）（ｓ−ｄ））^1/2，

　　ｓ＝（ａ＋ｂ＋ｃ＋ｄ）／２

が成り立ちます．

（証明）

　四角形の４辺の長さをａ，ｂ，ｃ，ｄ，内角をα，β，γ，δとする．ここで，２ｓ＝ａ＋ｂ＋ｃ＋ｄとおくと，四角形の面積は

　　Ｓ^2＝（ｓ−ａ）（ｓ−ｂ）（ｓ−ｃ）（ｓ−ｄ）−ａｂｃｄ（１＋ｃｏｓ（β＋δ））／２

となる．

　四角形が円に内接するとき，β＋δ＝π，ｃｏｓ（β＋δ）＝−１より，面積は最大となり

　　Ｓ^2＝（ｓ−ａ）（ｓ−ｂ）（ｓ−ｃ）（ｓ−ｄ）

が成り立つ．この定理でｄ→０とすると，三角形のヘロンの公式

　　Δ^2＝ｓ（ｓ−ａ）（ｓ−ｂ）（ｓ−ｃ）

が得られる．しかしながら，円に内接する五角形や六角形については，ヘロンの公式の類似物は存在しない．

　この定理でｄ→０とすると，三角形のヘロンの公式

　　Δ^2＝ｓ（ｓ−ａ）（ｓ−ｂ）（ｓ−ｃ）

が得られる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】トレミーの定理

不足の条件を補うには，余弦定理よりもトレミーの定理

　　「円に内接する四角形の相対する辺の長さの積の和＝対角線の積

　　　　　ＡＢ・ＣＤ＋ＡＤ・ＢＣ＝ＡＣ・ＢＤ」

を活用した方が簡単である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝