考点名称：直线与圆的位置关系（直线与圆的相交，直线与圆的相切，直线与圆的相离）

• 直线与圆的位置关系:
  直线与圆的位置关系有三种：直线与圆相交，直线与圆相切，直线与圆相离。
  （1）相交：直线和圆有两个公共点时，叫做直线和圆相交，这时直线叫做圆的割线，公共点叫做交点AB与⊙O相交，d<r；
  （2）相切：直线和圆有唯一公共点时，叫做直线和圆相切，这时直线叫做圆的切线，这个唯一的公共点叫做切点。AB与⊙O相切，d=r。
  （3）相离：直线和圆没有公共点时，叫做直线和圆相离,AB与圆O相离，d>r。（d为圆心到直线的距离）

• 直线与圆的三种位置关系的判定与性质：
  （1）数量法：通过比较圆心O到直线距离d与圆半径的大小关系来判定，
  如果⊙O的半径为r，圆心O到直线l的距离为d，则有：
  直线l与⊙O相交d<r；
  直线l与⊙O相切d=r；
  直线l与⊙O相离d>r；
  （2）公共点法：通过确定直线与圆的公共点个数来判定。
  直线l与⊙O相交d<r2个公共点；
  直线l与⊙O相切d=r有唯一公共点；
  直线l与⊙O相离d>r无公共点 。
  
  圆的切线的判定和性质   
  （1）切线的判定定理：经过半径的外端并且垂直于这条半径的直线是圆的切线。
  （2）切线的性质定理：圆的切线垂直于经过切点的半径。
  
  切线长：
  在经过圆外一点的圆的切线上，这点和切点之间的线段的长叫做这点到圆的切线长。
  切线长定理：
  从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角。

• 直线与圆的位置关系判定方法:
  平面内，直线Ax+By+C=0与圆x²+y²+Dx+Ey+F=0的位置关系判断一般方法是：
  1.由Ax+By+C=0，可得y=（-C-Ax）/B，（其中B不等于0），代入x²+y²+Dx+Ey+F=0，即成为一个关于x的方程
  如果b²-4ac>0，则圆与直线有2交点，即圆与直线相交。
  如果b²-4ac=0，则圆与直线有1交点，即圆与直线相切。
  如果b²-4ac<0，则圆与直线有0交点，即圆与直线相离。
  
  2.如果B=0即直线为Ax+C=0，即x=-C/A，它平行于y轴（或垂直于x轴），将x²+y²+Dx+Ey+F=0化为（x-a）²+（y-b）²=r²。
  令y=b，求出此时的两个x值x₁、x₂，并且规定x₁<x₂，那么： 
  当x=-C/A<x₁或x=-C/A>x₂时，直线与圆相离；
  当x_¹<x=-C/A<x₂时，直线与圆相交。 

考点名称：命题，定理

• 命题的概念：
  判断一件事情的语句，叫做命题。
  命题的概念包括两层含义：
  （1）命题必须是个完整的句子；
  （2）这个句子必须对某件事情做出判断。
  
  公理：
  人们在长期实践中总结出来的得到人们公认的真命题，叫做公理。
  
  定理：
  通过真命题（公理或其他已被证明的定理）出发，经过受逻辑限制的演绎推导，证明为正确的结论的命题或公式，例如“平行四边形的对边相等”就是平面几何中的一个定理。
  一般来说，在数学中，只有重要或有趣的陈述才叫定理，证明定理是数学的中心活动。相信为真但未被证明的数学叙述为猜想，当它被证明为真后便是定理。它是定理的来源，但并非唯一来源。一个从其他定理引伸出来的数学叙述，可以不经过证明成为猜想的过程，成为定理。
  如上所述，定理需要某些逻辑框架，继而形成一套公理（公理系统）。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理。
  在命题逻辑中，所有已证明的叙述都称为定理。
  
  经过长期实践后公认为正确的命题叫做公理，用推理的方法判断为正确的命题叫做定理。

• 命题的分类：
  （按正确、错误与否分）分为真命题（正确的命题），假命题（错误的命题），
  所谓正确的命题就是：如果题设成立，那么结论一定成立的命题。
  所谓错误的命题就是：如果题设成立，不能证明结论总是成立的命题。

  四种命题：
  1．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
  2．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
  3．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
  
  相互关系：
  1．四种命题的相互关系：原命题与逆命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否，逆命题与逆否命题互否，逆否命题与否命题互逆。
  2．四种命题的真假关系：
  ①两个命题互为逆否命题，它们有相同的真假性。
  ②两个命题为互逆命题或互否命题，它们的真假性没有关系(原命题与逆否命题同真同假，逆命题与否命题同真同假）

  定理结构：
  定理一般都有一个设定——一大堆条件。然后它有结论——一个在条件下成立的数学叙述。
  通常写作「若条件，则结论」。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。
  逆定理：
  若存在某叙述为A→B，其逆叙述就是B→A。逆叙述成立的情况是A←→B，否则通常都是倒果为因，不合常理。若某叙述是定理，其成立的逆叙述就是逆定理。
  若某叙述和其逆叙述都为真，条件必要且充足。 若某叙述为真，其逆叙述为假，条件充足。 若某叙述为假，其逆叙述为真，条件必要。

• 常用数学定理：
  1、每份数×份数=总数
  总数÷每份数=份数
  总数÷份数=每份数
  2、1倍数×倍数=几倍数
  几倍数÷1倍数=倍数
  几倍数÷倍数=1倍数
  3、速度×时间=路程
  路程÷速度=时间
  路程÷时间=速度
  4、单价×数量=总价
  总价÷单价=数量
  总价÷数量=单价
  5 、工作效率×工作时间=工作总量
  工作总量÷工作效率=工作时间
  工作总量÷工作时间=工作效率
  6 、加数+加数=和
  和－一个加数=另一个加数
  7 、被减数－减数=差
  被减数－差=减数
  差+减数=被减数
  8 、因数×因数=积
  积÷一个因数=另一个因数
  9、 被除数÷除数=商
  被除数÷商=除数
  商×除数=被除数

  小学数学图形计算公式：
  1 、正方形 C周长 S面积 a边长
  周长=边长×4 ；C=4a;
  面积=边长×边长； S=a×a
  2 、正方体 V:体积 a:棱长
  表面积=棱长×棱长×6； S棱=a×a×6 ；
  体积=棱长×棱长×棱长； V=a×a×a
  3、 长方形 C周长 S面积 a边长
  周长=(长+宽)×2 ；C=2(a+b) ；
  面积=长×宽 ；S=ab
  4 、长方体 V:体积 s:面积 a:长 b: 宽 c:高
  表面积(长×宽+长×高+宽×高)×2； S=2(ab+bc+ca)；
  体积=长×宽×高 ；V=abc
  5、 三角形 s面积 a底 h高
  面积=底×高÷2 ；s=ah÷2
  三角形高=面积 ×2÷底