1、三角形射影定理三角形射影定理几何证明射影就是正投影，从一点到过顶点垂线垂线的垂足，叫做这点在这条直线上的正投影。一条线段的两个端点在一条直线上的正投影之间的线段，叫做这条线段在这直线上的正投影，即射影定理。直角三角形射影定理直角三角形射影定理）：直角三角形中，斜边上的高是两直角边在斜边上射影的比例中项。每一条直角边是这条直角边在斜边上的射影和斜边的比例中项。公式 如图，RtABC中，BAC=90，AD是斜边BC上的高，则有射影定理如下：（1）（AD）=BDDC，（2）（AB）=BDBC ，（3）（AC）=CDBC 。证明：在 BAD与ACD中，B+C=90，DAC+C=90，B=DAC，又BD
2、A=ADC=90，BADACD相似， AD/BDCD/AD，即（AD）2=BDDC。其余类似可证。注：由上述射影定理还可以证明勾股定理。由公式（2）+（3）得：（AB）+（AC）=BDBC+CDBC =（BD+CD)BC=（BC）即 （AB）+（AC）=（BC）。任意三角形射影定理任意三角形射影定理又称“第一余弦定理”：设ABC的三边是a、b、c，它们所对的角分别是A、B、C，则有abcosCccosB，bccosAacosC，cacosBbcosA。注：以“abcosCccosB”为例，b、c在a上的射影分别为bcosC、ccosB，故名射影定理。证明1：设点A在直线BC上的射影为点D，则A
3、B、AC在直线BC上的射影分别为BD、CD，且BD=ccosB，CD=bcosC，a=BD+CD=bcosCccosB. 同理可证其余。1.圆周角定理:一条弧所对的圆周角等于它所对的圆心角的一半.2.圆周角定理的推论：同弧或等弧所对的圆周角相等；同圆或等圆中，相等的圆周角所对的弧也相等.弦切角定理：弦切角的度数等于它所夹的弧的度数的一半.2弦切角定理推论：弦切角等于它所夹的弧所对的圆周角. 切线的性质定理：圆的切线垂直于过切点的半径进一步指出：由于过已知点有且只有一条直线与已知直线垂直，所以经过圆心垂直于切线的直线一定过切点；反过来，过切点垂直于切线的直线一定经过圆心，因此可以得到两个推论：推
4、论1 经过圆心且垂直于切线的直线必经过切点推论2 经过切点且垂直于切线的直线必经过圆心引导学生分析性质定理及两个推论的条件和结论间的关系，总结出如下结论：如果一条直线具备下列三个条件中的任意两个，就可推出第三个(1)垂直于切线；(2)过切点；(3)过圆心相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等几何语言：若弦AB、CD交于点P则PAPB=PCPD（相交弦定理）推论：如果弦与直径垂直相交，那么弦的一半是它分直径所成的两条线段的比例中项几何语言：若AB是直径，CD垂直AB于点P，则PC=PAPB（相交弦定理推论）割线定理：割线定理：从圆外一点引圆的两条割线则有这点到割线与圆交点的
5、两条线段的积相等.要证PT=PAPB， 可以证明 ，为此可证以 PAPT为边的三角形与以PT，BP为边的三角形相似，于是考虑作辅助线TP，PB。容易证明PTA=B又P=P，因此BPTTPA，于是问题可证：直线ABP和CDT是自点P引的O的两条割线，则PAPB=PCPD 证明:连接AD、BC A和C都对弧BD 由圆周角定理，得 A=C 又APD=CPB ADPCBP AP:CP=DP:BP, 也就是APBP=CPDP切线长定理：从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角圆内接四边形的判断定理定理1：圆内接四边形的对角互补；定理2：圆内接四边形的外角等于它的内
6、角的对角。圆幂定理圆幂的定义:一点P对半径R的圆O的幂定义如下： 所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。圆幂定理是相交弦定理、切割线定理及割线定理(切割线定理推论)以及他们推论的统称。（1） 相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。如图，AB、CD为圆O的两条任意弦。相交于点P，连接AD、BC，则D=B，A=C。所以APDBPC。所以（2） 切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆焦点的两条线段长的比例中项。如图，PT为圆切线，PAB为割线。连接TA，TB，则PTA=B（弦切角等于同弧圆周角）所以PTAPBT，所以（3） 割线定理：从圆外一点P引两条割线与圆分别交于A.B.C.D 则有 PAPB=PCPD。这个证明就比较简单了。可以过P做圆的切线，也可以连接CB和AD。证相似。存在：进一步升华（推论）：过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D。则PAPB=PCPD。若圆半径为r，则（一定要加绝对值，原因见下）为定值。这个值称为点P到圆O的幂。（事实上所有的过P点与圆相交的直线都满足这个值）若点P在圆内，类似可得定值为 故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差的绝对值。（这就是“圆幂”的由来）
