首页 > 其他分享 >欧氏几何:几何原本(卷三)

欧氏几何:几何原本(卷三)

时间:2023-01-19 00:55:05浏览次数:37  
标签:圆心 定理 已知 原本 几何 欧氏 弓形 线段 圆周角

定义

部分定义博主进行解读

[1]等圆是指直径或半径相等的圆

[2]线与圆的关系:相离、相切、相交

[3]圆与圆的关系:相离、外切、相交、内切、内含

[4]圆内有两条弦,弦心距是指圆心到弦的垂线

[6]弓形是由弦和弧所围成的图形

[7]弓形的角是平面角,由其弓形的弧和弦所构成

[8]圆周角是弓形的圆弧上取一点,连接圆弧的端点的两条线的夹角(原书中称为弓形角,后续内容博主均称作圆周角)

[9]圆周角张于这段圆弧

如图所示,弓形的角是指弧ABC和直线AC构成的平面角;圆周角是指∠ABC(圆弧ABC上一点B即两端点A、C构成的直线角);圆周角张于圆弧ABC

[10]扇形是指圆心在圆心角的两边和所截的圆弧所围成的图形

[11]相似弓形是指含有相等弓形角的弓形

命题

[1]已知圆,求其圆心(尺规作图)

[2]圆周上任意取两点,连接两点的线段(弦)必定在圆内(*)

[3]垂径定理:已知圆以及圆的直径、不过圆心的弦,若直径、弦成直角,则直径平分弦

[4]已知圆和两条不过圆心的弦,则两弦必定不互相平分

[5]已知两圆相交,则两圆的圆心不在同一位置

[6]已知两圆相切,则两圆的圆心不在同一位置

[7]已知圆和一条直径,在直径上任意取一个非圆心的点,则这个点到圆周上的所有线段中这条直径被点分割较长的一段是最长的线段,这条直径被点分割较短的一段是最短的线段(备注:该命题以及后续命题博主建议采用任意变量的做法更容易证明,受限于该篇博客的定位,博主无法给出详细证明)

[8]已知圆,圆外取一点,则这个点到圆周上的所有线段中,这个点与圆心形成的直线上的到圆周的两条线段,较长的一条是最长的,较短的一条是最短的

[9]已知圆(不知道圆心),圆内取一点,若这个点到圆周上的所有线段中,有多于两条线段相等,那么这个点就是圆心(尺规作图)

[10]圆和圆之间的交点最多两个(尺规作图)(*)

[11]若两圆内切,连接两圆心,则这条线段延长后必定经过切点

[12]若两圆外切,连接两圆心,则这条线段必定经过切点

[13]若两圆内切或外切,则切点最多一个(备注:只有一个)(*)

[14]圆中若两弦相等则弦心距相等;反之,弦心距相等对应的弦也相等

[15]圆中的所有弦中直径最长,弦心距越短即越接近圆心的弦越长

[16]已知圆及其某一直径,过直径某端点作一直角,则该直线必定于圆外,这样的直线只有一条,且(推论:即相切)

[17]已知圆和圆外某点,过该点作圆的切线(尺规作图)

[18]若某一直线与圆相切,则圆心到切点的直线必定垂直于切线

[19]若直线与圆相切,作垂直于切线且过切点的直线,则圆心必定于作的这条直线上

[20]圆周角定理:于圆内,同弧(弓形)上的圆心角是圆周角的两倍

[21]于圆内,同弧(弓形)上的任意圆心角都是相等的

[22]已知圆,内接任意四边形,其对角和必然等于180度

[23]于同一线段上无法作出两个相似且不相等的弓形

[24]相等线段上相似弓形是相等的(*)

[25]已知弓形,作一弓形于其上的圆(尺规作图)

[26]已知两个等圆,若其上的圆心角或圆周角相等,则对应的弧(弓形)也相等

[27]已知两个等圆,若其上的弧(弓形)相等,则对应的圆心角或圆周角也相等

[28]已知两个等圆,用长度相等的弦截取弧,则优弧、劣弧对应相等(备注:圆上选取两点,所截取较长的称为优弧,较短的称为劣弧。直径截取即优弧等于劣弧)

[29]已知两个等圆,等弧对应的弦也相等

[30]已知弧,二等分该弧(尺规作图)

[31]直径的圆周角为直角(因为直径的圆心角为180度,圆周角对应的弓形恰好是半圆),比半圆小的弓形圆周角小于直角,比半圆大的弓形圆周角大于直角

[32]弦切角定理:若直线与圆相切,过切点且过圆内部作直线相截的弓形,则直线与切线所成的角(弦切角)等于所截弓形的圆周角(备注:弦切角是指弦与切线的夹角)

[33]已知角,在给定线段上作弓形,使得弓形的圆周角等于已知角(尺规作图)

[34]已知角,在给定圆上作弓形,使得弓形的圆周角等于已知角(尺规作图)

