2018年博文教育中考圆的证明题专题训练

第一篇：2018年博文教育中考圆的证明题专题训练

2018年博文教育中考圆的证明题专题训练

一．选择题（共39小题）

1．如图，已知等腰直角三角形ABC，点P是斜边BC上一点（不与B，C重合），PE是△ABP的外接圆⊙O的直径．

（1）求证：△APE是等腰直角三角形；（2）若⊙O的直径为2，求PC2+PB2的值．

2．如图，在四边形ABCD中，AD=BC，∠B=∠D，AD不平行于BC，过点C作CE∥AD交△ABC的外接圆O于点E，连接AE．

（1）求证：四边形AECD为平行四边形；（2）连接CO，求证：CO平分∠BCE．

3．如图，∠BAC的平分线交△ABC的外接圆于点D，∠ABC的平分线交AD于点E．（1）求证：DE=DB；

（2）若∠BAC=90°，BD=4，求△ABC外接圆的半径．

4．如图，在△ABC中，∠C=90°，点O在AC上，以OA为半径的⊙O交AB于点D，BD的垂直平分线交BC于点E，交BD于点F，连接DE．（1）判断直线DE与⊙O的位置关系，并说明理由；（2）若AC=6，BC=8，OA=2，求线段DE的长．

5．如图，在△ABC中，∠C=90°，∠BAC的平分线交BC于点D，点O在AB上，以点O为圆心，OA为半径的圆恰好经过点D，分别交AC，AB于点E，F．（1）试判断直线BC与⊙O的位置关系，并说明理由；（2）若BD=2

第1页（共8页）

，BF=2，求阴影部分的面积（结果保留π）．

6．如图，△ABC内接于⊙O，AC是直径，BC=BA，在∠ACB的内部作∠ACF=30°，且CF=CA，过点F作FH⊥AC于点H，连接BF．

（1）若CF交⊙O于点G，⊙O的半径是4，求的长；

（2）请判断直线BF与⊙O的位置关系，并说明理由．

7．如图，在△ABC中，∠ACB=90°，O是边AC上一点，以O为圆心，OA为半径的圆分别交AB，AC于点E，D，在BC的延长线上取点F，使得BF=EF，EF与AC交于点G．

（1）试判断直线EF与⊙O的位置关系，并说明理由；（2）若OA=2，∠A=30°，求图中阴影部分的面积．

8．如图，已知三角形ABC的边AB是⊙0的切线，切点为B．AC经过圆心0并与圆相交于点D、C，过C作直线CE丄AB，交AB的延长线于点E．（1）求证：CB平分∠ACE；

（2）若BE=3，CE=4，求⊙O的半径．

9．已知AB是⊙O的直径，AT是⊙O的切线，∠ABT=50°，BT交⊙O于点C，E是AB上一点，延长CE交⊙O于点D．

（1）如图①，求∠T和∠CDB的大小；（2）如图②，当BE=BC时，求∠CDO的大小．

10．如图，在Rt△ABC中，∠C=90°，以BC为直径的⊙O交AB于点D，切线DE交AC于点E．（1）求证：∠A=∠ADE；

（2）若AD=16，DE=10，求BC的长．

第2页（共8页）

11．如图，⊙O与Rt△ABC的直角边AC和斜边AB分别相切于点C、D，与边BC相交于点F，OA与CD相交于点E，连接FE并延长交AC边于点G．（1）求证：DF∥AO；

（2）若AC=6，AB=10，求CG的长．

12．如图，AB为⊙O的直径，CB，CD分别切⊙O于点B，D，CD交BA的延长线于点E，CO的延长线交⊙O于点G，EF⊥OG于点F．（1）求证：∠FEB=∠ECF；（2）若BC=6，DE=4，求EF的长．

13．如图，PA，PB是⊙O的切线，A，B为切点，连接AO并延长，交PB的延长线于点C，连接PO，交⊙O于点D．（1）求证：PO平分∠APC；

（2）连接DB，若∠C=30°，求证：DB∥AC．

14．如图，已知：AB是⊙O的直径，点C在⊙O上，CD是⊙O的切线，AD⊥CD于点D，E是AB延长线上一点，CE交⊙O于点F，连接OC、AC．（1）求证：AC平分∠DAO．（2）若∠DAO=105°，∠E=30° ①求∠OCE的度数； ②若⊙O的半径为2，求线段EF的长．

