四点共圆基本性质及证明.docxVIP

... 四点共圆 如果同一平面内的四个点在同一个圆上，则称这四个点共圆，一般简称为 “四点共圆”。四点共圆有三个性质： 共圆的四个点所连成同侧共底的两个三角形的顶角相等； 圆内接四边形 的对角互补； 圆内接四边形的外角等于 内对角。 以上性质可以根据圆周角等于它所对弧的度数的一半进行 证明。 定理 1 判定定理 方法 1： 把被证共圆的四个点连成共底边的两个三角形， 且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆。 （可以说成：若线段同侧二点到线段两端点连线段二端点四点共圆） 夹角相等，那么这二点和线 方法 2 ：把被证共圆的四点连成四边形， 若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆。 （可以说成：若平面上四点连成四边形的对角互补或一个外角等于其内对角，那么这四点共圆） 托勒密定理 若 ABCD 四点共圆（ABCD 按顺序都在同一个圆上） ，那么 AB DC+BCAD=AC BD。 黄忠明 第 1 页 共 1 页 ... ... 例题：证明对于任意正整数 n 都存在 n 个点使得所有点间两两距离为整数。解答：归纳法。我们用归纳法证明一个更强的定理：对于任意 n 都存在 n 个 点使得所有点间两两距离为整数， 且这 n 个点共圆，并且有两点是一条直径的两端。n=1，n=2 很轻松。当 n=3 时，一个边长为整数的勾股三角形即可：比如说边长为 3，4，5 的三角形。 我们发现这样的三个点共圆， 边长最长的边是一条直径。假设对于 n 大于等于 3 成立，我们来证明 n+1。假设直径为 r （整数）。找一个不跟已存在的以这个直径为斜边的三角形相似的一个整数勾股三角形 ABC （边长 abc）。把原来的圆扩大到原来的 c 倍，并把一个边长为 rarbrc 的三角形放进去，使得 rc 边和放大后的直径重合。这个三角形在圆上面对应了第 n+1 个点，记为 P。于是根据 Ptolomy 定理，P 和已存在的所有点的距离都是一个有理数。（考虑 P，这个点 Q 和直径两端的四个点，这四点共圆，于是 PQ 是一个有理数因为 Ptolomy 定理里的其它数都是整数。 ）引入一个新的点 P 增加了n 个新的有理数距离，记这 n 个有理数的最大公分母为 M。最后只需要把这个新 的图扩大到原来的 M 倍即可。归纳法成立，故有这个命题。 反证法证明 现就“若平面上四点连成四边形的对角互补。 那么这个四点共圆”证明如下 （其它画个证明图如后） 已知：四边形 ABCD 中，∠A+∠C=180° 求证：四边形 ABCD 内接于一个圆（ A，B，C，D 四点共圆） 证明：用 反证法 过 A，B，D 作圆 O，假设 C 不在圆 O 上，点 C 在圆外或圆内， 黄忠明 第 2 页 共 2 页 ... ... 若点 C 在圆外，设 BC 交圆 O 于 C’，连结 DC’，根据圆内接四边形的性质得∠A+∠DC’B=180° ， ∵∠A+∠C=180° ∴∠DC’B=∠C 这与三角形外角定理矛盾， 故 C 不可能在圆外。类似地可证 C 不可能在圆内。 ∴C 在圆 O 上，也即 A，B，C， D 四点共圆。 证明方法 2 方法 1 从被证共圆的四点中先选出三点作一圆，然后证另一点也在这个圆周上，若能证明这一点，即可肯定这四点共圆． 方法 2 把被证共圆的四个点连成共底边的两个三角形， 且两三角形都在这底边的 同侧，若能证明其顶角相等 ( 同弧所对的 圆周角相等），从而即可肯定这四点共圆。 几何描述：四边形 ABCD 中，∠BAC=∠BDC，则 ABCD 四点共圆。 证明：过 ABC 作一个圆，明显 D 一定在圆上。若不在圆上，可设射线 BD 与圆的交点为 D，那么∠BDC=∠BAC=∠BDC，与外角定理矛盾。 方法 3 把被证共圆的四点连成 四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆。 证法见上 方法 4 把被证共圆的四点两两连成相交的两条 线段，若能证明它们各自被交点分成的两线段之积相等， 即可肯定这四点共圆 （相交弦定理 的逆定理） ；或把被证共圆的四点两两连结并延长相交的两线段， 若能证明自交点至一线段两个端点所成 黄忠明 第 3 页 共 3 页 ... ... 的两线段之积等于自交点至另一线段两端点所成的两线段之积， 也共圆．（ 割线定理 的逆定理） 即可肯定这四点 上述两个定理统称为圆幂定理的逆定理， 即 ABCD 四个点，分别接连AB 和 CD, 它们（或它们的延长线）交点为 P，若 PA PB=PC PD，则ABCD 四点共圆。证明：连接AC,BD，∵PA PB=PC PD ∴PA/PC=PD/PB ∵∠APC=∠BPD ∴△APC∽△DPB 当