四点共圆定理及其推论-四点共圆及其推论

四条线如何定生死：四点共圆是个挺“过日子”的数学 别总想着把几何定理像背课文一样 memorize（背诵）。真正的数学生活里，那些弯弯绕绕的定理，往往是在啥时候该用、不用的地方直接甩出一句“共圆”，瞬间就把局面定死了。四点共圆，听着挺玄乎，实际上就是四把线、四个角、四个点，凑在一起能不能拼成个圆，这事儿挺好办，逻辑也顺。 咱们先看个最好办的：对角互补。
要是四边形的四个角加起来是 180 度，那它肯定能找出来个圆。
这就像扔石头进池塘，水面上的涟漪一圈一圈往外扩散，直到把所有鱼都圈在里面。
这时候，对角线的交点，一定在圆周上。
这玩意儿在圆内接四边形里特别好用，比如画个正方形，要么一个直角梯形，你只需求算出对角和，直接认个账就行。 要是没那么整，比如是个一般的四边形，那得看哪几条线。
第一条线是“等角对等”，要是两个角相等，那它们对的边就平行，这别看不直接说共圆，但平行线往往暗示着某种角度关系。
第二条线是“同弧对同角”，要是两个角对着同一段弧线，那它们肯定相等。
第三条线是“外角等于内对角”，这是圆内接四边形的精髓，外角一转，内角就得跟着变脸，补全那个 180 度的圆。 这时候就要用到托勒密定理。
这东西听着挺狠，全名是“圆内接四边形对边乘积之和等于对角线乘积”，但用得比它名字听起来像公式还自然。在解题现场，它等便个“组合拳”。
有时候你算不出某条对角线，那就得用这个公式反推另一条。
比如你有两个三角形拼成的四边形，知道两边和夹角，还知道另外两条边，总得一股脑把这些数据塞进公式，算出对角线，才算把路给走通了。
要是记错了公式，那整道大题可能就卡在中间，这时候提醒自己复核一下托勒密定理的公式，准没错。 再看一种情况，就是圆外四点。
这时候情况略微复杂点，但逻辑一样。
既然四点共圆，那圆心和另外两个点、这两个点、圆心这四个点，实际上构成了一个特殊的四边形。
这个时候，往往需求用到“同弦对等角”的推论。
比方说，在圆外一点引两条切线，再引一条割线，这时候角之间特有的关系，往往能帮你把难以计算的线段长度给摆平。 说到数据处理，咱们得来点实在的。假设我们要解一个坐标系里的几何题，四个点分别是 A(0,0)、B(6,0)、C(4,3)、D 是未知点，且四点共圆。
那我们就得先算出 AB 的长度，是 6。算出 AC 的长度，是 $sqrt{3^2+4^2}=5$。再算出 BC 的长度，是 $sqrt{2^2+3^2}=sqrt{13}$。
这时候变量 D 就藏起来了。根据圆的性质，圆心一定在垂直平分线上。先求 BC 的垂直平分线，再结合 AD 的垂直平分线，交点就是圆心。算完圆心坐标，半径也就出来了。
最终，用圆幂定理要么托勒密定理算出一段未知线段，比如 BD 的长度，这时候，数据凑在一起，最终算出答案，干脆利落。 还有啊，有时候四个点共圆，是为了证明三角形相似。
要是你看到两个三角形，它们夹着公共角，且另外一组角互补，那它们肯定相似。而相似比，往往跟四点共圆的半径相关。你能够尝试构建一个圆，把四个点都囊括进去，然后利用正弦定理，把边长和半径联系起来。
有时候，通过计算圆的半径，就能直接得出两个三角形对应边的比值，难题就解了。 在实际操作里，数据往往没那么完美。
比如某个点到圆心的距离算出来是 $sqrt{10}$，另一个点到圆心是 $sqrt{15}$，这时候你得赶紧检查一下是不是计算误差，要么是图读错了。
这时候，灵活运用共圆性质，把富余的条件去掉，剩下的核心数据就能顺水流那会儿。
比方说，要是题目给了一个复杂的辅助圆，实际上是为了让你用托勒密定理算出中间那条弦长，再去证相似。 最终，咱们能不能来个具体的例子，看看数据是如何浮出来的？假设有一个正方形 ABCD，边长为 4。点 E 在正方形外面，B 到 E 的距离是 5，A 到 E 的距离是 3。
要是我们要证 E 点、B 点、C 点、D 点共圆，那我们就得算一下对角线 BD 的垂直平分线，还有 BC 的垂直平分线，看它们是不是交于一点。而 E 点到 B 和 A 的距离，正好符合以 BD 为直径的圆的性质。
这时候，数据 3、5、4 这些数据一凑，圆的半径直接就能算出，逻辑链条瞬间就闭环了。 数学有时候就是个大道理，但用在大处看，就是几条线、几个角、一些数据。四点共圆，实际上就是给那些乱糟糟的几何关系，加上一个“圆”的标签。
只要记住：对角互补、外角等于内对角、托勒密定理、同弦对等角这些武器，不管数据给得多复杂，你都能把它理顺。
毕竟，在几何的世界里，能证明共圆，就是证明白这一切都乖乖地住在一个圆里了。