15．如图，在△ABC中，AB=AC，以AB为直径的⊙O交BC于点D，过点D作⊙O的切线DE，交AC于点E，AC的反向延长线交⊙O于点F．（1）求证：DE⊥AC；

（2）若DE+EA=8，⊙O的半径为10，求AF的长度．

第3页（共8页）

16．如图，已知AB是⊙O的直径，CD与⊙O相切于C，BE∥CO．（1）求证：BC是∠ABE的平分线；

（2）若DC=8，⊙O的半径OA=6，求CE的长．

17．如图，AB是⊙O的弦，BC切⊙O于点B，AD⊥BC，垂足为D，OA是⊙O的半径，且OA=3．（1）求证：AB平分∠OAD；（2）若点E是优弧算结果保留π）

上一点，且∠AEB=60°，求扇形OAB的面积．（计18．如图，⊙O是△ABC的外接圆，AB为直径，∠BAC的平分线交⊙O于点D，过点D的切线分别交AB，AC的延长线于E，F，连接BD．（1）求证：AF⊥EF；

（2）若AC=6，CF=2，求⊙O的半径．

19．已知：AB为⊙O的直径，AB=2，弦DE=1，直线AD与BE相交于点C，弦DE在⊙O上运动且保持长度不变，⊙O的切线DF交BC于点F．（1）如图1，若DE∥AB，求证：CF=EF；

（2）如图2，当点E运动至与点B重合时，试判断CF与BF是否相等，并说明理由．

20．如图所示，直线DP和圆O相切于点C，交直径AE的延长线于点P．过点C作AE的垂线，交AE于点F，交圆O于点B．作平行四边形ABCD，连接BE，DO，CO．（1）求证：DA=DC；

（2）求∠P及∠AEB的大小．

第4页（共8页）

21．如图，△ABD是⊙O的内接三角形，E是弦BD的中点，点C是⊙O外一点且∠DBC=∠A，连接OE延长与圆相交于点F，与BC相交于点C．（1）求证：BC是⊙O的切线；

（2）若⊙O的半径为6，BC=8，求弦BD的长．

22．如图，AN是⊙M的直径，NB∥x轴，AB交⊙M于点C．（1）若点A（0，6），N（0，2），∠ABN=30°，求点B的坐标；（2）若D为线段NB的中点，求证：直线CD是⊙M的切线．

23．如图所示，以△ABC的边AB为直径作⊙O，点C在⊙O上，BD是⊙O的弦，∠A=∠CBD，过点C作CF⊥AB于点F，交BD于点G，过C作CE∥BD交AB的延长线于点E．（1）求证：CE是⊙O的切线；（2）求证：CG=BG；

（3）若∠DBA=30°，CG=4，求BE的长．

24．如图，AB是⊙O的直径，点D，E在⊙O上，∠A=2∠BDE，点C在AB的延长线上，∠C=∠ABD．

（1）求证：CE是⊙O的切线；（2）若BF=2，EF=

，求⊙O的半径长．

25．如图，在Rt△ACB中，∠ACB=90°，以AC为直径作⊙O交AB于点D，E为BC的中点，连接DE并延长交AC的延长线于点F．（1）求证：DE是⊙O的切线；

（2）若CF=2，DF=4，求⊙O直径的长．

第5页（共8页）

26．如图，⊙O是△ABC的外接圆，BC为⊙O的直径，点E为△ABC的内心，连接AE并延长交⊙O于D点，连接BD并延长至F，使得BD=DF，连接CF、BE．（1）求证：DB=DE；

（2）求证：直线CF为⊙O的切线．

27．如图，已知⊙O为△ABC的外接圆，BC为直径，点E在AB上，过点E作EF⊥BC，点G在FE的延长线上，且GA=GE．（1）求证：AG与⊙O相切；（2）若AC=5，AB=12，BE=，求线段OE的长．

28．如图，⊙O中，直径CD⊥弦AB于E，AM⊥BC于M，交CD于N，连AD．（1）求证：AD=AN；

（2）若AB=4

，ON=1，求⊙O的半径．

29．在Rt△ABC中，∠ACB=90°，以点A为圆心，AC为半径，作⊙A交AB于点D，交CA的延长线于点E，过点E作AB的平行线EF交⊙A于点F，连接AF、BF，DF．（1）求证：BF⊥AF；

