円に外接する四角形の重要な2つの性質
円に外接する四角形とは,「ある円が存在して4辺ともその円に接する」ような四角形のことです。「内接円が存在する四角形」とも言えます。
円に外接する四角形についての2つの定理を紹介します。入試でもときどき出題されます。
円に外接する四角形とは
円に外接する四角形とは
-
三角形には必ず内接円が存在しますが,四角形は内接円が存在するとは限りません。
-
例えば,(正方形でない)長方形は「円に外接する四角形」ではありません。
-
一方,ひし型は「円に外接する四角形」です。
円に外接する四角形と対辺の長さの和
円に外接する四角形と対辺の長さの和
円に外接する四角形 について,
円に外接する四角形の最も重要な性質です。定理1自体も重要ですが,導出方法も重要なので覚えておきましょう。
図のように つの接点を とおく。
- 点 から円に引いた二本の接線の長さは等しい(→補足)ので,
- 同様に
以上 つの式を足し合わせると,
よって,
実は定理1の逆も成立します。つまり凸四角形 が を満たせば,その四角形はある円に外接します。
補足(前提知識)
接線の長さが等しいことは前提知識として使いました。わからない方は以下をご参照ください。
円外の点 から引いた2本の接線の接点を とするとき
円の中心を とする。
- 円の半径より
- 接線より
- は共通の辺
よって,直角三角形で斜辺と他の1辺が等しいので三角形 と は合同。よって
円に外接する四角形の面積
円に外接する四角形の面積
円に外接する四角形 について,面積は
こちらは観賞用の公式です。おもしろいですが,知っていて役立つことはほとんどないでしょう。
証明にはブラーマグプタの公式の一般形であるブレートシュナイダーの公式を使います。
まず,ブレートシュナイダーの公式に現れる を計算する:
ただし,変形の途中で定理1を用いた。
同様に, より,
よってブレートシュナイダーの公式より,面積 は,
円に外接し内接もする四角形
円に外接し内接もする四角形
面積公式(定理2)は使えないのは,ブレートシュナイダーの公式が使えない理由と同じく の値を求めるのが難しいからです。
が簡単に求まる場合には威力を発揮します。
例えば,円に外接する四角形がさらに別の円に内接する場合,円に内接する四角形の性質より なので となります。
これは覚えるに値する非常に美しい公式ですね!
円に内接して別の円に外接する四角形を描くのに大変苦労しました。