new Seg("A","B") AB new Seg("A","C") AC AD new Seg("A","F") AF new Seg("B","C") BC new Seg("B","D") BD new Seg("B","E") BE new Seg("C","E") CE new Seg("C","F") CF new Seg("D","E") DE new Seg("D","F") DF new Seg("E","F") EF [AB,BA,AC,CA,AD,DA,AF,FA,BC,CB,BD,DB,BE,EB,CE,EC,CF,FC,DE,ED,DF,FD,EF,FE] new Ang("B","A","C") new Ang("A","B","C") new Ang("A","C","B") new Ang("D","B","E") new Ang("E","B","C") new Ang("B","C","E") new Ang("E","C","F") new Ang("B","D","E") new Ang("B","E","D") new Ang("B","E","C") new Ang("C","E","F") new Ang("C","F","E") [ang1, ang2, ang3, ang4, ang5, ang6, ang7, ang8, ang9, ang10, ang11, ang12] [addAngs(ang2, addAngs(ang5, ang4)), addAngs(ang3, addAngs(ang6, ang7)), addAngs(ang9, addAngs(ang10,ang11))] [[ang5, ang9], [ang6, ang11]] new Triang([AB, BC, CA], [ang2, ang3, ang1]) new Triang([BD, DE, EB], [ang8, ang9, ang4]) new Triang([BC, CE, EB], [ang6, ang10, ang5]) new Triang([CE, EF, FC], [ang11, ang12, ang7]) new Triang([AD, DF, FA], [ang8, ang12, ang1]) [ABC, BDE, BCE, CEF] initProof(SEGS, ANGS, TRIANGLES, SUPPLEMENTARY_ANGS, ALTERNATE_INTERIOR_ANGS, 3, 0.25, "all") STATEMENTS[0] STATEMENTS[1] outputFillBlanksProof() FILL_BLANKS_STUFF[0] FILL_BLANKS_STUFF[1]

\overline{BC} is parallel to \overline{DF} . Figure not drawn to scale.