（2）当∠CAB等于多少度时，四边形ADFE为菱形？请给予证明．

30．如图，AB为⊙O直径，点D为AB下方⊙O上一点，点C为弧ABD中点，连接CD，CA．（1）求证：∠ABD=2∠BDC；

（2）过点C作CE⊥AB于H，交AD于E，求证：EA=EC；

（3）在（2）的条件下，若OH=5，AD=24，求线段DE的长

第6页（共8页）

31．如图，A、B、C为⊙O上的点，PC过O点，交⊙O于D点，PD=OD，若OB⊥AC于E点．（1）判断A是否是PB的中点，并说明理由；（2）若⊙O半径为8，试求BC的长．

32．如图，AB是⊙O的直径，弦CD⊥AB于点E，G是弧AC上任意一点，延长AG，与DC的延长线交于点F，连接AD，GD，CG．（1）求证：∠AGD=∠FGC；（2）若AG•AF=48，CD=4，求⊙O的半径．

33．如图，在Rt△ABC中，∠ABC=90°，点M是AC的中点，以AB为直径作⊙O分别交AC，BM于点D，E．（Ⅰ）求证：MD=ME；

（Ⅱ）如图2，连OD，OE，当∠C=30°时，求证：四边形ODME是菱形．

34．如图，AB是⊙O的直径，点C为AB上一点，作CD⊥AB交⊙O于D，连接AD，将△ACD沿AD翻折至△AC′D．

（1）请你判断C′D与⊙O的位置关系，并说明理由；（2）过点B作BB′⊥C′D′于B′，交⊙O于E，若CD=，AC=3，求BE的长．

35．如图，AB是⊙O的直径，BC是弦，过点O作OE⊥BC于H交⊙O于E，在OE的延长线上取一点D，使∠ODB=∠AEC，AE与BC交于F．（1）判断直线BD与⊙O的位置关系，并给出证明；（2）当⊙O的半径是5，BF=2

第7页（共8页），EF=时，求CE及BH的长．

36．如图，在△ABC中，AB=AC．以AC为直径的⊙O交AB于点D，交BC于点E．过E点作⊙O的切线，交AB于点F．（1）求证：EF⊥AB；

（2）若BD=2，BE=3，求AC的长．

37．如图，AB为半圆的直径，O为圆心，C为圆弧上一点，AD垂直于过C点的切线，垂足为D，AB的延长线交直线CD于点E．（1）求证：AC平分∠DAB；

（2）若AB=4，B为OE的中点，CF⊥AB，垂足为点F，求CF的长．

38．如图，⊙O的弦AD∥BC，过点D的切线交BC的延长线于点E，AC∥DE交BD于点H，DO及延长线分别交AC、BC于点G、F．（1）求证：DF垂直平分AC；

（2）若弦AD=10，AC=16，求⊙O的半径．

39．如图，OA是⊙O的半径，弦CD垂直平分OA于点B，延长CD至点P，过点P作⊙O的切线PE，切点为E，连接AE交CD于点F．（1）若CD=6，求⊙O的半径；（2）若∠A=20°，求∠P的度数．

40．如图，AB为⊙O的直径，CD切⊙O于点C，与BA的延长线交于点D，OE⊥AB交⊙O于点E，连接CA、CE、CB，CE交AB于点G，过点A作AF⊥CE于点F，延长AF交BC于点P．（Ⅰ）求∠CPA的度数；（Ⅱ）连接OF，若AC=，∠D=30°，求线段OF的长．

第8页（共8页）

第二篇：2013各省圆有关证明题

1．（2013•白银）如图，在⊙O中，半径OC垂直于弦AB，垂足为点E．

（1）若OC=5，AB=8，求tan∠BAC；

（2）若∠DAC=∠BAC，且点D在⊙O的外部，判断直线AD与⊙O的位置关系，并加以证明．

2．如图，AB是⊙O的直径，PA，PC分别与⊙O 相切于点A，C，PC交AB的延长线于点D，DE⊥PO交PO的延长线

于点E。

（1）求证：∠EPD=∠EDO

（2）若PC=6，tan∠PDA=3，求OE的长。

