什么是清宫定理？
清宫定理（Kiyohara's Theorem）是平面几何中一个关于圆内接多边形的优美定理。它实际上是著名的西姆松定理（Simson Line Theorem）在多边形情形下的推广。西姆松定理指出：从圆上一点向三角形三边作垂线，垂足共线。而清宫定理将这一性质推广到了任意圆内接多边形。
⚡ 核心定义
设P是圆内接n边形A1A2...An外接圆上的一点。从P向各边A1A2, A2A3, ..., AnA1（或其延长线）作垂线，垂足分别为H1, H2, ..., Hn。虽然这些垂足通常不共线（除非n=3），但它们构成一个与原多边形具有特定角度关系的图形。
⚙️ 与西姆松定理的关系
当n=3时，清宫定理退化为西姆松定理，此时三个垂足H1, H2, H3共线，这条线被称为西姆松线。对于n>3的情况，垂足Hi构成的多边形与原多边形Ai在角度上存在保持或互补的关系。
📐 几何意义
该定理揭示了圆内接多边形中，动点P在圆周上运动时，其向各边所作垂足的轨迹或相对位置关系具有不变性。这种不变性是解决复杂几何证明题的关键钥匙。
清宫定理的深度证明
为了深入理解清宫定理，我们提供两种主流证明方法：纯几何法和解析几何法。纯几何法侧重逻辑推导与角度变换，解析几何法则通过坐标运算验证结论。
利用圆周角与四点共圆
证明思路：通过寻找四点共圆的性质，推导垂足之间的角度关系。
设P为圆O上一点，四边形ABCD内接于圆O。从P向AB, BC, CD, DA作垂线，垂足分别为E, F, G, H。
1. 证明E, F, P, B四点共圆：
因为PE⊥AB, PF⊥BC，所以∠PEB = ∠PFB = 90°。因此，E, F, P, B四点共圆，且直径为PB。
由此可得：∠PEF = ∠PBF（同弧所对圆周角相等）。
2. 证明G, H, P, D四点共圆：
同理，PG⊥CD, PH⊥DA，所以∠PGD = ∠PHD = 90°。G, H, P, D四点共圆，直径为PD。
由此可得：∠PGH = ∠PDH。
3. 角度转换：
由于A, B, C, D共圆，∠PBF（即∠PBC）与∠PDH（即∠PDA）之间存在一定的互补或相等关系（取决于P点位置）。
进一步分析可知，∠PEF + ∠PGH = 180° 或 ∠PEF = ∠PGH（视具体垂足顺序而定）。
结论：通过一系列角度传递，可以证明垂足构成的多边形与原多边形在角度上保持特定关系。若P点在特定位置，甚至可推导出更特殊的共线或共圆性质。此方法直观地展示了清宫定理的几何本质。
坐标系的建立与代数验证
证明思路：建立平面直角坐标系，利用直线方程和垂足公式进行代数运算。
1. 建立坐标系：
设外接圆为单位圆 x² + y² = 1。设P点坐标为(cosθ, sinθ)。设多边形各顶点Ai的坐标为(cosαi, sinαi)。
2. 求垂足坐标：
边AiAi+1的直线方程可以表示为：
x cos((αi+αi+1)/2) + y sin((αi+αi+1)/2) = cos((αi-αi+1)/2)
从P点向该直线作垂线，利用点到直线的垂足公式，可以求出垂足Hi的坐标表达式。
3. 验证几何关系：
将Hi的坐标代入目标几何关系的方程中（例如，验证Hi是否满足某圆的方程，或验证相邻垂足连线的斜率关系）。
经过复杂的三角恒等变换，可以证明垂足Hi构成的图形满足清宫定理所描述的属性。
优势：解析几何法虽然计算量大，但逻辑严密，适用于计算机辅助证明和一般化推广。
复平面上的优雅推导
证明思路：利用复数表示点，利用复数运算简化几何关系。
1. 复数表示：
设外接圆为单位圆，P点对应复数p，顶点Ak对应复数ak，且|p|=|ak|=1。
2. 垂足公式：
点P到弦AkAk+1的垂足hk对应的复数公式为：
hk = 1/2 (p + ak + ak+1 - pakak+1)
（注：此为简化形式，具体推导需结合垂线斜率与共轭复数性质）
3. 性质验证：
利用上述公式，计算相邻垂足hk与hk+1的比值或差值，分析其辐角关系。可以证明，垂足多边形与原多边形在复平面上具有相似的旋转缩放关系，或者满足特定的共圆条件。
结论：复数法证明过程简洁优美，充分体现了清宫定理的代数对称性。
清宫定理的历史沿革
清宫定理的名字来源于日本数者清宫（Kiyohara），尽管其思想根源可追溯至17世纪的西姆松定理。以下是该定理发展的重要时间节点：
17世纪 西姆松定理提出
罗伯特·西姆松（Robert Simson）虽然并非该定理的最早发现者（威理博·司乃耳更早发现），但该定理以他的名字命名，成为平面几何的经典。
19世纪 多边形推广研究
数学家们开始尝试将西姆松定理从三角形推广到四边形、五边形等多边形。研究发现，垂足不再共线，而是形成新的几何结构。
20世纪 清宫定理正式命名
日本数者清宫对圆内接多边形垂足性质进行了系统研究，提出了更一般的定理形式，后世将其命名为清宫定理。
21世纪 计算机辅助证明
随着GeoGebra等动态几何软件的出现，清宫定理的可视化研究成为热点，许多新的推论和变体被发掘。
常见问题解答 (FAQ)
西姆松定理是清宫定理在n=3（三角形）时的特例。当多边形退化为三角形时，从一点向三边作垂线，垂足共线，即为西姆松线。清宫定理则将此性质推广到了任意圆内接多边形，通常涉及垂足构成的多边形与原多边形的相似性或角度关系。
非常常见。清宫定理及其推论是平面几何奥林匹克竞赛中的高频考点，常用于解决与圆内接多边形、垂足、相似三角形相关的高难度几何证明题。掌握清宫定理可以帮助选手快速识别几何构型，简化证明过程。
可以通过动态几何软件（如GeoGebra）观察。当点P在圆上移动时，向多边形各边作垂线，垂足的轨迹或形成的图形始终保持某种不变的几何性质（如共圆、相似等），这种不变性即为清宫定理的核心。建议动手操作软件，直观感受P点运动时垂足的变化规律。
是的。清宫定理适用于任意圆内接多边形，无论其是否为凸多边形。只要顶点在同一个圆上，从圆上一点向各边（或其延长线）作垂线，垂足依然满足定理所描述的几何性质。但在证明时，需要注意角度的有向性和垂足的位置关系。
学习清宫定理需要掌握以下前置知识：
1. 圆的基本性质（圆周角、圆心角、弦切角）；
2. 四点共圆的判定与性质；
3. 相似三角形的判定与性质；
4. 基本的三角函数知识；
5. （进阶）复数或解析几何基础。