この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "円に内接する四角形"
円に内接する四角形(えんにないせつするしかっけい、英: cyclic quadrilateral)または単に内接四角形(ないせつしかっけい、英: inscribed quadrilateral)とは、4頂点が1つの円周上にある四角形のことである[1]。この円のことを外接円といい、その上にある4頂点は共円であるという。一般的に、内接四角形は凸であると仮定されるが、四角形が自己交差することを許せば凸でない内接四角形も存在する。以下では凸四角形に限って述べることとする。
すべての三角形が外接円を持つのに対して、すべての四角形が外接円を持つとは限らない。たとえば、正方形でない菱形は内接四角形ではないが、正方形・長方形・等脚台形・反平行四辺形(英語版)はすべて内接四角形である。凧形が内接四角形となるための必要十分条件は、それが二つの直角を持つことである(直角凧形)。双心四角形は内接四角形であり、かつ外接四角形(英語版)でもある。傍双心四角形(英語版)は内接四角形であり、かつ傍接四角形(英語版)でもある。調和四角形(英語版)は内接四角形であって対辺の長さの積が等しいものである。
特徴付け四角形ABCDは内接四角形である
凸四角形が内接四角形であるための必要十分条件は四つある辺の垂直二等分線が共点となる(つまり一点で交わる)ことである。このとき共有される点は外心と呼ばれる[2]。
凸四角形 □ABCD が内接四角形となるための必要十分条件は、その向かい合う角が互いに補角となることである。式で書けば、四つの角が隣り合う順に α, β, γ, δ の角度を持つとすれば α + γ = β + δ = π ( = 180 ∘ ) {\displaystyle \alpha +\gamma =\beta +\delta =\pi \;(=180^{\circ })} と書ける[2]。直接の定理はエウクレイデスの『原論』第3巻の命題22[3]であるが、同値な言い換えとして、凸四角形が内接四角形となるための必要十分条件は、その各外角が内対角に等しいことである。
凸四角形 □ABCD が内接四角形となる別の必要十分条件は、ひとつの辺と一方の対角線との間の角が対辺と他方の対角線との間の角に等しいことである[4]。つまり例えば ∠ A C B = ∠ A D B {\textstyle \angle ACB=\angle ADB} のときはそうである。
トレミーの定理の述べるところは、内接四角形のふたつの対角線の長さ e, f の積は、二組ある対辺の長さの積の和に等しいことである。式では e f = a c + b d {\displaystyle ef=ac+bd} と書ける[5]:25。逆もまた成り立ち、この式を満たす凸四角形は内接四角形となる。
二つの直線があり、一方が線分 AC を他方が線分 BD を含み、点 P で交わるとする。このとき四点 A, B, C, D が共円となるための必要十分条件は、線分の長さについて A P ⋅ P C = B P ⋅ P D {\displaystyle AP\cdot PC=BP\cdot PD} が成り立つことである[6]:179。このとき、交点 P は四点が存在する円の内部にも外部にも位置しうる。前者の場合では □ABCD が内接四角形となり、後者の場合では □ABDC が内接四角形を成す。また前者の場合において上記の等式は、一方の対角線を P で分割して得られる線分の長さの積が他方のそれと等しいことを述べるものとなる。このことは、この内接四角形の対角線が外接円の弦であることから交弦定理(英語版)と呼ばれる。
もっとほかの特徴づけとして、凸四角形 □ABCD が内接四角形となるための必要十分条件は tan α 2 tan γ 2 = tan β 2 tan δ 2 = 1 {\displaystyle \tan {\frac {\alpha }{2}}\tan {\frac {\gamma }{2}}=\tan {\frac {\beta }{2}}\tan {\frac {\delta }{2}}=1} が成り立つことである[7]。
面積公式