43．（2013• 德州）如图，已知⊙O的半径为1，DE是⊙O的直径，过点D作⊙O的切线AD，C是AD的中点，AE交⊙O于B点，四边形BCOE是平行四边形．

（1）求AD的长；

（2）BC是⊙O的切线吗？若是，给出证明；若不是，说明理由．

4．（2013•鄂州）已知：如图，AB为⊙O的直径，AB⊥AC，BC交⊙O于D，E是AC的中点，ED与AB的延长线相交于点F．（1）求证：DE为⊙O的切线．（2）求证：AB：AC=BF：DF．

5．（2013•恩施州）如图所示，AB是⊙O的直径，AE是弦，C是劣弧AE的中点，过C作CD⊥AB于点D，CD交AE于点F，过C作CG∥AE交BA的延长线于点G．（1）求证：CG是⊙O的切线．（2）求证：AF=CF．

（3）若∠EAB=30°，CF=2，求GA的长．

6．（（2013•包头）如图，已知在△ABP中，C是BP边上一点，∠PAC=∠PBA，⊙O是△ABC的外接圆，AD是⊙O的直径，且交BP于点E．（1）求证：PA是⊙O的切线；（2）过点C作CF⊥AD，垂足为点F，延长CF交AB于点G，若AG•AB=12，求AC的长；（3）在满足（2）的条件下，若AF：FD=1：2，GF=1，求⊙O的半径及sin∠ACE的值．

7．（2013•呼和浩特）如图，AD是△ABC的角平分线，以点C为圆心，CD为半径作圆交BC的延长线于点E，交AD于点F，交AE于点M，且∠B=∠CAE，EF：FD=4：3．（1）求证：点F是AD的中点；（2）求cos∠AED的值；

（3）如果BD=10，求半径CD的长．

8．（2013•广安）如图，在△ABC中，AB=AC，以AB为直径作半圆⊙0，交BC于点D，连接AD，过点D作DE⊥AC，垂足为点E，交AB的延长线于点F．（1）求证：EF是⊙0的切线．

（2）如果⊙0的半径为5，sin∠ADE=，求BF的长．

⌒

9．如图16，△OAB中，OA = OB = 10，∠AOB = 80°，以点O为圆心，6为半径的优弧MN

分别交OA，OB于点M，N.（1）点P在右半弧上（∠BOP是锐角），将OP绕点O逆时针旋转80°得OP′.求证：AP = BP′；

（2）点T在左半弧上，若AT与弧相切，求点T到OA的距离；

⌒

（3）设点Q在优弧MN上，当△AOQ的面积最大时，直接写出∠BOQ的度数.10．（2013•淮安）如图，AB是⊙0的直径，C是⊙0上的一点，直线MN经过点C，过点A作直线MN的垂线，垂足为点D，且∠BAC=∠DAC．（1）猜想直线MN与⊙0的位置关系，并说明理由；（2）若CD=6，cos=∠ACD=，求⊙0的半径．

11．（2013•黄冈）如图，AB为⊙O的直径，C为⊙O上一点，AD和过C点的直线互相垂直，垂足为D，且AC平分∠DAB．（1）求证：DC为⊙O的切线；

（2）若⊙O的半径为3，AD=4，求AC的长．

12.（本小题满分7分）如图，AB是圆O的直径，AM和BN是圆O的两条切线，E是

OF//BN.圆O上一点，连接DE并延长交BN于C，且OD//BE，D是AM上一点，（1）求证：DE是圆O的切线；

1（2）求证：OFCD.2B C

N

13．如图，在△ABC中，∠ACB=90，E为BC上一点，以CE为直径作⊙O,AB与⊙O相切于点D，连接CD,若BE=OE=2.（1）求证：∠A=2∠DCB；

（2）求图中阴影部分的面积（结果保留和根号）.C

B

14．（2013•南宁）如图，在△ABC中，∠BAC=90°，AB=AC，AB是⊙O的直径，⊙O交BC于点D，DE⊥AC于点E，BE交⊙O于点F，连接AF，AF的延长线交DE于点P．（1）求证：DE是⊙O的切线；（2）求tan∠ABE的值；

（3）若OA=2，求线段AP的长．

A

o

15．（本题满分8分）如图，在平面直角坐标系中，△ABC是⊙O的内接三角形，AB＝AC，点P是AB的中点，连接PA，PB，PC．

