2.2.1直接证明--法选读.ppt

请在此输入您的标题 一般地，从要证明的结论出发，逐步寻求推证过程中，使每一步结论成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止，这种证明的方法叫做分析法． 特点：执果索因. 用框图表示分析法的思考过程、特点. 得到一个明显成立的结论 … 回顾基本不等式： (a0,b0)的证明. 证明: 因为; 所以 所以 所以 成立 证明:要证; 只需证; 只需证; 只需证; 因为; 成立 所以 成立 解:要证 只需证 展开,只需证 只需证 2125 因为 2125成立,所以 成立. 例2:如图,SA⊥平面ABC,AB⊥BC,过A作SB的垂线,垂足为E,过E作SC的垂线,垂足为F,求证 AF⊥SC F E S C B A 证明:要证AF⊥SC 只需证:SC⊥平面AEF 只需证:AE⊥SC 只需证:AE⊥平面SBC 只需证:AE⊥BC 只需证:BC⊥平面SAB 只需证:BC⊥SA 只需证:SA⊥平面ABC 因为:SA⊥平面ABC成立 所以. AF⊥SC成立 * 证: 得到一个明显成立的结论 … 也可以使经过证明的结论 用P表示已知条件,定义,定理,公理等,用Q表示要证的结论,则上述过程可用框图表示为:P89