Forum Geometricorum
Volume 16 (2016) 347–354.
FORUM GEOM
ISSN 1534-1178
Two Six-Circle Theorems for Cyclic Pentagons
Gregoire Nicollier ´
Abstract. Miquel’s pentagram theorem is true for any pentagon. We consider
the pentagram obtained by producing the sides of a pentagon and prove two further six-circle theorems, the first for a cyclic pentagram and the second for a
cyclic pentagon. If the pentagram is cyclic, consecutive circumcircles of the ear
edges issued from the same pentagon vertex have concyclic alternate intersections. If the pentagon is cyclic, alternate intersections of the circumcircles of the
rooted ears issued from the same pentagon vertex are concyclic (a rooted ear is
an ear extended by the neighboring sides of the pentagon). Among related results, we also show that the circumcircle of an ear producing opposite sides of a
cyclic quadrilateral and the circumcircle of the corresponding rooted ear are both
tangent to the same two circles centered at the circumcenter of the quadrilateral.
1. Introduction
Take any planar pentagon, not necessarily simple and convex, and consider the
pentagram obtained by producing the sides of the pentagon. By Miquel’s theorem,
the circumcircles of consecutive ears meet at five concyclic points besides the pentagon vertices (Figure 1). We prove two further six-circle theorems, the first for a
cyclic pentagram and the second for a cyclic pentagon (Section 2). Larry Hoehn [5]
found that, for any pentagon, the circumcircles of the ear edges issued from the
same pentagon vertex have a common radical center: we show that alternate intersections of such consecutive circumcircles are concyclic when the pentagram
is cyclic (Figure 2). Dao Thanh Oai [3] discovered experimentally with dynamic
geometry software that alternate intersections of the circumcircles of the rooted
ears issued from the same vertex of a cyclic pentagon are concyclic (a rooted ear is
an ear extended by the neighboring sides of the pentagon): we prove this conjecture by explicit computations and show that this immediately follows from the fact
that these circumcircles have a common radical center (Figure 3). Using similar
computations, we obtain related results in Section 3. Here are two examples: the
circumcircles of Miquel’s theorem have a common radical center when the pentagon is cyclic; the circumcircle of an ear producing opposite sides of a cyclic
quadrilateral and the circumcircle of the corresponding rooted ear are both tangent
to the same two circles centered at the circumcenter of the quadrilateral. We also
give a short computational proof of Dao’s theorem on six circumcenters associated
with a cyclic hexagon [2, 4, 1].
2. The six-circle theorems
Theorem 1. Consider a pentagon A1A2A3A4A5 (possibly nonconvex or selfintersecting) and the pentagram with ear apices Ek+0.5 = Ak−1Ak ∩ Ak+1Ak+2
Publication Date: November 3, 2016. Communicating Editor: Paul Yiu.
บอร์ด geometricorum16 เล่ม ( 2016 ) 347 – 354 .เว็บบอร์ดกึมชื่อ 1534-1178สองหกวงทฤษฎีบทสำหรับแบบห้าเหลี่ยมเกรกอรี่ nicollier ใหม่นามธรรม มิเกลเป็นรูปดาวห้าแฉกทฤษฎีบทเป็นจริงใด ๆในเพนตาก้อน เราพิจารณาดาวห้าแฉกที่ได้จากการผลิต ด้านข้างของเพนตากอนและพิสูจน์ทฤษฎีบทวงกลมหกสองเพิ่มเติม , RST จึงเป็นรูปดาวห้าแฉกและวงกลมที่สองสำหรับเป็นวงกลมในเพนตาก้อน ถ้าดาวห้าแฉกเป็นวัฏจักรต่อเนื่อง circumcircles ของหูขอบออกจากยอดรูปห้าเหลี่ยมเดียวกันมี concyclic สำรองสูง ถ้าเป็นแบบห้าเหลี่ยม ทางแยกอื่นของ circumcircles ของรากหูออกจากยอดรูปห้าเหลี่ยมเดียวกัน concyclic ( ฝังหูหูขยายโดยเพื่อนบ้านด้านห้าเหลี่ยม ) ระหว่างที่เกี่ยวข้องกับผล เรายังแสดงให้เห็นว่า circumcircle ของหูผลิตด้านตรงข้ามของเป็นรูปสี่เหลี่ยมและ circumcircle ของที่ฝังหูทั้งคู่สัมผัสเดียวกันสองวงกลมศูนย์กลางที่ circumcenter ของรูปสี่เหลี่ยม .1 . แนะนำใช้ระนาบเพนตากอน , ไม่จําเป็นต้องง่ายและนูน และพิจารณารูปดาวห้าแฉกที่ได้จากการผลิตด้านของเพนตากอน โดยทฤษฎีบท มิเกล ,การ circumcircles หูติดต่อกันจึงได้พบกันที่ concyclic จุดนอกจากนี้ห้าเหลี่ยมจุด ( รูปที่ 1 ) เราพิสูจน์ทฤษฎีบทวงกลมหกสองเพิ่มเติม , RST จึงสำหรับและดาวห้าแฉกแบบที่สองเป็นแบบห้าเหลี่ยม ( ส่วนที่ 2 ) แลร์รี่โอน [ 5 ]พบว่าสำหรับเพนตากอน , circumcircles ของหูขอบออกจากจุดยอดเดียวกันมีทั่วไปศูนย์เพนตากอนหัวรุนแรง : เราแสดงให้เห็นว่าทางแยกอื่น เช่น circumcircles ติดต่อกันเป็น concyclic เมื่อดาวห้าแฉกเป็นวงกลม ( รูปที่ 2 ) ดาวแทง าย [ 3 ] ค้นพบการทดลองกับแบบไดนามิกเรขาคณิตซอฟต์แวร์ที่แยกสลับของ circumcircles ของรากหูออกจากจุดยอดเดียวกันของเพนตากอน ไซคลิกจะ concyclic ( ฝังหูหูขยายโดยเพื่อนบ้านข้างของเพนตากอน ) : เราจะพิสูจน์ข้อความคาดการณ์นี้โดยวิธีการที่ชัดเจนและแสดงให้เห็นว่านี้คือความจริงทันทีที่ circumcircles เหล่านี้มีจุดศูนย์กลางร่วมกันที่รุนแรง ( รูปที่ 3 ) ใช้คล้ายวิธีการที่เราได้รับที่เกี่ยวข้องกับผลลัพธ์ในมาตรา 3 ที่นี่สองตัวอย่าง :circumcircles ทฤษฎีบท มิเกลก็มีทั่วไปรุนแรงศูนย์เมื่อเพนตากอนเป็นวงกลม ; circumcircle ของหูผลิตด้านตรงข้ามของไซคลิกรูปสี่เหลี่ยมและ circumcircle ของรากหูทั้งสองสัมผัสกันในการเดียวกันสองวงกลมศูนย์กลางที่ circumcenter ของรูปสี่เหลี่ยม . นอกจากนี้เรายังให้หลักฐานการคำนวณสั้นของทฤษฎีบทดาวหก circumcenters เกี่ยวข้องกับแบบหกเหลี่ยม [ 2 , 4 , 1 ]2 . ทฤษฎีบทวงกลมหกทฤษฎีบทที่ 1 พิจารณาของกระทรวงกลาโหม a1a2a3a4a5 ( อาจจะ nonconvex หรือ selfintersecting ) และดาวห้าแฉกกับหู apices EK + 0.5 = AK − 1ak ∩ AK + 1ak + 2วันที่ตีพิมพ์ : 3 พฤศจิกายน 2552 . การแก้ไข : พอล หยู
การแปล กรุณารอสักครู่..
