直接证明
221直接证明课件
、定理为依据，逐步下推，直到推出要证明的结论为止 综合法 相同 不同 证法 2 从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件吻合为止 分析法 直接证明（例题） .1DFCEBFAEB D OA C OOCDAB，求证：，交于点，如图，已知例直接证明 证 （ 综合法 ） 因为 B DOA C O 因为 所以 又因为 所以 BOAODOCO
直接证明：综合法、分析法(编辑修改稿)
假设命题的结论不成立，即假定原命题的反面为真； （ 2） 归谬 —— 从反设和已知条件出发，经过一系列正确的逻辑推理，得出矛盾结果； （ 3） 存真 —— 由矛盾结果，断定反设不真，从而肯定原结论成立 . ： (1)结论本身是以否定形式出现的一类命题 —— 否定性命题。 (2) 关于唯一性、存在性的命题； (3)结论以 “ 至少 ” 、 “ 至多 ” 等形式出现的命题；