数学证明题(精选4篇)_证明题数学

2022-02-06 证明 下载本文

数学证明题(精选4篇)由刀豆文库小编整理,希望给你工作、学习、生活带来方便,猜你可能喜欢“证明题数学”。

第1篇:数学证明题

数学证明题

数学证明题证明:作PF∥BG,交BC于点P ∵GF∥BP,PF∥BG ∴四边形BPFG为平行四边形 ∴BG=PF ∠FPC=∠B=∠FAC 又∵∠1=∠2,CF=CF ∴△CFP≌△CFA ∴FP=AF ∵∠1=∠2,∠1+∠AEC=90°=∠2+∠DFC ∴∠AEC=∠DFC=∠AFE ∴AE=AF 又AF=FP=BG ∴AE=BG 7证明 在△ABC和△ACD中 因为

AB=CD(已知)BC=AD(已知)AC=AC(公共边)所以△ABC≌△ACD(SSS)所以∠BAC=∠DCA(全等三角形的对应角相等)因为∠ABC=∠BCD(已知)所以AB‖CD(内错角相等,两直线平行)所以∠ABC+∠BCD=180度(两直线平行,同旁内角互补)因为∠BAC=∠DCA(已证)所以∠BAC=180°/2=90°(等式性质)所以AB⊥AC(垂直的定义)8,∠ABC=∠BCD 所以AB平行CD 所以,∠CAB+∠ACD=180 证三角形ABC与ACD相似 因为AC是公共边 所以相似比为1 所以全等, 所以,∠CAB=∠ACD=90 证明:连接BD ∵∠ABC=∠BCD ∴AB‖CD ∵AB=CD ∴四边形ABCD是平行四边形 ∵BC=AD ∴平行四边形ABCD是矩形 9 证明:(a+b-c)-4ab =(a+b-c+2ab)(a+b-c-2ab)=[(a+b)-c][(a-b)-c] =(a+b+c)(a+b-c)(a-b+c)(a-b-c)因a、b、c是△ABC的三条边的长 则a+b+c>0, a+b>c,a +c>b,b+c>a 则a+b+c>0,a+b-c>0,a-b+c>0,a-b-c则(a+b+c)(a+b-c)(a-b+c)(a-b-c)则(a+b-c)-4ab10(a+b-c)-4ab(a+b-c)-(2ab)(a+b-c-2ab)(a+b-c+2ab)((a-b)-c)((a+b)-c)(a-b-c)(a-b+c)(a+b-c)(a+b+c)因为 a-(b+c)0(a+b)-c>0 a+b+c>0(因为 三角形 任意两边的和大于第3边)所以 原式证明:原式=(a+b-c+2ab)(a+b-c-2ab)=[(a+b)-c] [(a-b)-c] =(a+b+c)(a+b-c)(a-b+c)(a-b-c)﹤0(上面4个因式,由三角形任意两边之和大于第三边,仅有一个因式(a-b-c)为负值)

第2篇:数学证明题

数学题The mathematics inscribe

在梯形ABCD中,AD∥BC,AC垂直BD,若AD=2,BC=8,BD=6,求(1)对角线AC的 长。(2)梯形的面积。

梯形

解: AC于BD交接点为O 设OC=x,OA=y,OD=z,则BO=6-y,三角形而AOD以AD为底得高h1,三角形BOC以BC为底的高h2.,因为AC垂直BD,AD=2,BC=8,BD=6。故AOD和BOC都为直接三角形,根据面积法得出两个①等式三角形AOD(2h1=yz),②三角形BOC(8h2=(6-z)x).③三角形BDC(6x=8(h1+h2))根据勾股定理求的2个等式,④y^2+z^2=4,⑤x^2+(6-z)^2=64 ,由①②③解得x=4y,通过这个x,y的关系带入④⑤可以解得z=6/5,y==8/5,x=32/5,h1=24/25,h2=96/25 ,故梯形的高位 24/5。则 AC=8.梯形面积为(2+8)*24/5*1/2=24在-44,-43,-42,…0,1,2,3,…2005,2006 这一串连续整数中,前100个数的和是多少?方法一 解:前100个数的和=-(1+2+----------------------+44)+(0+1+2+3+-----------------+55)

=-(1+44)*44/2+(1+55)*55/2=550方法二 解:前100个数的和

已知p[-1,2],点p关于x轴的对称点p1,关于直线y=-1的对称点为p2,关于直线y=3的对称点为p3,关于直线y=a的对称点为p4,分别写出p1,p2,p3,p4的坐标,从中你发现了什么规律?选择题 给出任意个选项,再把正确答案的序号填在括号里,而不是正确答案,但自己首先要算出正确答案,再把正确选项的序号填在括号里。(一般在答题卡是涂

“A”,“B”,“C”或“D”)例如:x+y=3 2x=y x=(1)y=(2)A1;2 B2;1 C0;0 D无解

要看清楚是不是直接写得数,如果是,就不能写过程,不是直接写得数的要写出过程,初学者过程要求详细,学的时间久些就可以适当简略些。记得要写“解”(特别是解方程),在考试时这样的题目因为解失分很不值,也要尽量不让它失分。

