円に内接する四角形
内接四角形の頂点が隣り合う順に A, B, C, D であり、各辺の長さを a ≔ AB, b ≔ BC, c ≔ CD, d ≔ DA とするとき、対角線の長さ p ≔ AC, q ≔ BD は辺の長さを用いて
と表せる。よって、トレミーの定理
も示せる。同じ設定のもと、トレミーの第二定理に従えば
である。 対角線の長さの和に関して不等式
が成り立つ。ここで等号が成り立つための必要十分条件が、二つの対角線の長さが一致することであるということを、相加相乗平均の関係式を用いて示せる。さらに
が成り立つ。
任意の凸四角形が二つの対角線によって四つの三角形に分割されるが、内接四角形においてそれら四つの三角形の向かい合う対は互いに相似になる。
二つの対角線 AC, BD の中点をそれぞれ M, N とすれば
が成り立つ。ここに点 E, F は向かい合う辺を延長したときにできる交点とする。内接四角形 □ABCD の二辺 AC と BD が E で交わるとすると
が成り立つ。
内接四角形を成す辺の集合が一つ与えられれば、それらの並びだけを替えて、外接円と面積を変えることなく、三つの相異なる内接四角形を作ることができる(面積が変わらないことはブラーマグプタの公式からわかる)。そのような内接四角形のどの二つも、ひとつの対角線の長さは共通である。
“Cyclic polygons in non-Euclidean geometry”. Elemente der Mathematik 66 (2): 74–82.
↑ Lexell, A. J. (1786). “De proprietatibus circulorum in superficie sphaerica descriptorum”. Acta Acad. Sci. Petropol. 6 (1): 58–103.
↑ Rosenfeld, B. A. (1988). A History of Non-Euclidean Geometry - Springer. Studies in the History of Mathematics and Physical Sciences. 12. doi:10.1007/978-1-4419-8680-1. ISBN 978-1-4612-6449-1
↑ Kiper, Gökhan; Söylemez, Eres (2012-05-01). “Homothetic Jitterbug-like linkages”. Mechanism and Machine Theory 51: 145–158. doi:10.1016/j.mechmachtheory.2011.11.014. http://www.sciencedirect.com/science/article/pii/S0094114X11002321.