代数证明 教.docVIP

代数证明 教学目标 1 2．进一步强化比较法、分析法、综合法等数学方法在代数推理中的运用，提高逻辑推理能力． 3．通过代数推理证明的训练，进一步提高正确提取、分析信息，适当调动有关知识和方法，自觉运用数学思想作指导以及条理表达思维过程等方面的水平，提高思维能力． 重点难点 代数证明的重点是依据不同问题的不同要求，适当设计推理的目标，适当设计推理的方法和途径，不断提高把知识、方法和数学思想融于一体的水平．和几何逻辑证明相比较，由于代数逻辑证明中，缺少明确的作为证明依据的公理化的公理、定理体系，又缺少直观图形对推理过程设计的提示，因此代数证明不仅具备综合性的特点，而且更具抽象性，这是第一个难点．第二个难点在于准确理解条件和结论，推理过程的各个步骤之间的等价性方面的要求，正确处理有关推理目的和推理手段在逻辑上的一致性问题． 教学过程 代数证明问题从1994 这里想依据采用的推理方法或手段的逻辑特点作标准进行分类而进行复习． 一、运用等价变换的手段和方法作代数证明 AnAn的横坐标为2n+1(n∈N)，点An与定点P(2，0)间的距离 (1)求证数列{an-1}是等比数列； (2)求证数列{log3(an-an+1)}是等差数列； 分析　 An的坐标可求，从而 dn，an可求．有了数列{an}的通项公式，再作有关证明不难． 　　 　　　　　　　　　　 所以数列{an-1} 所以 log3(an+1-an+2)-log3(an-an+1) 因此数列{log3(an-an+1)} 评述　 例2　 ABC中，角A，B，C对边分别为a，b，c．证明 分析　 证法一　 a2=b2+c2-2bccosA， b2=a2+c2-2accosB， 得　　　　　　　　　　　　　　　　　a2-b2=b2-a2-2bc cos A+2ac cos B 即　　　　　　　　　　　　　　　　　a2-b2=c(acosB-bcosA) 证法二　 ABC中， sin C=sin(A+B)，且由正弦定理 　　　　　　　　　　 评述 　 例3　 {an}中，已知a1≠0，公比q＞0，Sn是其前n项和．如果自然数m，n，p，r满足m＜n≤p＜r，m+r=n+p，求证：Sn·Sp＞Sm·Sr． 分析　 Sn可用a1，q，n的公式表示，故证明Sn·Sp＞Sm·Sr，实际上是两个分式形的式子比较大小，可采用比较法进行．当然首先应对q是否为1作分类讨论．因为此时Sn的公式会取不同形式． 证明　 (1)q=1时，Sn=na1(n∈N)．所以 (下面为判断符号，要用条件减少量的个数) 由m+r=n+p np-mr=(m+r-p)p-mr=mp+pr-p2-mr=(m-p)(p-r)． 因为mp＜r，故(m-p)(p-r)＞0． ＞SmSr． (1-qn)(1-qp)-(1-qm)(1-qr)(展开化简) =qr+qm-qp-qn(注意条件m+r=n+p) =qp(qr-p-1)-qm(qn-m-1)(注意 r-p=n-m) =(qn-m-1)(qp-qm)． 因为q0，q≠1，并且m＜n≤p＜r，则 当0q＜1时，qn-m-1＜0，qp-qm＜0； 当q1时，qn-m-1＞0，qp-qm＞0． 所以当q0，q≠1时，(qn-m-1)(qp-qm)＞0． 0．所以Sn·Sp＞Sm·Sr．由(1)、(2)，原命题得到证明． 评述　 二、运用非等价变换的手段和方法作代数证明 应说明的是这里不是指仅用非等价变换的手段和方法作证明，而指要用到非等价变换的手段和方法． 例4　 f(x)的图象过点(0，1)，且与函数g(x)=log等比数列，求证：f(m)+f(t)2f(n)． 分析　 (1)确定函数f(x)的解析式．其中f(x)与g(x)图象对称的条件可确定f(x)解析式的结构形式，定点的条件用作求特定系数 (2)在n2=mt等条件下，证明不等关系，估计可用分析法入手． 证明　 f(x)图象上任一点为P(x，y)，P点关于点(2，3)的对称点为Q(x1，y1)，则 所以Q(4-x，6-y)． 又点Qg(x)图象上的点，故\ 　　　　　 三个正数mn，t成等比数列，即n2=mt，在此条件下要证明f(m)+f(t)≥2f(n)，即证 (n+1)2，即证mt+m+t+1≥n2+2n+1，由于n2=mt，只要证m+t≥2n． 所以f(m)+f(t)2f(n)． 评述 　f(x)的解析式，体现此两部分内容的内在联系．证明不等关系的过程又是分析法、综合法并用．综合法体现放缩思想属非等价变换． 分析　 sinβcscα=cos(α+β)作变形，由于缺少目标指导很难奏效． 把tantan(α+β)联系起来，结合函数求最值问题的模式联