件或定义、定理、公理相矛盾的结果；
3.推翻假设，命题得证---从矛盾推翻最初提
出的假设，从而原命题成立.
规律归纳
反证法常用于解决用直接证法不易证明或 不能证明的命题，主要有：
(1)命题的结论是否定型的； (2)命题的结论是无限型的； (3)命题的结论是“至多”或“至少”型的.
例.已知：m是整数，且m2是偶数 . 求证： m一定是偶数. 证明：
什么叫反证法？
规律归纳
先假设命题的结论不成立，然后由此经过推 理得出矛盾(常与公理、定理、定义或已知 条件相矛盾)，由矛盾判定假设不正确，从 而得到原命题成立，这种方法叫做反证法．
规律归纳
用反证法证明一个命题,一般有三个步骤:
1.提出假设---假设原命题不成立，即提出一
个与原命题相反的命题；
2.推出矛盾---从假设出发，推出一个与已知条
B. 在⊙O 外
C. 在⊙O上
D. 在⊙O 上或⊙O内
温故知新
5.在△ABC中,AB=AC=13,BC=10,试求这 个三角形的外接圆的面积.
辅助线1 辅助线2
O 辅助线3
D
问题探究
求证：过同一直线上的三点不能作圆.
A
B
C
已知：点A、B、C在直线l上 求证：过A、B、C三点不能作圆.
问题探究
lA l B l C 证可P线上l有相点，⊥且明以l，矛不那上l这只：作即盾能么，与有一点作假，点又我一个圆设所PP为在们条圆过以．既l线以直直过，在与段前线线同设线l B的学与一这l段C上的交过已条个A三B垂点的知直圆的点直，“直线的垂A平而、过线上圆直分lB一垂的心平、⊥线点直三为分Cll，” 2 1 1 2 1 2 求已(在 当(⊙在在(巩求已提在求反用推用体已在在体在⊙已推提⊙反已(用先 原当已1在在推 在提在当(求33321点)))))证知⊙OO⊙⊙固证知出⊙证证反出反会知⊙⊙会△O知翻出O证知反假命O知⊙△出⊙出△O证推 命 命 命 命PPP的 的 的和： ： OOO点 ： ： 假 O： 法 证 矛 证 分 ： OO分 A： 假 假 法 ： 证 设题 ： OA矛O假 A：翻题题题题BBB内 半上内上内半半上内圆过点和过点设过常法盾法类m类a设设常a法命 成点盾 设过上假的的的的CCC∥∥径径径的是AA圆同A-同用证-证讨讨，-用证题 立A--同或中中中设结结结结cc-----1-----、 、 、 、666，，位整假从假从 假的一一于明明论论命于明的 ，一⊙,,,，论论论论AAAcccBBBB时时时置mmm数设假设假 设位直直解一一及及题解一结 这直BBBObb命是是是是BBB、、、、∥∥===，，，点点点关，内...原设原设 原置线线决个个数数得决个论 种线DBDD题““无否AAACCCCcc当当当PPP系.且，，C命出命出 命关上上用命命形形证用命不 方上三在在在得至至限定P在在在===OOO（m求求题发题发 题系的的直题题结结直题成 法的-点直直直证多多型型111-PPP圆 圆 圆-23332证 证从；三不三接有，合合不接有立叫，不三,不线线线===””的的是一,,,）内内内BBB666：：矛点点证几的的证几， 做点成推成推 成能lll或或；；偶ccc上上般上CCC；；；mmm盾不不法个思思法个然 反不立出立出 立===作aa““数有111时时时∥∥推能能不步想想不步后 证能，一，一 ，圆000至至三bb.，，，,,,..试翻试试作作易骤；；易骤由 法作即个即个 即.少少个点点点求最求求圆圆证？证？此 ．圆提与提与 提””2步PPP这初这这明明经...出已出已 出型型在骤在在个提个个或或过一知一知 一的的: 三出三三不不推个条个条 个.. 角的角角能能理与件与件 与形 假 形 形证证得原或原或 原； ； ；的设的的明明出命定命定 命外，外外的的矛题义题义 题接从接接命命盾相、相、 相圆而圆圆题题(反定反定 反常的原的的，，的理的理 的与面命面面主主命、命、 命公积题积积要要题公题公 题理成...有有；理；理 ；、立：：相相定.矛矛理盾盾、的的定结结义果果或；；已知条件相矛盾)，由矛盾判定假设不正确，从而得到
