Problem1ByMatthewZ.

Belowthisimageisa
twocolumnproofwith
astatementanda
reason.Some
abbreviationsare
used,butitshouldbe
obviouswhatthey
mean.Anyway,forty
lineproof,begin:

Statement

Reason

1 <DBF==<DCF

Given

2 <BDF==<CDF

Given

3 A,E,D,andFarecollinear

Given

4 DF==DF

ReflexiveProperty

5 BDF==CDF

AASCong.Post.

6 BF==CF

CPCTC

7 BD==CD

CPCTC

8 PointFliesonthe
ConversePerpendicular
perpendicularbisectorofBC BisectorTheorem

9 PointDliesonthe
ConversePerpendicular
perpendicularbisectorofBC BisectorTheorem
10 LineDFistheperpendicular Postulate1(TwoPoints
bisectorofBC
DefineaLine)
11 <BEAisarightangle

Def.ofPerp.Bis.

12 m<BEA=90

Def.ofRightAngle

13 <CEAisarightangle

Def.ofPerp.Bis.

14 m<CEA=90

Def.ofRightAngle

15 <BEDisarightangle

Def.ofPerp.Bis.

16 m<BED=90

Def.ofRightAngle

17 <CEDisarightangle

Def.ofPerp.Bis.

18 m<CED=90

Def.ofRightAngle

19 <ACD=<ACE+<ECD

AngleAdditionPostulate

20 <CDB=<CDE+<EDB

AngleAdditionPostulate

21 <DBA=<DBE+<EBA

AngleAdditionPostulate

22 <BAC=<BAE+<EAC

AngleAdditionPostulate

23 <CEA+<EAC+<ACE=180

TriangleSumTheorem

24 <CED+<ECD+<CDE=180

TriangleSumTheorem

25 <BED+<EDB+<DBE=180

TriangleSumTheorem

26 <BEA+<EBA+<BAE=180

TriangleSumTheorem

27 90+<EAC+<ACE=180

Substitution

28 90+<ECD+<CDE=180

Substitution

29 90+<EDB+<DBE=180

Substitution

30 90+<EBA+<BAE=180

Substitution

31 <EAC+<ACE=90

SPOE

32 <ECD+<CDE=90

SPOE

33 <EDB+<DBE=90

SPOE

34 <EBA+<BAE=190

SPOE

35 <ACD+<CDB+<DBA+
<BAC=x

Assigningavaluetothe
variablex

36 (<ACE+<ECD)+(<CDE+
<EDB)+(<DBE+<EBA)+
(<BAE+<EAC)=x

SubstitutionProperty

37 <EAC+<ACE+<ECD+
<CDE+<EDB+<DBE+
<EBA+<BAE=x

Simplify

38 90+90+90+90=x

SubstitutionProperty

39 360=x

Simplify

40 <ACD+<CDB+<DBA+
<BAC=360

TransitiveProperty

Okay,nowIllexplaininwordswhatsgoingonhereinthis
proof.

Lines13:Istatewhatwasgiven,becausethatswhatyou
alwaysstartwithinaproof.
Line4:Here,IshowthatlineDFisequaltoitselfusingthe
ReflexiveProperty.Iwillneedthisforalaterstep.
Line5:Usinginformationfromlines1,2,and4,Ideclare
twotrianglescongruentbyAAS.Youcanseefrom
previousstatementsthatthisisconfirmed.
Lines67:Nowthattwotrianglesarecongruent,Ican
provesomecorrespondingpartscongruentwithCPCTC.
Namely,linesBFandCFandlinesBDandCD,because
thosewillbeusefullater.
Lines89:Ifyouremembertheconverseofthe
perpendicularbisectortheorem,IcanusethattoproveF
andDareontheperpendicularbisectorofBCusing
informationfromtheprevioustwolines.
Line10:Twopointsdefinealine,soifbothDandFareon
theperpendicularbisectorofBC,Iknowwherethe
perpendicularbisectoris!Istatethishere.
Lines1118:Theseeightlinesareforthepurposeof
markingalltheanglesaroundthepointE90degrees,
usingknowledgefromlines10asabasis.
Lines1922:Sincethefouraddendsinthefinalstatement
Imgoingforareeachdividedintotwoseparateangles,I

clearthingsuphereandusetheAngleAdditionPostulate
todiscernthem.
Lines2326:Here,Ilookatfourtrianglesinthediagram,
eachonehavingarightangleonpointE.Iusethe
TriangleSumTheoremtostatethattheanglesthatmake
themupaddupto180.
Lines2730:Thepreviousfourlineshadsomething
interesting.Eachofthemhadoneanglewhichwas
previousproventobe90degrees,inlines1118.Sohere
Isubstituteeachofthesewiththenumber90.
Lines3134:Isimplysubtracted90fromeachofthe
previousfourlines.
Line35:Here,Itakethegoalstatement:<ACD+<CDB+
<DBA+<BAC=360,except,sincewedontknowthe
sumis360yet,Iuseavariablex,whichcouldrepresent
anynumber.
Line36:Inlines1922,Isaidthateachofthefour
addendsinthefinalstatementwerethesumoftheirtwo
parts.Inthisline,Isimplysubstituteeachofthose
addendswiththeirtwoparts.
Line37:Irearrangeafewterms.
Line38:Lookatwhatsthere.Doyouseeit?Ifyougroup
thetermsbytwos,youmightstarttonoticesomething
interesting.Eachofthoseitemswaspreviousproven,in
lines2934,tobe90.SoIcansubstituteeachofthosefor
90,andsoIdo.

Line39:Wrappingthingsuphere,Isimplifythestatement
fromline38.NowweknowthatthevariablexthatI
createdearlieris360.
Line40:Finally,Iusethetransitivepropertyonlines35
and39tomakethefinalconclusionthat<ACD+<CDB+
<DBA+<BAC=360.

QED.

Sidenote:Lookingattheproblem,Irealizethatitwouldbesoeasytojustsay,Oh,
ACDBisaquadrilateral,andsotheanglesmustaddupto360!Butthepointofthis
problemistousewhatwevelearnedupthroughUnit3,andsincewedidntlearnthat
yet,youjustcantsaythattheanglesaddupto360justbecauseitsaquadrilateral,
becausethatsnotsomethingweknowyet.