（1）如图①，若∠BPC＝60°，求证：AC3AP；

（2）如图②，若sinBPC，求tanPAB的值．

5第22题图①



第22题图②

16．（2013•珠海）如图，⊙O经过菱形ABCD的三个顶点A、C、D，且与AB相切于点A（1）求证：BC为⊙O的切线；（2）求∠B的度数．

第三篇：几何证明题训练

仁家教育---您可以相信的品牌！

仁家教育教案

百川东到海,何时复西归？

少壮不努力,老大徒伤悲。

您的理解与支持是我们前进最大的动力！1

您的理解与支持是我们前进最大的动力！

您的理解与支持是我们前进最大的动力！

您的理解与支持是我们前进最大的动力！

您的理解与支持是我们前进最大的动力！

第四篇：平行线证明题训练

[1].如图2所示,已知∠1=∠2,AC平分∠DAB。（1）CB∥DA成立吗？可以的话，请说明原因。（2）DC∥AB

[2].直线AB、CD被EF所截，∠1 =∠2，∠CNF =∠

BME。求证：AB∥CD，MP∥NQ。

[3].如图，AB∥DF，DE∥BC，∠1＝65°，求∠

2、∠3的度数。

[4].AB∥CD，CFE＝112，ED平分BEF,交CD于D，求∠EDF。

[5].如图，已知∠1＝∠B，求证：∠2＝∠C。

[6].如图，若AB∥CD，EF与AB，CD分别相交于点E，F，EP⊥EF，∠EFD的平分线与EP相交于点P，且∠BEP=40°，求∠EPF的度数。

[7].如图，AD⊥BC于D，EG⊥BC于G，∠E=∠1，那么AD平分∠BAC吗？试说明理由。

[8].如图，CD⊥ABD，FG⊥ABG，ED∥BC，试说明∠1=∠2。

[9].如图所示,已知∠1=∠2,AB平分∠DAB,试说明DC∥AB.[10].如图所示,已知EF和AB,CD分别相交于K,H,且EG⊥AB,∠CHF=600,∠E=•30°,试说明AB∥CD.E

AC[11].如图所示,请写出能够得到直线AB∥CD的所有直接条件.K

H

BD

AC

4B

5D

[12].[13].[14].[15].已知D、F、E分别是BC、AC、AB上的点，DF∥AB，DE∥AC，试说明∠EDF=∠A．

如图，AB∥CD，∠1=∠2，∠3=∠4，试说明AD∥BE．

已知：如图∠1=∠2，∠C=∠D，试探究∠A=∠F相等吗？试说明理由．

AB∥CD，EF交AB于G，交CD于F，FH平分∠EFD，交AB于H，∠AGE=50°，求：∠BHF的度数．

[16].[17].设P（x，y）是坐标平面上的任一点，根据下列条件填空：（1）若xy＞0，则点P在象限；（2）若xy＜0，则点P在象限；

（3）若y＞0，则点P在象限或在 上；（4）若x＜0，则点P在象限或在 上；（5）若y=0，则点P在上；（6）若x=0，则点P在上．

[18].试分别指出坐标平面内以下各直线上各点的横坐标、纵坐标的特征以及与两条坐标轴的位置关系．（1）在图中，过A（-2，3）、B（4，3）两点作直线AB，则直线AB上的任意一点P（a，b）的横坐标可以取，纵坐标是．直线AB与y轴，垂足的坐标是；直线AB与x轴，AB与x轴的距离是．（2）在图中，过A（-2，3）、C（-2，-3）两点作直线AC，则直线AC上的任意一点Q（c，d）的横坐标是，纵坐标可以是．直线AC与x轴，垂足的坐标是；直线AC与y轴，AC与y轴的距离是．

[19].若A（m+4，n）和点B（n-1，2m+1）关于x轴对称，则，．

[20].如图，分别在平面直角坐标系中描出下列各点，并将各组内的点用线段依次连接起来． A（-6，-4）、B（-4，-3）、C（-2，-2）、D

（0，-1）、E（2，0）、F（4，1）、G（6，2）、H（8，3）．

[21].已知点A（a，-4），B（3，b），根据下列条件求a、b的值．（1）A、B关于x轴对称；（2）A、B关于y轴对称；（3）A、B关于原点对称．