算完再验算一下。直接将得数代入即可。

没有太多规律,可能是图形,也可能是统计图,但是重点还是7个字:审好题,反复检查。应用题在数学上,应用题分两大类:一个是数学应用。另一个是实际应用。数学应用就是指单独的数量关系,构成的题目,没有涉及到真正实量的存在及关系。实际应用也就是有关于数学与生活题目。初中一年级学生刚刚进入少年期,机械记忆力较强,分析能力仍然较差。鉴此,要提高初一年级数学应用题教学效果,务必要提高学生的分析能力。这是每一个初一数学老师值得认真探索的问题。笔者在应用题教学中采用以下分析方法,取得了较好的效果。应用题主要是把正确的答案用不同的方法解决出来,并写出解题过程,多做这样的题目可以让人们的思维变得更好。注意要写答句和单位!

第3篇:数学证明题证明方法

数学证明题证明方法(转)

2011-04-22 21:36:39|分类:|标签: |字号大中小 订阅

2011/04/2

2从命题的题设出发,经过逐步推理,来判断命题的结论是否正确的过程,叫做证明。

要证明一个命题是真命题,就是证明凡符合题设的所有情况,都能得出结论。要证明一个命题是假命题,只需举出一个反例说明命题不能成立。证明一个命题,一般步骤如下:

(1)按照题意画出图形;

(2)分清命题的条件的结论,结合徒刑,在“已知”一项中写出题设,在“求证”一项中写出结论;

(3)在“证明”一项中,写出全部推理过程。

一、直接证明

1、综合法

(1)定义:一般地,利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法.(2)综合法的特点:综合法又叫“顺推证法”或“由因导果法”.它是从已知条件和某些学过的定义、公理、公式、定理等出发,通过推导得出结论.2、分析法

(1)定义:一般地,从要证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明的方法叫做分析法.(2)分析法的特点:分析法又叫“逆推证法”或“执果索因法”.它是要证明结论成立,逐步寻求推证过程中,使每一步成立的充分条件,直到最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止.二、间接证明

反证法

1、定义:一般地,假设原命题不成立,经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.2、反证法的特点:

反证法是间接证明的一种基本方法.它是先假设要证的命题不成立,即结论的反面成立,在已知条件和“假设”这个新条件下,通过逻辑推理,得出与定义、公理、定理、已知条件、临时假设等相矛盾的结论,从而判定结论的反面不能成立,即证明了命题的结论一定是正确的.3、反证法的优点:

对原结论否定的假定的提出,相当于增加了一个已知条件.4反证法主要适用于以下两种情形:

(1)要证的结论与条件之间的联系不明显,直接由条件推出结论的线索不够清晰;

(2)如果从正面证明,需要分成多种情形进行分类讨论,而从反面进行证明,只要研究一种或很少的几种情形

第4篇:离散数学证明题

证明题

1.用等值演算法证明下列等值式:

(1)┐(PQ)(P∨Q)∧┐(P∧Q)

(2)(P∧┐Q)∨(┐P∧Q)(P∨Q)∧┐(P∧Q)

证明:(1)

┐(PQ)

┐((P→Q)∧(Q→P))

┐((┐P∨Q)∧(┐Q∨P))

(P∧┐Q)∨(Q∧┐P)

(P∨Q)∧(P∨┐P)∧(┐Q∨Q)∧(┐P∨┐Q)

(P∨Q)∧┐(P∧Q)

(2)

(P∧┐Q)∨(┐P∧Q)

(P∨┐P)∧(P∨Q)∧(┐Q∨┐P)∧(┐Q∨Q)

(P∨Q)∧┐(P∧Q)

2.构造下列推理的证明:

(1)前提:(PQ)(RS),(QP)R,R

前提:PQ。

(2)前提:Q →P, Q  S , S  M , M∧R前提:结论:P∧Q

(3)前提:P →(Q → R), S → P , Q

结论:S →R(4)前提:(P∨Q)→(R∧S),(S∨M)→ U结论:P →U(5)前提:P →┐Q,┐R∨Q ,R∧┐S

结论:┐P(6)前提:P∨Q,P →R, Q → S结论:R∨S

证明:(1)

① R前提引入

②(QP)R前提引入

③ QP①②析取三段论

④ RS①附加规则

⑤ (PQ)(RS)前提引入

⑥ PQ④⑤拒取式

⑦(PQ)(QP)③⑥合取规则

⑧ PQ⑦置换规则

(2)

① M∧R前提引入

② M①化简规则

③ S  M前提引入

④(S → M)∧(M → S)③置换

⑤ M → S④化简规则

⑥ S② ⑥假言推理

⑦ Q  S前提引入

⑧(S → Q)∧(Q → S)⑦ 置换

⑨ S → Q⑧化简规则

⑩ Q⑥ ⑨假言推理

(11)Q →P前提引入

(12)P

(13)P∧Q

(3)

① S → P

②S

③ P

④ P →(Q → R)