[35]相交弦定理:圆内有任意两条弦AB、CD相交于E点,则\(AE.CE=BE.DE\)(可用相似三角形ACE、BDE证明)

[36]切割线定理:圆外取一点P,作过点相切圆的切线PT,作过点经过圆内部的截线PR且另外交点为Q,则\(PT^2=PQ.PR\)(根据勾股定理、垂径定理可简单证明)

[37]切割线定理逆定理:圆外取一点P,作过点和圆上某点的线PT,作过点经过圆内部的截线PR且另外交点为Q,若\(PT^2=PQ.PR\),则PT为切线

补充——割线定理:Jakob Steiner(约西元1800)提出,圆外取一点P,作过点经过圆内部的两条截线PA、PC且另外交点为B、D,则\(PA.PB=PC.PD\)

补充——圆幂定理:圆幂定理是相交弦定理、切割线定理、割线定理的统一形式。交点为P的两条与(半径为R的)圆相交的直线交于A、B与C、D,则\(PA.PB=PC.PD\)

其中\(OP^2-R^2\)称为点P对圆的幂,根据圆幂的正负还可判断点的位置,当圆幂为正数时即点于圆外,当圆幂为零时即点于圆上,当圆幂为负时即点于圆内。从点的大体位置上来看可以得到,相交弦定理是点于圆内,切割线定理和割线定理是点于圆外。

从割线的相交点位置来看,切割线定理是一条割线相交点只有一个的情况,割线定理是两条割线相交点均为两点的情况。圆幂定理是更加通用的定理,只要存在割线(哪怕是一条也可以当作重合的两条,虽然这样推导的式子没什么意义)、点、圆即可存在关系,实际使用时可以忽略相交弦定理、切割线定理、割线定理这种特殊情况

总结

主要介绍圆相关的命题,重要定理有垂径定理、圆周角定理、弦切角定理、圆幂定理



参考资料

[1]《几何原本》译林版

标签:圆心,定理,已知,原本,几何,欧氏,弓形,线段,圆周角
From: https://www.cnblogs.com/vntlly/p/17060961.html

相关文章

  • 【SLAM与多视图几何】【Fundamental Matrix】F矩阵代数推导详解
    核心图片详解两个视角同时看到了三维空间点中的X在两个视角中分别为二维点x、x'。e'认为是左边相机光心在右边的投影l'可能是对极直线?不过名称不重要重要的是e'和......
  • 计算几何全家桶
    本文出现的代码我连到哪里测试都不知道,完全不保证正确性。指路wind_whisper神仙的博客。基础运算typedefdoubledb;constdbeps=1e-8;structV{ dbx,y;};inl......
  • 05 二次曲线的一般结论 | 解析几何
    1.二次曲线的相关概念1.二次曲线平面上由二次方程:\(F(x,y)\equiva_{11}x^2+2a_{12}xy+a_{22}y^2+2a_{13}x+2a_{23}y+a_{33}=0\)2.二次曲线的一般记号\(F_1(x......
  • postgis:通过命令创建几何图形-geometry
    postgis:通过命令创建几何图形-geometry已被阅读1516次 | 文章分类:geoserver | 2019-12-2322:32可以利用数据库的查询工具创建空间数据表一:执行查看结......
  • PYTHON 用几何布朗运动模型和蒙特卡罗MONTE CARLO随机过程模拟股票价格可视化分析耐克
    原文链接:http://tecdat.cn/?p=27099最近我们被客户要求撰写关于模拟股票价格的研究报告,包括一些图形和统计输出。金融资产/证券已使用多种技术进行建模。该项目的主要目......
  • 【计算几何】极角排序
    前置知识三角函数。引文给定一个中心点\(O\)与\(n\)个点,求按点与\(O\)的连线与\(x\)轴的夹角排序后的点对。正文显而易见,不论我们如何移动\(O\)点,点对都......
  • 【计算几何】基础知识
    前置知识点(1)pi=acos(-1);(2)余弦定理c^2=a^2+b^2-2abcos(t)浮点数的比较constdoubleeps=1e-8;intsign(doublex)//符号函数{if(fabs(x)......
  • Cesium 几何编辑
    最近做了个Cesium几何编辑的功能,通过鼠标画点线面等,记录一下问题感兴趣的朋友可以移步:LiZzhi/cesium-plugin(github.com)功能本身不难,无非就是封装鼠标事件,记录好数据,随......
  • 【计算几何】浅谈凸包Andrew算法
    前置知识基础计算几何定义。引文这样一个问题,有许多个杆子,需要用绳子围住所有的杆子,然鹅没有很多的绳子,求最短需要多少绳子。整个图大概是这样的,正文我们要如何解......
  • 【计算几何】全代码
    constdoubleeps=1e-7;constdoublepi=acos(-1);intdcmp(doublex){return(fabs(x)<=eps)?0:(x<0?-1:1);}structPoint{doublex,y;Point(doubleX......