[22].已知：点P（2m+4，m-1）．试分别根据下列条件，求出P点的坐标．（1）点P在y轴上；（2）点P在x轴上；

（3）点P的纵坐标比横坐标大3；

（4）点P在过A（2，-3）点，且与x轴平行的直线上．

第五篇：中考 数学证明题辅助线经典做法训练

新智慧辅导中心吴老师：***

初中数学培优训练题

补形法的应用

班级________姓名__________分数_______

一些几何题的证明或求解，由原图形分析探究，有时显得十分繁难，若通过适当的“补形”来进行，即添置适当的辅助线，将原图形填补成一个完整的、特殊的、简单的新图形，则能使原问题的本质得到充分的显示，通过对新图形的分析，使原问题顺利获解。这种方法，我们称之为补形法，它能培养思维能力和解题技巧。我们学过的三角形、特殊四边形、圆等都可以作为“补形”的对象。现就常见的添补的图形举例如下，以供参考。

一、补成三角形

1.补成三角形

例1.如图1，已知E为梯形ABCD的腰CD的中点；

证明：△ABE的面积等于梯形ABCD面积的一半。

分析：过一顶点和一腰中点作直线，交底的延长线于一点，构造等面积的三角形。这也是梯形中常用的辅助线添法之一。

略证：

2.补成等腰三角形

例2 如图2.已知∠A＝90°，AB＝AC，∠1＝∠2，CE⊥BD，求证：BD＝2CE

分析：因为角是轴对称图形，角平分线是对称轴，故根据对称性作出辅助

线，不难发现CF＝2CE，再证BD＝CF即可。

略证：

3.补成直角三角形

例3.如图3，在梯形ABCD中，AD∥BC，∠B＋∠C＝90°，F、G分别

是AD、BC的中点，若BC＝18，AD＝8，求FG的长。

分析：从∠B、∠C互余，考虑将它们变为直角三角形的角，故延长BA、CD，要求FG，需求PF、PG。

略解：

图

34.补成等边三角形

例4.图4，△ABC是等边三角形，延长BC至D，延长BA至E，使AE＝BD，连结CE、ED。证明：EC＝ED

分析：要证明EC＝ED，通常要证∠ECD＝∠EDC，但难以实现。这样可采

用补形法即延长BD到F，使BF＝BE，连结EF。

略证：

二、补成特殊的四边形

1.补成平行四边形

例5.如图5，四边形ABCD中，E、F、G、H分别是AB、CD、AC、BD的中点，并且E、F、G、H不在同一条直线上，求证：EF和GH互相平分。

分析：因为平行四边形的对角线互相平分，故要证结论，需考虑四边

形GEHF是平行四边形。

略证：

2.补成矩形

例6.如图6，四边形ABCD中，∠A＝60°，∠B＝∠D＝90°，AB＝200m，CD＝100m，求AD、BC的长。

分析：矩形具有许多特殊的性质，巧妙地构造矩形，可使问题转化为解直角三角

形，于是一些四边形中较难的计算题不难获解。

略解：

图6

3.补成菱形

例7.如图7，凸五边形ABCDE中，∠A=∠B＝120°，EA＝AB＝BC＝2，CD＝

DE＝4，求其面积

分析：延长EA、CB交于P，根据题意易证四边形PCDE为菱形。

略解：

4.补成正方形

例8.如图8，在△ABC中，AD⊥BC于D，∠BAC＝45°，BD＝3，DC＝2。

求△ABC的面积。

分析：本题要想从已知条件直接求出此三角形的面积确实有些困难，如果

从题设∠BAC＝45°，AD⊥BC出发，可以捕捉到利用轴对称性质构造一个正方

形的信息，那么问题立即可以获解。

略解：

5.补成梯形

例9．如图9，已知： G是△ABC中BC边上的中线的中点，L是△ABC外的一条直线，自A、B、图8

图7

C、G向L作垂线，垂足分别为A1、B1、C1、G1。求证：GG1＝4(2AA1＋BB

1＋CC1)。

分析：本题从已知条件可知，中点多、垂线多特点，联想到构造直角梯形

来加以解决比较恰当，故过D作DD1⊥L于D1，则DD1既是梯形BB1C1C的中

位线，又是梯形DD1A1A的一条底边，因而，可想到运用梯形中位线定理突破，使要证的结论明显地显示出来，从而使问题快速获证。

略证：

图9