⑤ Q → R

⑥ Q

⑦ R

(4)

① P

② P∨Q

③(P∨Q)→(R∧S)

④ R∧S

⑤ S

⑥ S∨M

⑦(S∨M)→ U

⑧ U

(5)

① P

② P →┐Q

③ ┐Q

④ ┐R∨Q

⑤ ┐R

⑥ R∧┐S

⑦ R

⑧ R∧┐R

(6)⑩(11)假言推理⑩(12)合取前提引入附加前提引入① ②假言推理 前提引入③④ 假言推理前提引入⑤⑥假言推理附加前提引入①附加规则前提引入②③ 假言推理④化简规则⑤附加规则前提引入⑥ ⑦假言推理结论否定引入前提引入① ②假言推理前提引入③④析取三段论前提引入⑥化简规则⑤⑦合取

① ┐(R∨S)结论否定引入

② ┐R∧┐S①置换规则

③ ┐R②化简规则

④ P →R前提引入

⑤ ┐P③④拒取

⑥ ┐S②化简规则

⑦ Q → S前提引入

⑧ ┐Q⑥ ⑦拒取

⑨ ┐P∧┐Q⑤⑧合取

⑩ ┐(P∨Q)⑨置换规则

(11)P∨Q前提引入

(12)┐(P∨Q)∧(P∨Q)⑨11 合取

3.在命题逻辑中构造下列推理的证明:

(1)如果今天是星期六,我们就要到颐和园或圆明园去玩。如果颐和园游人太多,我们就不到颐和园去玩。今天是星期六。颐和园游人太多。所以我们到圆明园玩。

(2)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书。所以,如果我看书,则明天是雨天。

(3)如果小王是理科学生,他必学好数学;如果小王不是文科生,他必是理科生;小王没学好数学。所以,小王是文科生。

解:(1)首先将命题符号化:

设P: 今天是星期六;Q: 我们到颐和园去玩;R:我们到圆明园去玩;S:颐和园游人多。

前提:P →(Q∨R), S → ┐Q , P , S

结论:R证明:

① ②假言推理

④ P前提引入

⑤ P →(Q ∨ R)前提引入⑥ Q ∨ R④⑤假言推理 ⑦ R③⑥析取三段论

(2)首先将命题符号化:令P:明天是晴天,Q:明天是雨天,R:我看电影,S:我看书。① S → ┐Q前提引入②S前提引入③ ┐Q

前提:P∨Q, P→R, R→┐S

结论: S→Q

证明:

① S

② R→┐S

③┐R

④ P→R

⑤ ┐P

⑥ P∨Q 附加前提引入 前提引入 ①②拒取式 前提引入 ③④拒取式 前提引入

⑦ Q⑤⑥析取三段论

(3)首先将命题符号化:

令P:小王是理科生,Q:小王是文科生,R:小王学好数学。

前提:P→R, ┐Q→P, ┐R

结论:Q

证明:

① P→R

② ┐R

③ ┐P

④ ┐Q→P

⑤ Q

6.证明: 前提引入 前提引入 ①②拒取式 前提引入 ③④拒取式

①A-B=A A∩B=Φ。

②(A-B)-C =(A-C)-(B-C)

证明:①

必要性。假设A∩B≠Φ,必有x属于A∩B,则x属于A同时属于B,即x属于A但是x不属于A-B。与A-B=A矛盾。

充分性。显然A-BA。任取x∈A,则如果x属于B,则x属于A∩B,与A∩B=Φ矛盾。因此x必不属于B,即x属于A-B。从而证明了AA-B。命题得证。②

∵(A-B)-C =(A∩~B)∩~C

= A∩~B∩~C;

(A-C)-(B-C)

=(A∩~C)∩~(B∩~C)

=(A∩~C)∩(~B∪C)

=(A∩~C∩~B)∪(A∩~C∩C)

=(A∩~C∩~B)∪Φ

= A∩~B∩~C.∴(A-B)-C =(A-C)-(B-C)

7.设R是A上的二元关系,试证:R是传递的当且仅当R2R,其中R2表示RR。

(1)设R传递,(x,y)∈R2,t∈A使,∈R(因为R2=R R)

∵R传递 ∴∈R

∴R2 R

(2)设R2R,若,∈R

则∈R2,∵R2 R,∴∈R。即R传递。

8.设A是集合,R1,R2是A上的二元关系,证明:

若R1,R2是自反的和对称的,则R1R2也是自反的和对称的。

证明:

(1)∵ R1,R2是A上的自反关系

∴ IAR1IAR2

∴IAR1R2

∴ R1R2是A上的自反关系

又∵ R1,R2是A上的对称关系

∴ R1R11R2R21

(R1R2)111R1R2R1R2∴ R1R2 是A上的对称关系

《数学证明题(精选4篇).docx》
将本文的Word文档下载,方便收藏和打印
推荐度:
数学证明题(精选4篇)
点击下载文档
相关专题 证明题数学 数学经典证明题 证明题数学 数学经典证明题
[证明]相关推荐
    [证明]热门文章
      下载全文