init({range:[[-5,5],[-5,5]],scale:40}),addMouseLayer(),graph.congruency=addCongruency({y1:-.7,y2:10.7}),graph.congruency.addPoint("A",[0,4]),graph.congruency.addPoint("B",[-2,0]),graph.congruency.addPoint("C",[2,0]),graph.congruency.addPoint("D",[-4,-4]),graph.congruency.addPoint("E",[0,-4]),graph.congruency.addPoint("F",[4,-4]),graph.congruency.addLine({start:"A",end:"B",clickable:!0,maxState:3}),graph.congruency.addLine({start:"A",end:"C",clickable:!0,maxState:3}),graph.congruency.addLine({start:"A",end:"D",clickable:!0,maxState:3}),graph.congruency.addLine({start:"A",end:"F",clickable:!0,maxState:3}),graph.congruency.addLine({start:"B",end:"C",clickable:!0,maxState:3}),graph.congruency.addLine({start:"B",end:"D",clickable:!0,maxState:3}),graph.congruency.addLine({start:"B",end:"E",clickable:!0,maxState:3}),graph.congruency.addLine({start:"C",end:"E",clickable:!0,maxState:3}),graph.congruency.addLine({start:"C",end:"F",clickable:!0,maxState:3}),graph.congruency.addLine({start:"D",end:"E",clickable:!0,maxState:3}),graph.congruency.addLine({start:"D",end:"F",clickable:!0,maxState:3}),graph.congruency.addLine({start:"E",end:"F",clickable:!0,maxState:3}),graph.congruency.addAngles("A",{maxState:3}),graph.congruency.addAngles("B",{maxState:3}),graph.congruency.addAngles("C",{maxState:3}),graph.congruency.addAngles("D",{maxState:3}),graph.congruency.addAngles("E",{maxState:3}),graph.congruency.addAngles("F",{maxState:3}),graph.congruency.addAngle("BAC",{maxState:3}),graph.congruency.addAngle("EDB",{maxState:3}),graph.congruency.addAngle("CFE",{maxState:3});for(var angle in graph.congruency.angles)graph.congruency.angles[angle].setSelectedStyle({stroke:"black","stroke-width":3});graph.congruency.addLabel("A","above"),graph.congruency.addLabel("B","left"),graph.congruency.addLabel("C","right"),graph.congruency.addLabel("D","below"),graph.congruency.addLabel("E","below"),graph.congruency.addLabel("F","below");var hintsLeft=2*FILL_BLANKS_NUM;$(".missingStatement").keyup(function(){if(checkFillBlanksStatement($(this).parent()[0].id)&&(FILL_BLANKS_NUM--,hintsLeft>2*FILL_BLANKS_NUM)){var e=2*FILL_BLANKS_NUM+" step"+(1===FILL_BLANKS_NUM?"":"s")+" left";$("#hint").val("I'd like a hint ("+e+")"),giveAway=!1,hintsLeft=2*FILL_BLANKS_NUM,0===hintsLeft&&$("#hint").attr("disabled",!0)}}),$(".missingReason").change(function(){if(checkFillBlanksReason($(this),this.id)&&(FILL_BLANKS_NUM--,hintsLeft>2*FILL_BLANKS_NUM)){var e=2*FILL_BLANKS_NUM+" step"+(1===FILL_BLANKS_NUM?"":"s")+" left";$("#hint").val("I'd like a hint ("+e+")"),giveAway=!1,hintsLeft=2*FILL_BLANKS_NUM,0===hintsLeft&&$("#hint").attr("disabled",!0)}});var giveAway=!1;$("#hint").click(function(){if(hintsLeft>0){if(hintsLeft--,giveAway){var e=hintsLeft+" step"+(1===FILL_BLANKS_NUM?"":"s")+" left";$(this).val("I'd like a hint ("+e+")"),$(this).attr("disabled",!1),$(".actualHints").append("<p>"+getFillBlanksHint(!0)+"</p>"),$(".actualHints code").tex(),giveAway=!1}else{var e=hintsLeft+" step"+(1===FILL_BLANKS_NUM?"":"s")+" left";$(this).val("I'd like a hint ("+e+")"),$(this).attr("disabled",!1),$(".actualHints").append("<p>"+getFillBlanksHint(!1)+"</p>"),$(".actualHints code").tex(),giveAway=!0}0===hintsLeft&&$("#hint").attr("disabled",!0)}});for(var line in graph.congruency.lines)for(var line2 in graph.congruency.lines)!function(){var e=$("."+line+"-"+line2),r=graph.congruency.lines[line],a=graph.congruency.lines[line2];e.length>0&&(e.live("vmouseover",function(){r.setHighlighted({stroke:ORANGE,"stroke-width":3}),a.setHighlighted({stroke:BLUE,"stroke-width":3}),$(this).bind("vmouseout",function(){r.unsetHighlighted({stroke:"black","stroke-width":2}),a.unsetHighlighted({stroke:"black","stroke-width":2})})}),a.unsetHighlighted({stroke:"black","stroke-width":2}))}();for(var angle in graph.congruency.angles)for(var angle2 in graph.congruency.angles)!function(){var e=$("."+angle+"-"+angle2),r=graph.congruency.angles[angle],a=graph.congruency.angles[angle2];e.length>0&&e.live("vmouseover",function(){var e=r.state,n=a.state,t=Math.max(e,n);r.setHighlighted({stroke:ORANGE,"stroke-width":3}),a.setHighlighted({stroke:BLUE,"stroke-width":3}),r.setState(t>0?t:1),a.setState(t>0?t:1),$(this).bind("vmouseout",function(){r.unsetHighlighted({stroke:"black","stroke-width":2}),a.unsetHighlighted({stroke:"black","stroke-width":2}),r.setState(e),a.setState(n)})})}();for(var line in graph.congruency.lines)!function(){for(var e=$("."+line),r=0;r<e.length;r++){var a=graph.congruency.lines[line],n=$(e[r]);n.live("vmouseover",function(){a.setHighlighted({stroke:ORANGE,"stroke-width":3}),$(this).bind("vmouseout",function(){a.unsetHighlighted({stroke:"black","stroke-width":2})})})}}();for(var line in graph.congruency.lines)!function(){for(var e=$("."+line+"2"),r=0;r<e.length;r++){var a=graph.congruency.lines[line],n=$(e[r]);n.live("vmouseover",function(){a.setHighlighted({stroke:BLUE,"stroke-width":3}),$(this).bind("vmouseout",function(){a.unsetHighlighted({stroke:"black","stroke-width":2})})})}}()
FILL_BLANKS_PROOF
Fill in the blanks in this proof that FINISHED .
1
var e=!1,r=$(".missingReason, .missingStatement");return FILL_BLANKS_NUM==FILL_BLANKS_STUFF[1]&&r.size()>0?$(".missingReason, .missingStatement").each(function(){return this.value?(e=!0,!1):void 0}):e=!0,e?0==FILL_BLANKS_NUM:""
outputKnownProof()