首页 > 其他分享 >相交两圆

相交两圆

时间:2024-08-19 19:15:27浏览次数:10  
标签:triangle angle BC 两圆 相交 cdot 共圆 frac

这篇写的太早了,我自己也看不懂,现在找不到啥基础题适合放了。反正把构型掌握了就好。

Reim引理

如图,两圆交于 \(A,B\) 两点,若 \(CD,EF\) 是两圆的弦,满足 \(CAE,DBF\) 分别共线,则 \(CD//EF\)

逆定理:若 \(ABCD\) 共圆,\(E,F\) 分别在 \(CA,DB\) 的延长线上,并满足 \(EF//CD\) ,则 \(ABEF\) 也共圆

表述 \(2\) :若 \(ABCD,ABEF\) 分别共圆, \(EF//CD\) ,若 \(ACE\) 共线,则 \(BFD\) 共线

\(Reim\) 引理有多种构型

(圆内接四边形+平行=共圆)

如果觉得难记:我们可以把共圆的对边理解为逆平行,两次逆平行会变为正平行,一次正平行+一次逆平行=逆平行

例1

如图,\(AD\perp BC\) 于点 \(D\) , \(\triangle ABC\) 内切圆 \(I\) 切 \(BC\) 于点 \(F\) ,\(M\) 为 \(BC\) 中点,以 \(M\) 为圆心, \(ME\) 为半径画圆交圆 \(I\) 与 \(BC\) 于 \(N,F\) ,作 \(MG\perp AI\) 于点 \(G\) ,延长 \(FG,ND\) 交于点 \(K\) ,求证: \(D,E,K,G\) 共圆

注意到 \(IMEG\) 共圆,又 \(IM//PF\) ,即 \(AFEG\) 共圆 ( \(Reim\) 引理)

又 \(EP\) 为圆 \(I\) 的直径,可知 \(\angle ANE=\angle ANE=Rt\angle\) ,即 \(ANED\) 共圆

那么 \(\angle K=\pi-\angle DNF-\angle AFG=\angle AND-(\pi-\angle AEG)=\angle AED+\angle AEG-\pi =\angle FEG\)

即证

旋转相似

如图,有 \(\triangle BEF\sim\triangle BCD\sim\triangle BO_1O_2,\triangle BEC\sim \triangle BFD\)

当然有这个相似和其中一个共圆能推另一个共圆

这个构型与密克点也有关系

例1

如图 ,\(\triangle ABC\) 内接于圆 \(\Omega\) , \(T\) 是 \(\triangle ABC\) 内部任一点, 点 \(E,F\) 分别在 \(AB,AC\) 上,且满足 \(TB=TF,TC=TE\) , \(TPQ\) 是 \(\triangle AEF\) 外接圆的一条割线,证明: \(\triangle APQ\) 的垂心在 \(\Omega\) 上

过 \(A\) 做 \(PQ\) 垂线,与 \(\Omega\) 及 \(\odot(AEF)\) 交于点 \(K,K'\) 。题目即要求证 \(K\) 为垂心,而 \(K'\) 是垂心关于 \(PQ\) 的对称点,因此考虑记 \(V=AK\cap PQ\)

取出 \(BF,CE\) 中点 \(M,N\) ,实际上 \(AMTN\) 共圆,不难注意到三圆共轴,下面来证明这一点:

记 \(S=\Omega\cap\odot(AEF)\) ,根据经典模型,有 \(\triangle SBF(M)\sim\triangle SCE(N)\)

从而 \(\angle SMF=\angle SNE\) ,即 \(S\) 也在 \(\odot(AMN)\) 上

由于 \(\angle AST=Rt\angle=\angle AVT\) ,从而 \(AVSMTN\) 共圆

根据经典模型 \(\triangle SBF(M)\sim\triangle SCE(N)\sim\triangle SKK'(V)\)

即 \(KV=K'V\) ,则知 \(K\) 为垂心

例2

如图,\(\odot O_1,\odot O_2\) 交于点 \(X,Y\) ,弦 \(BD,AC\) 分别在 \(\odot O_2,\odot O_1\) 上并交于点 \(P\) ,满足 \(PA-PB,PC=PD\) ,记 \(O\) 为 \(O_1O_2\) 中点,求证: \(O\) 为 \(\triangle PXY\) 的外心

由经典模型可以得到一个引理:如图,若 \(P\) 为 \(ST\) 中点,则 \(OP=OX\)

证明是不困难的,只要注意到 \(\triangle YO_1O_2(O)\sim\triangle YST(P)\) ,则得到 \(\triangle YO_1S\sim\triangle YOP\sim\triangle YO_2T\)

回到原题,已知条件即 \(P\) 对于两圆的圆幂为相反数

根据中线定理知我们需要证明 \(2(O_1P^2+PS^2)=O_1S^2+O_1T^2,2(O_2P^2+PS^2)=O_2S^2+O_2T^2\)

两式相加得到 \(2(O_1P^2+O_2P^2)+ST^2=R_1^2+R_2^2+O_1T^2+O_2S^2\) 这个命题和 \(P\) 是中点是等价的

实际上 \(O_1R^2+O_2R^2,R\in ST\) 是一个二次函数,而 \(O_1P^2+O_2P^2=O_1X^2+O_2X^2\) (由上述引理结合中线定理即可得知),这意味着 \(P,X\) 是上述方程的唯二解,而 \(X\) 在两圆上的幂为 \(0\) ,舍

我们先证明 \(O_1T^2+O_2S^2=R_1^2+R_2^2+ST^2\)

由余弦定理, \(ST^2+O_1S^2-2O_1S\cdot ST \cdot cos\angle O_1ST =O_1T^2\)

\(ST^2+O_2T^2-2O_2T\cdot ST\cdot cos\angle O_2TS=O_2S^2\)

两式相加,我们只需证 $ST^2=2ST(O_1Scos\angle O_1ST+O_2Tcos\angle O_2TS) $ ,显然成立

又 \(P\) 对两圆圆幂为相反数 \(\iff O_1P^2+O_2P^2=R_1^2+R_2^2\) 两式相加即证

例3

给定 \(\triangle ABC\) ,求点 \(P\in BC\) 满足若 \((APB),(APC)\) 的两条外公切线与 \(AP\) 交点为 \(X,Y\) ,则 \((\frac{PA}{XY})^2+\frac{PB\cdot PC}{AB\cdot AC}=1\)

这题很简单,唯一的难点是容易想复杂。我们看到

\(\large 1-(\frac{PA}{XY})^2=\frac{4XA\cdot XP}{XY}=(\frac{XM}{XL})^2\)

是定值。我们还看到 \(\triangle O_1O_2T\sim \triangle ZXL\) ,所以 \(\frac{XL}{2XM}=\frac{XL}{GT}=\frac{XZ}{O_1O_2}=\frac{O_1A+O_2A}{XZ}\) ,用到了梯形中位线

现在用旋转相似 \(\triangle AO_1O_2\sim \triangle ABC\) ,所以 \(\frac{XL}{XM}=\frac{AB+AC}{BC}\)

然后 \(\frac{PB\cdot PC}{AB\cdot AC}=(\frac{BC}{AB+AC})^2\) ,有一个点满足这个条件,就是角平分线与 \(BC\) 交点。当然它关于 \(BC\) 中点的对称点也满足条件。

圆幂分析

在多圆问题中巧妙利用圆幂分析也是相当重要的方法

例1

\(M\) 是 \(BC\) 中点,\(P,Q\) 是 \(BC\) 上两点,满足 \(PQ=\frac12BC\) ,\(X,Y\) 分别是 \(\triangle ABQ,\triangle ACP\) 外接圆与 \(AC,AB\) 的交点,求证: \(AXMY\) 共圆

取 \(Z\) 使得 \(CQ=QZ\) ,那么 \(CZ\cdot CM=CQ\cdot CB=CX\cdot CA\) ,即 \(AXZM\) 共圆,同理 \(AYZM\) 共圆,即证

标签:triangle,angle,BC,两圆,相交,cdot,共圆,frac
From: https://www.cnblogs.com/Rocking-Yoshi/p/18367934

相关文章

  • 【面试题 02.07. 链表相交 简单】
    题目:同:160.链表相交给你两个单链表的头节点headA和headB,请你找出并返回两个单链表相交的起始节点。如果两个链表没有交点,返回null。图示两个链表在节点c1开始相交:题目数据保证整个链式结构中不存在环。注意,函数返回结果后,链表必须保持其原始结构。示例1......
  • GAMES101——作业5 光线与三角形相交(菲涅尔反射率)
    任务         需要修改的函数是:         Renderer.cpp中的Render():这里你需要为每个像素生成一条对应的光线,然后调用函数castRay()来得到颜色,最后将颜色存储在帧缓冲区的相应像素中。        Triangle.hpp中的rayTriangleInter......
  • 代码随想录 day 44 最长公共子序列 | 不相交的线 | 最大子序和 | 判断子序列
    最长公共子序列最长公共子序列解题思路本题dp数组的含义是最长公共序列,而后同时遍历两个字符串,遇到相同的字母是公共子序列+1,否则取两个字符串的公共子序列中较长的一个。知识点动态规划,子序列心得没有想到比较两个字符串的公共子序列。我自己是遇到相同字母时将所有后续的......
  • 批量打断相交线——ArcGIS 解决方法
    在数据处理,特别是地理空间数据处理或是任何涉及图形和线条分析的场景中,有时候需要把相交的线全部从交点打断一个常见的需求。这个过程对于后续的分析、编辑、或是可视化展现都至关重要,因为它可以确保每条线都是独立的,避免了因为线条重叠或相交而可能产生的错误或混淆。打断前......
  • 如何使用OpenCV测量两条相交绳索的宽度和角度?
    下面第一张图是原始图像,显示了一个网络。网中的绳索有两种类型:粗绳和细绳。需要通过OpenCV区分哪些是粗绳,哪些是细绳,并分别测量它们的角度。importcv2importnumpyasnpdefmeasure_rope_width(image):gray=cv2.cvtColor(image,cv2.COLOR_BGR2GRAY)......
  • 代码随想录算法训练营第四天 | Leetcode 24 两两交换链表中的节点 Leetcode 19 删除链
    前言今天链表的内容突出一个注意细节,判空条件,头节点是否为空等等。采用虚拟头节点可以方便链表进行更改,还需要学会使用临时变量。 Leetcode24两两交换链表中的节点题目链接:https://leetcode.cn/problems/swap-nodes-in-pairs/代码随想录题解:代码随想录(programmercarl.......
  • 代码随想录训练营 Day4打卡 链表part02 24. 两两交换链表中的节点 19.删除链表的倒数
    代码随想录训练营Day4打卡链表part02一、力扣24.两两交换链表中的节点给你一个链表,两两交换其中相邻的节点,并返回交换后链表的头节点。你必须在不修改节点内部的值的情况下完成本题(即,只能进行节点交换)。示例1:输入:head=[1,2,3,4]输出:[2,1,4,3]算法思路:引入虚......
  • 在考虑表格条件后,在空间上溶解相交的线
    在参加一些表格条件后,我需要溶解来自ageodataframe的所有彼此相交的线串:1)具有相同的ID和2)具有相同的opening年份。这些数据代表道路数据库,我正在使用geopandas数据如下所示:idopeninggeometry0302020LINESTRI......
  • [题解]POJ3675 Telescope——求多边形与圆相交部分的面积
    POJ3675Telescope题意简述多测。每次给定一个\(N\)边形(保证相邻输入的顶点在多边形上也是邻接的),再给定一个以\((0,0)\)为圆心,半径为\(r\)的圆。请计算出多边形和圆相交部分的面积(保留\(2\)位小数)。\(3\leN\le50\)\(0.1\ler\le1000\)\(-1000\lex_i,y_i\le1000\)。......
  • 代码随想录算法训练营第四天 | Python | LeetCode24.两两交换链表中的节点、19.删除链
    LeetCode24.两两交换链表中的节点题目链接:https://leetcode.cn/problems/swap-nodes-in-pairs/description/文章/视频链接:https://programmercarl.com/0024.%E4%B8%A4%E4%B8%A4%E4%BA%A4%E6%8D%A2%E9%93%BE%E8%A1%A8%E4%B8%AD%E7%9A%84%E8%8A%82%E7%82%B9.html#%E7%AE%9......