a brief guide for teaching proof
TRANSCRIPT
-
8/13/2019 A brief guide for teaching proof
1/65
-
8/13/2019 A brief guide for teaching proof
2/65
! "#$! %& ! "# %& ! "#! '()'')* +'()'')* ,,+--')'')*-./-
,,+--')'')*-)-/,0',/
#1#"!##1!11
2/ , 3 0 )0 , +4 4 5,60 ,/ ,,, 0 /+007 , )/, , )/70 %/8 ,, ,8 )),7&' 5,60 +4 0 70 , 7/ * 0 0 02 ,, 4 38 23 4, 09) 4 )/70 $ ! : , 0 +007 , 0,), )/7 ,, 0 , ,, 0,' //7 338 02 ,0 2/ 0 ; )2), / , 0,), 4 ,, / , 4 038 ,)8' 73 ,, /20, , 7
-
8/13/2019 A brief guide for teaching proof
3/65
(
( % $( ) * %
? 4 ), B42 B230,8 4 0, 2
-
8/13/2019 A brief guide for teaching proof
4/65
-
8/13/2019 A brief guide for teaching proof
5/65
,),
*2/,0
5+,)02 4/ /,/, 02 ,00,8 4 4
C46 78 D/+ ?8/ 0,,2 +,E
4 78 5),D/+ 0 0 2 0 /8E
4 78 F,/, ), 5382 00 4 , ((%
4 78 5,, ?+,,2 ,:,,
+2)
G72+8
-
8/13/2019 A brief guide for teaching proof
6/65
"# $ H I *
7*, 8) 8) 0 0 , ),/ 4 0/ +
-
8/13/2019 A brief guide for teaching proof
7/65
"# $ H I ,
00)0 ,, , 0 3, , 0 , 2, 4 ,0D/+0'
% % % ( 0 , 3,/,/,0 ), 0 ,,) ++0 , ,/ ,0, /0 , D+ +,)8 , 2 , , 44),0
0,),0 4' ( & % %% //
+22 +,0
+ 3 7 , 4/ /, % % - % '& -% $ +00&' ,0 , +0+,30 4 /,/,0 % +,+, 2)+ ,30 , )0 4 ) +3)0 0,)0& +0, , 02,8 )3, 7), , ))0) 4/, 4 4,
8, ,2) 2) 7, , ,0 F F /,/, 0 /,/,0 ),' 8+8 ,0)00 7, F F 0,,0 ), 4/ //,2 0/+0 4; /,/,0 0,),06 ,, 0+00 , 9)0,0 ,, 7 ), 0 C/*6 , ,D, 4 5))0 B 27 =)+ 8 )00'
% % % (0 ,8+8 0,),) 0 ,,, +0,0 , * 0,),06 2 )0,2 4 4 +,)8 37, 4 /,/,0 ), 0' M20 , 3 33 ) , 42 9)0,0
J 0,),0 +,)0 4E L, , 44),00,),0 3 /+/,2 0/ 4 ,9)0E L, 0,),0 0 , 7 +,7 +4E J 0 ,0/+ , , /,/,0 +3 0 +,7 +4E% &
J 0 4 /,/,0 44, 0,),06 22/,, 0)00 0,),2 +40E %((% &
J 0 ,) ,, - 0/ / - 00/ ),) 44,0,),06 ++, 4 4E %%% &
L ) * , 0)220, , 8 4 ++2 , 2 4 ,07*,' ;) /8 0 , , 40 4/ 0,, , 40' 0 04' ;) /8 3 0 0 , 0 %&30,2 0,0+,8 +,8 4 , ,0'
L, 0, ) * , 0)220, ,,
-
8/13/2019 A brief guide for teaching proof
8/65
"# $ H I .
8) 40, 22 748 , , /,/, +7/ ,, 7/0 ,,22 4 , 0)00 7, F F , +
8) 4, 748 , D/+0 4 0,), 0+00 , ,+7/
8) 4, 748 , 0/ D+, 4 30,
7, ,0 F F 8) ,,/+, , / 3 0 +0+,3 , 00) ,, 0
44 , 0, ,, 40' ;) /8 , 22 , 0/), 0 ,/0 ,0 0, 7), 3 , , *+,0 , //
8) 0 , // +,0 , 4 0,'
)2), // ,, 8) 02 , 429)0,0
0 ,0 00) ,, 8) 73 8) 0,),0 4E 4 80 , , D,,E 8) 0 , , )0)8 +
,/ ,0 / /+03 ,*2 4 ,0 00)E 8) 4 ,, , 0 420 +0, 44
), - /24) 0+, 4 0,), - 44),8E 8) 4 , // +22 +,0 0 +,,8
)04)E 8) 8 )0 0/ 4 ,0 0/ +,0 8)
,2E 5 8) ,* 4 , 00 2 ,0//,0 ) 7 +4)E
L, /4,0 %080,/ +, ,,,) ,'& 4 0,+, ) , 0/, )0 4 , //,0/ /+8E ,0 407E ,'
L, , 00)0 22 , ,2 4 4 ) 8) * , 000 78 /,/,0 ), 0 4),) 0/+)7,0 ,, / , 0)++, ,0 , 4 , /,/,0)2),0E L, 3 4, ),E =3 , /), 0 4 ,0+
-
8/13/2019 A brief guide for teaching proof
9/65
"# $ H I /
!"
( (0 " % %& 1%0% 2 3% %40 # # 5 %5# ( % # 1 #
' (%& # % ( #4 5 % 6,7789 % % % % & ( ( 9 5 #& # %& 5 (( ( # % ( % %&0 %0 &0 ( (% (
& 9
-
8/13/2019 A brief guide for teaching proof
10/65
"# $ H I :
#" $"
%& ' '
' %& " '
?,),0 4, 8 8 ) 7, , 2)2 7), H , +32 H , ,), 4 73)08 ,) 0,,/,' 4 ,0 0 0)70,,/, 4 , /8 4 , )/ 7 , ++0 0*2 0,),0 ,)+* , ,*2 7 , 0/, 4 73)08 ,) 0,,/,0 0 , ,, 30 20, , ,) ,0' 4 0 , 0 , ,/ , 4' J 0)00 8 ,0 )+*2 0 0) 4)/, /, 4 /,/, ,*2 ,02 , 02,7 : )28 0,),3' 42 +7/ 0 0, ,
; 0,),0 , 40, *0 4 800 )0
# %( ( , 91 & %% , ;
-
8/13/2019 A brief guide for teaching proof
11/65
"# $ H I 8
+, 4 , 0,),60 0+0 ) * , 4)0 0 0, C4 , 09) 4 )/7 0 3 , , )/7 0 36 00,, 8, 4, )+3' 0 0 0/ 7), 024, 0,+ 4 ,0 +4' 000)/2 , ,), 4 ,0 0,,/, +,7E , 0,),0 , ,0
0,2 D+, , +3 , +4 4 38 0,+ +4 3 ,++,8 73)0E
F 0)000 , 73 , F 0 40
F : ,0 * 4 D+,00 0 )7)0' ?,),0 3 +7/ 2 , 3 4 0+0,, ,8 , +0, ,,2' L,2 ), +4 4 38 02 / 0), 20+, 0/,2 0,),0 , )0 ,' ? , 0 80 ,8
3 7 D+, , 0/ ,20 0+0 , 0/ )*0 4, 087)0' ) 7 ++8 , 0) + 4 , 4 ,00 0/ 0/+ 2)/,0 7 +3' G), ,0 4/ ++ 40, )0 0) 0 ,0 ) D+, /+, +4 4 ,0' ,04 , 0 0/ 7), 0)70,, +4 :, ,00,2 ,0 + 4 4, 0 , /+,8 0,04,8' / 4)0 ,, 0,2)02 , *2 7 00)//+00 /,, 4/ 0+, 0 44),8 ,04' 4, * 740,), 0+00 7), / , 0) ,8 80 38 32'
F ;0 0,),0 4, /,, , D+,60 0,8 ,0 0 ,8 , 0/ , /) 7), , 00,8 , +3 3 /0,, ,),38 /0, 73)0'
F K73)000 ,0 +7/0 +,, /0)0,20 7),, 3 4 , 0 D+,' +4 4 ,0 0, 0 ,, , +), 4, 3 )/70 0 3 )/7' , , D/+0 4 0/+ +4 0,),0 , 4/' ++0 , ,28) , ,/ 2, 8 ,), 4 ,0 , 2)/, 7), 4
0* , D+,, ) 7 ,, ,8 ,/ 2,E +)7 , 7 :A
F ? 0/+,8 70,),0 / ), ++, 4 , 0008E , 0,),0 0 +4 0 , 4 32,/030 ,0E
F ?,),0 )0,/ , 72 , 0 7), , ,), 40,8 4 0,,/,0 , , 2 ,/030 ,0 0 0,+ ,8
, ,* , ,0 0,2 , 0 , * 8 0/,2 0 ,)' 4)0 0 0 27 /+), , +4' L /840, /02 /2 4 /,/,0 0 72 7),
-
8/13/2019 A brief guide for teaching proof
12/65
"# $ H I >
/+), 8 /002 ,)0 , 0 , , , 4 /,/,0/8 +4' 0 )7 0,* 4 D+ D+0 8 ,84 +4 0 44),'
? , 8 0,),0 ) 7), , 7 ,* 4 2, 0,,
4, )+3 7), , ,8 , 0 /8 7 D7, 78 ,0/+,8 4 , ++0, 9)0, 08/ 4 , 73)0 ,/20 3 4 D+, +4 7/0 , 2,0,0),8 4 ,0 73)000'
' %& " $" ( '
73 0/+ 4)00 ,8 703 0,),0 , /* )0
4 8, 3 )+3 0,,/,0 %4, ) ,8 D+, , +3,/&' 03 0,)0 ,, 4)0 ,0 // 0,), ,8%)2 / $P 84)0 ###P J8 I J80 $P I= $ ,'& ,8 28 4 , 4 30,2, /,/,0 ), 0 ,, D/0 9)0,0 0) 0:0,),0 0 , 00,8 4 +4E 0,),0 0 +4 0 , 432 ,/030 ,0 %, 40 40 F0 , #1"&E ,'
=3 ,, 9)0,0 0) 0 , 73 3 7 7, , , 4 4 7 0, 0/ /
-
8/13/2019 A brief guide for teaching proof
13/65
"# $ H I ?
?,),0 , + , 0,),2 +40' 8 4, /+ 2)/,0 , ,3 4, ,, 27 4/0/'
?,),0 +4 /+ 2)/,0 7), *2 / 0D+, 4 ,/'
4 0,),0 73 ,
-
8/13/2019 A brief guide for teaching proof
14/65
"# $ H I @
0, 4 7/2 0+, 7), /+ 2)/,0 ,8 +4 ,/48 , /+ 0,,20 , //, 0/ 4 ,/,,0 ),D/+0 , 0,)7 , , 4 /,/,,), 0 , ,0 78 )30,8 %0 0 N!O&'
?,),0 3/ 78, ,, 4 , /,/, 0,,/,0 +4 , 7 ,/3 78 ,, , , / 4 2 /+), 4 ,0,,/,0 %? I ? ##"&' 0 %##& ,0,840 , +00,, 00,0 , 0,),0Q +32 73) ,8 4 , Q0,2 , 2 /,0 4/ , 8, +,0Q' 0/ ,4 , 0,),0Q ,8 /+, 2/+), 0 703 78 G %##"& , , , 0,),0Q07 7,8 , 2, 2 0,,/,0 , +3 Q/2Q 4
, 0,,/, G D+0 ,4 , , , 4 2, +3, , 0,),0 4/ ,2 2 0,,/, 200 4 ,0,,' , , 0 , 2 4/ /,/, 2)2 00/,2 / , /200 ,, 4 08/70 0,),0 4, 4 ,44), , 22 , 2 /+), 4 , 0,,/,0 %G##"P / $P , $&'
M),/ , 0 0, 4 *0 %'2' )3 ## K6G #$P#!& ,, ,,7),0 , 0Q 44),0 , /,/, +4 , ,4)0 4 ),3 ,*2 , 8 2)/,,'
D/, ), 0 , / , /,/, //),8' J3 4) * , , /0/0 4+, 4 +4 30 ,, 0/ , , ),/0 4 )/,3,0 /,/, +4 0 0)7/,, , ,D,+, 0),8' , 0 +, 4 +4 0 0),) +00 %J##&'
20 4 +0)0 38 23 ,, +2 , +4 /0
4/ , 0 +0, 0 /8 4 72 , +, +4 ,8 , 008 73' 0 4,0 , ,8 ,/,/, //),8 +, 4 +4 0 4, 0), 4 3,8 4 0),) 4,0 , , ,0 0 4/,8' ?*2) %##$& 0 ,00 +,0 , , 0 /0 4 +4 +0,, 0 //), +00 J %#1# 7& )/,0 3,8 4/00 , 0 +00 4 +,2 +4'
73 +32 0 32 , , 4 3, 0 0)7
-
8/13/2019 A brief guide for teaching proof
15/65
"# $ H I *7
074 4/ , ' ,, 00 4/ +4 0 , 32 4 , / 4 44 /,/, //), 7), , 0 /,0 ,700 4 )/7 4 3,0P ,0 3,0 ,0, 4 ,4/ /,/, ),) , +, 0 088/)0 , Q03 /,/, ),),'
' %& '" &
=3 , D+03 * 4 /,/,0 ), 0 44 / 2/+0 , , //,0 / 78 , 3)0),0 , ++ , ,2 4 4' N$O H N"O 4)0 '2' , +32 ,9)0P 3 0, 0/ 4 , 00)00 , ,,) 0/+ 0/ //,0 ,2
00 ,0'= J +4 , , /,, %+,)8 , 2 , ,+22 4 +4& ,0 $ 3 , 4),0 4 +4 +32 0 40 %+1& 34, D+, 080,/,0, 038//), 0,), D+, +,' 40, ,(% 0 ++00 , 4),0 ,2+,)8 , , 8 0,20 4 0,),06 ), , +4 )2, ,,, ' M), %02, , #& 0,,/, 0 ,)& 0, 4), 4 +4 ,, 0 /0 0 , /0, /+,, +22' D+,8 +4 30 , ,8+ 4 02, 0 070 ,)00 ,02 ++,8 4 7
-
8/13/2019 A brief guide for teaching proof
16/65
"# $ H I **
0)000 0/ +22 0+,0 4 +4' ? )00 03 +40 4 ,42 0,,/, , /* +,
$ ( ( 0 140 = 1A*4
-
8/13/2019 A brief guide for teaching proof
17/65
"# $ H I *,
0 440 703, 4/ , 3),8 0,8 4 /,/,04/ +4 ,0 2)0 4, // +4 ,/ +4 H8 %B5& 4/ 0 , 7/ , )0) 8 4 +0,2/,/, 0),0 ), ) 1' , 0 ,)0 9), 007 , * ,)2 0,),0 , +4 /) 0/, ,0,8 * 4 8' *
B 27 ++00' 8+8 ; , 0 ,)2, / 00 0 B5 )0 4, , , D+0 4 +,) )0,2' 2++00 ,2 /, ,, 2,8 /30 4/ ,),3 LLJL%L, ++0 4E L8 0 , ++E J 44, 00 )E L,0 ,) ,E& ++ , , / 4/ B5 ' J 440 03D/+0 0 ++ , )82 2)/, 0 ,, ,0 0 , 8/,/,0 0 0 88 % /04 0 +/8 0/,/,&' M D/+
2 0,, 4 ,)2 C+406 78 )02 0, +, ,8+ 2)/,0 0, 0)00 , 037,8 4 9),0 74 ,)8 ,2 ,03 ,/ %+!!#&'
J , ,30 ,)2 , )0) B 27 /, ,0 ,+22,2 , 03 +,0 +2 4/ ,),0 ,D+,8 0 %'2' , 4 , , 4, 4 +& )+*2 +000 )0)8 +0, /+00 0,+ 0+,' J )0
L, ) 8 LLJL , B5 ++ /7 37 7 , ,0, 0/0, 4/ /0, C +406 ,)2 C0,+, +406 , C4/ 2)0 +406' %+!&'
260 ++0, 3 38 //,8 , ++ % %' /20, , //,0 , 42, 0, ),
B) 7, F 20* %$$& 28 2
, 0 ++ 7), 0, ,/030 4/ 0 / ,, , 0 *4 D+ , +4 ,, 0 , 7/ 4 0,),06 ,8+ 44),0 ,),8 B 27 )00 4 , B5 *' M0,),0 0 3 +7/0 , ,, ++0 3 ,)2,8 3 / D+ , +4 , , 20D 0,),02 0 * ,' 4 ,8 4 , 44),8 /)0, ,,D,0+4 /,0' +,) , 0/0 , 33 ) , ,, /0, +,0 B 27 )482 2R2+,0 4 , 0,),0 , )0, 0,+ 7*
4, 0 008' ),0 0, , D+ 4 ,2 ,0 0,), 0 0 , +40 , *0 ,0,8 , +3,8 ,0 +40 ,, 22, +,)
-
8/13/2019 A brief guide for teaching proof
18/65
"# $ H I *.
024 %7), 7 )* 2Q0 / /+),,8 44),&'8 ,)0 ++0 /, 4 0 /,'
7, G) %$$& 0 0+ , 2 , 2++0, 22, , +,, 4 0,)82 $ ! 0 0) 700 4 2R2 ++,0 4 3, 0+0 4
22,2 , *0 7, 27 =/,8'
M8 ) * , 44 B60 %#1!& ++0, 4 44,++ , 0,),)2 +40 B 22,0 , 0 +3 0 4, 7, /,/,0 0,,0 , 0,),0 4 0 ,, , % ,) , ,0 N"O&' J0 *8 4 0,),)2 /,/,+40 0 0 40 2 +4 , 0 09) 4 4,0 7), 30 +2 4/ ,+ ' 30 ,/030 00, 4 0,),/)0 S/)0T /782 , /
-
8/13/2019 A brief guide for teaching proof
19/65
"# $ H I */
(#((%()
/ ' %$& 0,), D+ 4 /,/, +4 ,)30,8 3' 6 ( % % %% %&0 .*%& 1 H 1#
0 ' ' %##& 0 0 , , 0), 9),0 +4 )2), /,/,0' 6 ( %% %% %& ,: ""!
G44 ' %##& G8 +082 ++ , +0828 4/,/,0 ),' - ( % *7 $1
-
8/13/2019 A brief guide for teaching proof
20/65
"# $ H I *:
G ' %##"& /+, 4 Q/2Q 0,),0Q 7,8 , 2,0,,/,0' $% ( *@ ( D ( $&%& % % , !
G ' L' %#& 0,)8 4 +)+0Q +4 D+,0 /,/,0,),0' % % > $!
G ' L' %##& 2 4 +00 0+,0 4 /,/,0'% %9 *7 !!1"
G) G' %$$& ?/ //,0 C 4 +4 /+2 ,2 /,8 276 78 M' 2' % %0 " 1!H1
5R ' %##!& J2 ? =/,8 0,),0Q
-
8/13/2019 A brief guide for teaching proof
21/65
"# $ H I *8
B ' %#1!& ?,),)2 /,/, +40 %% &0 ! 1"
F,L'='IJ=' %#1#& 4 , 42) 0,),0Q +,0 42/, +4' $% ( *. ( D ( $&%& % % , $$!
F0 ' J' G), B I ?,8 ' %#1"& 5 %&0 -$% "
F ' 5' %##& F*2 , ,0, , 4/ +4' % % ,> $#$
KQG ' %#$& QB2 ,*2 0,0'Q % % $1
KQG ' %#!& B2 ,*2 2 0,),0 % % " #
,)0 ' %##& L, 5 8 G3E % % ,* "1#"#1
/ F' %$!& 8 0 , ,8 ,8 + )0)0, ++ 3 +4E % %0 :,!# H !$"
' F' I = ' ' %$& 0,,), +0 /20 4/,/, +4' % %0 /? 1! H ##
?*2) ;' %##& % ( ( ( % % & %' F )/ J@'$ !!$
? ' I ? ' %##"& +*2 , 2 4 /,/,0,,/,0 % %0 $# $!"
? ' I ? ' %$!& @, 4 +40 0 0 ,D,0 )2),0 , , 2)/, +30 ,/E 6 (3% % %0 ./%& !
2 M' %$$& 4 +4 /+2 ,2 /,8B 27' % %0 :7 !!" !
L7 ' I * B' %$& ?/, 08,, +4 +),0'% % " $# H $!
L/0 ' %#1& G4 +,0 J2 ? 0,),0Q )0,2 4+4' 6 ( 3% % % ** $!#$
;)0/8 F' = F' I 5R ' %##& F,/, 7/02 /+,0 4 4,,2 0,), 9)8 , 00/'% %% *@ $#$"
-
8/13/2019 A brief guide for teaching proof
22/65
"# $ H I *>
!""#$ %
*'+,-&,." " '
42 +7/ 0 0, , 40, 8 )2), 0,),0 )2, )0 70 800 27
- E % ;,;7 1 E 49# 9 D ( %
;,;79
K 4 , 0,),0 ,0 0+0
F //,0 , 73 0 40
F / 4, 0* 78 0,),0 2R ,, 2 , $D$ 0 8/2, , 7 )2 , 7), , 2 ,8 4, 73 0 4 ,
0: , 0 )2 4 588 J/, 78 , 8' ;) * ,8 , 0 $D$ , , ++D ,8 44 , !D! 0',60 ,' ,60 , +4A 0,),0 4, ++8 , 3 M,A G), , 0 02,8 44, 00) 0 ,09)0, )6, 7 0)+0 4 ,8 00, , 3,, , 0,), D/+' 8 4, 00, ) 44,0 , 2, ,/ , 23D/+0' 8 6, * 2 D/+0' 8 , 0/ ,,0 , 0),0 , 7 , 9)0, 8' 8 6,, , 7 9) , 0,), 8 ,0A B, D+ ,0 ,0 / , 7'
$?/+ 4/ 5+, ! % $ +00&
-
8/13/2019 A brief guide for teaching proof
23/65
"# $ H I *?
F % # # G$(F&& 1 %& % ( % 4
# % ( & ( % #%% %% ( & ( ( H
%% ( % 0 & % %%% ( %
0 ( & % 0 & &%& %% ( ( &
*'+,-&,." " $" ( '
C4678D/+ ?8/ ,0 +, 4)00 0
)/, , ,,) 0 0,), ,8 ,, 7 , 7* ,, 0,),06 D+ 4 0 /,/,0' M D/+ J8 I J80%$& 4) ,, , -" 8 0,),0 , 0,)8 4, /+ 2)/,0 ,, 4 ,8 73 ,
-
8/13/2019 A brief guide for teaching proof
24/65
"# $ H I *@
& 0 7 ( % 0,),03 ,0 4 , 3,8 4 0,,/, 78 ),3 +00 ,8 0 2,8 00)0 2, +,0 ,04/ /, /20& % % , 0,),0 020 ,, /,/,0 0 0 0,,/,0 ,, 3
+4&
0 004, J I ? 0,00 0 , /, , 7 44, +4 0/0 7 0+8 78 0,),0 % +400/,/,0& , , 0/ ,/ 44, ,D,0' F3 ,D/0* , )0,, 73 , , , 7 D)0,3 J I? , 0048 44, ,8+0 4 +4 ,, ) 0,),06% /,/,06& *' J3 8 0/ 4 , 730/0 ) 7 20 78 , /,/, //),8 0 +,7
+40' M D/+ , , 0/+ 44 J I?60 ,/0 , 0,),60 +4 0/ ) 7 004 0 /+53,-),3 , 000 $D$ /,D , , D 0+4$D$ /,D 0, 4 2 ' , 8 7 +, 0 +4'
, 40 44 2/+0 , ,0 0,), ,8 72)8 ,04/ , ++, 4 , 4 D/+0 +,)8 2 D/+0 +8 0,),2 /,/,2)/,0' D/+0 /+,,' J3 ,8 28 0 0 0,,2
+,0 8 0,),0 4, , 7 + , /3 78 C7 6 ,/'
*'+,-&,." '" &
? ,0 ,04/, 72 , ++E B,60 0 4D/+ , 4 , 73 0 # D/+ ,,+0),0 , 2,8 4 0,,/,
) =/,8 0 ,D, )0 4 2 D/+0 07),' 50 4 D/+ , 0,,/,
$ ( % % 9
, +778 /*0 , / 00 , 0,, +4 4 ,0 0,,/, 782 C26 +2/ , , 09)A
-
8/13/2019 A brief guide for teaching proof
25/65
"# $ H I ,7
09) /8 ,04 7 +2/' J3 4 + ,0 8 , 8 4 ,, , 20 70, 7), 0 ,, ,8 00 , #2A ,0 0 ) , 0)00 ,, ,0 0 , , 0 4 /0,, +2/0 % ++0 4 , +2/0 , 2 00 #&' ) 4,8 , 20 , +4 78
09)0:
B, )0 0 , 0/+ 0 ,0 ,/ 27 ,D,'50 , 0,,/,
# ( 9
K +4 4 ,0 0,,/, 0 0 40
- 5 0 ( % ;,F 5 % 5;,5FA* # F05F9 A5;,FA1,5FA*4;,FA,5FA*;,1FA5F4A* #% ( & F 5F9
?,),0 3 4, / )+ , 0+00 0) 0 , 0 7'L, ) 8) /* 4 ,0 0+00E
G% ( *>;*7A>F90 0 30 +7/ , )0,2 , 0,,/,'
0,,/, 4 , ,/ 0 , ,, 38 )/7 0 2378 , 0)/ 4 3 )/7 +)0 )/7 7), ,, , 0)/4 3 )/7 +)0 )/7 0 '
G% ( *70 #% ,: : *:F9D/+0 * ,, , 0 , , )/70 % " )0& 3 // 4, %"& ,0 0 , 2 D/+ %7, * , 09)30'+2/ //, , D/+73&'
C% ( *7A>;*>F90 0 ) 3 )0,2 4 , 0,,/, %, 0 ,2, 8 )& 7), 0 , 23 , 4 02, 8 ,0 0 0 0 ,8 ,)0,2 , ,), 4 , 0,,/,'
G% ( *70 #% ,: > *>F90 720 , ,0 ), , 00 4 72 3 7), 080,2 7), '
% ( *70 #% ,:0 >0 #% .,A*0 ,:A1.,A*4;,1:A.4A* #% 9
0 0 , F303,RJ %$& 0 ' , +0),0 , 0,+0 33 , +4 ,00 ),
-
8/13/2019 A brief guide for teaching proof
26/65
"# $ H I ,*
, 42 4,)0 4 3 7), , 0 4, )/D/+'
0,),0 0+00 ++0 73 )* , ,, D+, , ,722 4 ,0 0, 4,' 0 ) 8 0 D/+0
4 , 44, )0 C+46 78 D/+ 0 4 , 44, ,8+0 4++ , /8 /* 0,),06 ,2' , )0 0,00 ,, ,0, 0+0 0 , )*8 , ++ + 4 0,), ,2 ,0,+ 4/ , 0, 0+0 , ++ +4 0 38 0/ 2),, 0,), 0 +) , 0, 0+0 ) 0 38 9)*8 77 , +) 4/ +4 4 , 0,,/,' J3 0+, ,2 4 ,3 ,0 0, 0+0 0, 030 0 , 4 , 2 D/+0 +8 0,),2 2)/,0'
0,),2 382 , 024 4 2 D/+ , 0) , 0,,8 ,0 ), , , 0 D,8 ,, /*0 , D/+2 +0,,3 4 ,0 2 %F0 $$&' F0 440 0/+, 0)220,0 7), ,0 ,02 ),
0 , 44, 00 4 , 7*7 , 3+ , 2 +4 , 2 D/+' 0 /2, + 0,),0 20 2,80 0 * , 70,, 4 , 4/ , , 0+4,8 4 , ,,
L 072 D/+ 0,00 , , 4,)0 ,, /*,0 D/+ 2 0 0 , 4,)0 8) , 7), 8, 0,3 , D/+ / 2'
K, +, 0)220,0 ,, 7 +, , ,2 4, , 00) 4 C+46 78 D/+
8 , 80 0,, , ,/ , 7 +3 , /0, 2 4/'4, 32 23 4/ +4 %++0 , , + 4 ,7*7 0)220, 73& ,8 , 0+0 , 0,,/, 44,,0 0 , ++0 , , ++,8 ,, 0 , 7 +3' , D/+ 4 , +2/ 0)00 74 ,0 ),0, +32 , ,/ , +2/ ,30,2, , ++0 , , 0 4 /7)0 09)' ,0 4 , 27 0,,/, 22 3 )/70 ,0) ,0, 02 , 0 4 7, )/70 72 3 7, )/70 72 '
8 0 , , 30 +00 ,* 0+4 0 % ,+2/ D/+ ,* 4 0, 09)& 30,2, ++,0 4 , 09) 7 ,* 8 , +03 , 4,
,, , 20 70,' ,0 8 , 0,),0 ) 2 0/4), 02, , 2 D/+ 0,), 0 0 ,/4/,'
-
8/13/2019 A brief guide for teaching proof
27/65
"# $ H I ,,
(#((%()
J =' ? B' %##1& ?,),06 +4 0/0 0),0 4/D+,8 0,)0 ' )70*8 ' ?4 ' +), %0'&
3% % %0 / F,/,?,8 3 $!H$1!'
J8 B' I J80 5' %$& 0,)8 4 +4 +,0 27') 4 0 F,/,0 ), !%& !# $1'
F0 ' J' %$$& % % %%9 ( & %0 J )702 ?0 F,/,0
++,0'
F303,RJ ' %##1& 0+, +0)+40 H 72 , 4/+40' 20 4 , ,, 54 , 2 4F,/,0 30,8 4 2 ?/0 = )8 ! ##1' ;* L8 ?0'
-
8/13/2019 A brief guide for teaching proof
28/65
"# $ H I ,.
$ %
' -& ." " ' !
42 +7/ 0 0, , ; 0,),0 , ,D, 4 0)002++,0 4 0,0 4 , 0)+/)/ 4/)/ /D/)/ //)/ 4 0, , ,),8 800 )0'
14 ( 0 14 ; I0 J9
14 ( 14 ; I0JK 6(& & #9
D+, ,, 40 0 4/ ,07 30, 7, ;
0,), %& 0 ,), 0 ,* 4/ % ##&'
: 14 9 % % % 9 (( % 1;I*0,J0 ;I*0.J4 5 5 # %& 14 # 9
,Q0 ,) ,, 0 )++ 7) 4 , ,0, 7), ,Q0
-
8/13/2019 A brief guide for teaching proof
29/65
"# $ H I ,/
07 ),D/+ ,, 00 )+ /8 00 ,0/+8 D,/ , 0,,/, 0 , ++8 0 4 /+,7' G), 0 ,0 +0 +082 ,2 0/,2 , , , /,/,0E ' ,* 44 , D/+32-32 4 00 , 70), 3) 4 ,0
09) ,0 , R' / 00 0,),3),D/+0 8) )0 , )0,, , 44 7, 32, 32, 09) 00' ),D/+ /80)220, , 8) 8) 4/), 0,,/, , ) 4 / 00' ? 4 , , 7), , ,0, 0 ,, , ,0,0 , ,0, , , 0,),06 0 4 ),D/+) 3 7 / +),3 0 ,8 ) 3 7 0,8 4/ , %% ,*'
F 8) 2, 00 0,),0 08 : * 3 4) , ),D/+0 7), ,)8 4 /0, 4 , 00 ,0,,/, ++0 ,4 , 0,,/, 0 ,)E G)0 4 ,, , 0 , , 0,),0 ) , 08 +, 4 785),D/+'
F ;0 0,),0 4, ,* ,, , +3 40,8 4 0,,/, ,8 3 ,+3 , 0 80 40' * % % 4D/+' 8 , 80 0 ,, 42
-
8/13/2019 A brief guide for teaching proof
30/65
"# $ H I ,:
0), 4 , 9)0, ,, 0 , )/, )0 8 4), 7),, 00,' , 0 2' 4 , 0 +, 4 , 9)0,+), , /+,8 ,0, 0 9)/, , ,,, )3 7 0, 8 4/ ,0 )+),300' G), 78 ,+22 +082 +,0 4 , 2)/, , 0 , 00) 4
, 4 ),D/+ ) 08 , 0 ,0 )/,2+0'
' -& ." " $" ( '
C 0,,)0 4 ),D/+ 0 0 +4) /+ , , 0,,)0 4 ,D/+0' L ),D/+ 0 )2 , 38 4,)00 03 0)++,2 3482 D/+0 , 0)44' 4, 0,),0 4 ,, ),D/+ 0 D+, ,, 0 ,8 4), , 0,,/, 9)0,'6 %U030*8 I ##1 +$!&'
?,),06 ,0+ , ),D/+0 %)0,2 , ),D/+0 +8
-
8/13/2019 A brief guide for teaching proof
31/65
"# $ H I ,8
/ ,), 70 4 D/+0P , / 40,8 70 ),D/+P , , / 40,8 , +, ,0)448 4 ),D/+ +)0) 44, 2)/,&'
+7/ 0, ,, , 40 0,,/, , 4) ,,/+,0 ,4048 ,' 8 0* 0,),0 , ,/ , 3,8 4 ,,/+,'
,,,) 9)0,0 2 0,),06 ,,,)0 ,0 , 4 ),D/+0' +7/ 0, , 4) 40 0,,/,0 , 0,),0 0* ,
2, ),D/+0 4'
+,)8 ,0,2 42 4 , 0,)8 0 ,, 0,),06 73) 338 8 , ,D, % 3 / 28 ,4 78, 0,)0 0) 0 *0 I ?/60 %#1#&&' ,0*0 , 0,),0 0* , 22 , 7, 27 2/,
4 2/, 0,,/,0 /) / 4 0 / , ),D/+0, 4 , N:O 27 0,,/,0' %+$$1&
0
0,),0 /) / +00,, , 3 ,, ),D/+ 00)44, 4 4),2 2/, 0,,/, , 4 27 ' %+$$1&'
1 % 0 D& (
% # ( (( % ( $(99949
?,),0 0 4) , 38 +4, ,482 40 0,,/,0 0 ),, , )0 ),D/+0' 0,)8 0)220,0 ,, ,0),
/+ , 7,8 , ,8 ,/ , 3,8 4 , 23 0,,/,0%+$$1&
0 , 82 0), ,, , 30, /
-
8/13/2019 A brief guide for teaching proof
32/65
"# $ H I ,>
?,),0 0 44),8 , 2,2 ),D/+0' M D/+
,8 ,82 , 4 /8 ,0 )+ D/+ N 0 09)O / )+ , CD/+06 ,, , D0, , 4 ,' %+$!&
73 420 0, , 0/ 0,)0 ,, U030*8 %## ##& ), , /,/,0 0,), ,0' %U030*8 I ##& ,8 0)00 , +22 4 ),D/+0 ,/0 4 0,, 7, % 1&4 % 14 % I U030*8 ##& ,8, 0,),06 44),8 , ,0 ,8+ 4 +4 , 4 ,44),8 , 0,), D/+0 %4, ) , /, ,, 0+&'
M/ +22 +0+,3 2 , I U030*8 %##& ,,
44, ),D/+0 /8 3 44, C+22 0,,)06 ,, 00/ /8 7 / +4) , ,0 ,/0 4 +32 02, , ,/ 80 , 4), ,' %+#&
8 0,2)0 , ,8+0 4 ),D/+0 ,/0 4 , D+,8+ %+"!&
%(% ),D/+ ,, ,,0 , / 8, 0 , 23
) , , )82 /0/ 4 0,),2 , 0/),D/+0
),D/+ ,, 23 0/ ) , , )82/0/ 4 0,),2 , 0/ ),D/+0 7), 0, C, , 0,86 0 , 3 , 0+ 4),D/+0'
D ),D/+ ,, +30 C7 , 006 0,8 0)220,0 8 , 2, , , ),D/+ 0+'
I U030*860 %##& , 73 40 ,8 , ) 0)00% I $"& 4 , 37 44, 4 44, ,8+0 4),D/+' L 0,2)0 , , ,/0 4,2 0 ,,),D/+0 +8 2 2 /,/,0'
40, 0 44,3 ' ),D/+ 0 , 7/,8 32 4 , 0,),0 %0,2, , ,,8&' 4 ,0 70 , , 0,), +30 0 0/ / ,,8 %00 , 0 /+,00 , D/+ , +3)0 0,& ,
, ),D/+ /8 , 3 , 0,), ,, , ++0,0 40'
-
8/13/2019 A brief guide for teaching proof
33/65
"# $ H I ,?
2,3 00,0 382 , , 0,),0 ,, ),D/+0 , 0/ 0 4 0 /,/, 2 0P ,, 02 ),D/+ 4), ++0,P ,, ++0, 0 , , 7 #& 40 , 7 40P ,, 0 4 40,8 0)440'
+0,/2)/+22 0 , , , 7 4/ 2 ),D/+ H 4 D/+ /,/,0 )0 ),D/+0 , ,48 /,0 4 40 0,,/,) , 7 / , ,04/ ,0 0,,/, , ,/'
I U030*860 %##& , 0 4 +,) 3) 0)002 /0,8, 0, , 4 , , 0 0,2)0 73'
' -& ." '" &
I U030*8 %##& D/+48 , , %0+4 0/22& , ,D, 4 0,), ,06 0+00 , , ,0* 4 4),2, 42 , 0,,/,0
5 *9 # % # % %5 ,9 # %
% %9
, 0,0 4 ),D/+0 ,8 , 0 40
%(% % 1:/4
-
8/13/2019 A brief guide for teaching proof
34/65
"# $ H I ,@
% 1:/4
D % 1:84
-
8/13/2019 A brief guide for teaching proof
35/65
"# $ H I .7
U030*8 60 %##1& 9)0, 0,0 3 2, 3 0,),06 4)8 , ,,,)0 ,0 ),D/+0' L,4 , 7 0/ 4 , 40 0,,/,0 ,8 0* , 0,),0 ,22 ,:
( # = %& %0 = %9( ( = = 0 = %9 (% (14 ; ,A,, 9 (% (14 ; ,, % 9
: 3, 8) , 0 2)0 ,70 0 0 ),D/+0,, 00 , , /0 %44,3& ,, 0)00 % I
$"&AM),/ 0 8) ) * , /3 ,0 0)00 78 ,,D, 4 27 =/,8 800 0 , ,0* U030*8 I %##& 3 )0 , ,D, 4 =)+ 8 , D+ 0,),06,,,)0 ,0 +48 , 2,2 ),D/+0
& % %9
(#((%()
G44 ' %##& ,/, 4 4),,0 0+,0 4 , /+D,0 4 0,),30, ++ , /,/,0 2' @ '=004 %&3% % % %0 1# ,0) / 00
J =' ? B' %##1& C?,),06 +4 0/0 0),0 4/D+,8 0,)06 ' )70*8 ' ?4 ' +), %0'&3% % %0 / F,/,
?,8 3 $!H$1!'
' I ' %$"& 5),D/+0 0 0 2 0 /8E$% ( / (% % %0/ ,8' @)/ !#!11
' %##& 3 /,/,60 ), , /,/,70,, ,00 +,/2 0,), 4/0,'+)70 , ,00' 30,8 4 KD4'
-
8/13/2019 A brief guide for teaching proof
36/65
"# $ H I .*
' I U030*8 K' %##& 5),D/+0 ,, %8& +3 ),D/+0 ,, %0& D+' M)0 B2 7/0 4F,/,0 # %!& # H
*0 '' I ?/ =' %#1#& 2,3 0*0 ,, 7)E
% 3%0 1%& $"
U030*8 K' I ' %##& 7,2 4,0 2,2 D/+0 78/,/,0 ,0 0,), ,0 , 0 4 78 +,'6 ( 3% % %0 $ %& H 1
U030*8 K' I =' %##1& ?,),06 )0,2 4 , 4),D/+0 $% ( ,, (% ( D ( 3% $&%& ( % %0
@ $$"$!$
-
8/13/2019 A brief guide for teaching proof
37/65
"# $ H I .,
' -& $" $
& ' '($ )
*+
' -& $" " '
42 +7/ 0 0, , ; 0,),0 , 40, *0 4 800 )0
K 4 , 0,),0 ,0 0+0 , +, %&
) (
0 ,0 0,), 0+0 D/+40 0 0)00 748 ,
42 0, 44),0 , , 27 /+),0 9) 4 78 F,/, ), 4/ 2 +, 4 , 0,),06 344),8 , ,0 ,8+ 4 4 % , 0 4 +, %& , 29),0&' J3 0 , 4)0 0,),06 44),8 , ,/0/ 4 F,/, ), ,04'
F K 44),8 , F,/, ), 0 ,, 0/ +30 0,,/, 4 78 00)/2 , , 0 0,+' ,0 0/,0,0 , 38,2 0 ,, 3 0 , , 0,),0 4,
C=226 , ,/ 8 )/)0 )00 4 , ,/ 4 D/+ ,) ,0 0 4 , +)+0 4 072 , /0/ 4 4 78 F,/, ),'"?/+ , 4/ +00 5+, ! % $ +00&
-
8/13/2019 A brief guide for teaching proof
38/65
"# $ H I ..
, 0/ * /87 3 , 0/ ,) ,, , 0 0/,20+ 7), 4 78 ), ,, 0,),0 3 ,, )0,24' J 8) +0078 +3 0/,2 ,0 8 78 082 , 0 ,) , 40, +E , 0 * , 2, 78 ,0 ,' 0 ,*, 44),8 0 722 , ++, ,, 0 , +
, 44),8 0 0 , ,D, 4 (%& (%!&' 0 080 +32 0)+028 *' 4, ,* , ) 7 0 ,)0 5 0,' 8 ,, /0 ,, 0)70,,),2 5 , 00 , 0)70,,),2 , ' G), 0 , / 44),8 ,F,/, ), 0 72 7 , 0 , ,0, 4/ , ,, 0 ,0 ,, 8) , +3 8) 2, , , / ,,, 0,,/, 0 ,) 4 5 00)/2 , ,), 4 5'
F , 0,),0 )0, 8 , F,/, ),
/0/ 0 +4EF L , 0,, , 0/ 4 ,/ / , )30,8 8 4/ , ,
, 0 08,4 +' / ,*2 4 +0 )0 ,//8 B 27 4 D/+'
F * 4 / 44, 2)00'
F ;0A L ,8 +, 08' 0+8 , ,D, 4 +329),0 * +, %3& , ,8 )0 ,'
F +,8 4 D/+0 =/,8 , /0/ ,)0), , 7 )04)'
F ?) 7), ,8 /) / )0,/ , 02 ,0 , ,D, 427' 0 + ,, 0 08 , ++8' G), 8 0 , +4E /, 0) 4 , ,*2 7), ,0 ,8 2 7), , 0 0 4 ,/, 4 )0 00' 00 /,/,0 8) * , /32 ), 0' , 0 +,,8 73)0 $%& 0 ,) 4 8)
+3 ,, $%& /+0 $%& $1,4 /+0 $1.4 : 0 4 ' 4 8) * ,0 4 /,/,0 , 0 ,: +,,8 73)0 ,A
F ?,), J 0/0 , +8 ) 7, , , %& 0 0+,:
-
8/13/2019 A brief guide for teaching proof
39/65
"# $ H I ./
)
F L 0 )0) , 0 +7/ , , ,, %& 0 0,,/,, )/7' K 9),' ,* , 0 ,0,2 ,+8 ,0 ,0 4,0, 0+, H , 0,), *0 D,8 , 0 02 H 7, %& 72 0,,/, 27 D+00' %&0 4 4, )+ 4 0 78 %& V : ' / , 0 38 ),, ,8 0 %& 0 0,,/, 3), , , 0 )/7 D+00' 2 4 F,/, ), +0 ,,' * %& /*0 , * 7, * 4), 7), 00 , 0 0+ 7, 0,,/,0 3)0 4 0 ,0 08/70/
0 , 44 , ' G), 4 )0 23 , /, )0,2 44), 0 27 D+00 ,, 20 , 002/, 43)0 4 9),,8 4 3)0 3)0 4 D ,0 08/70/ /8 3,/0)0,20' 6, , , 2 , ,*2 ,, 80 , 0 4), 7), , 0 , ,, 0020 ,) 40 , %&:
' -& $" " $" ( '
C$( & % % 0 0+8 82 , 0,),0' ,+ N:O 0 ,8+8 +0, 0 ,9) 4 0,70204/ 4/)0 4 0)//, N'2' C+3 ,, , 0)/ 4 , 40, )/70 4 , 4/ *! 0 $$O' ,0 0,),0 2 ,)2 ,0,8R 0,+0 N,) 4 VP 00)/ ,) 4 +3 ,) 4 O' /0, 0,),0 4 , 40, ,0* 0 ,3 ,, ,8 6, /2 ,0 , 7 ' L,60 0 0 ,, ,8 * , , 0 ,0* 8 , ,8 0) 00)/ %& , , 0,, ,8 ,82 , +3' 82 '6 5) I =72%##$ +1!&
-
8/13/2019 A brief guide for teaching proof
40/65
"# $ H I .:
),, , +,, C86 82 , 73 * 4 ,),8D+ , , /0/ 4 F,/, ), 5) =72 * , ,,3 ++ , /2, 0/ )0 ,C ,0 4/) 4 , 0)/6 ,8 0* 0)220, ,, 3,0,),0 , 0,, , 22 ,)2 0/ 4 , 40, ),0 ,/030
%, , 40, $ ! " : 0) )/70 0 , ,8 2,&' 4 8) 0 ,8 / C8)6 +778 4 ,, 8) 6, /+), 0)/4/ 0,6' M D/+ , 2, "#! , 0 38 *8 ,, 8) )0, 0)/ 4 "# 8) 8 ),
-
8/13/2019 A brief guide for teaching proof
41/65
"# $ H I .8
0,),0 +,+,2 , ,3,0 +,)8 , =/,8, 0 ++ , 3 C,, 44),8 , )02 /,/,), 0 7, /, 4 038 4 2)/,6 %+$$&' L, ,* 720 , , 4 0 , , + 0,),0 9) 00 4 , 0, , , 4 , F,/, ), /0/ 78 ,02 ), ,
+,, , 0,),3 +00 ,, )0 %&'
4, , 5) I =72 ,) , 9),, ,, +0 ,00, 0 , ,+ 4 , 4/7 72 4 /0+,0 )4 78 F,/, ),' ) 0, %#1& 0,0 03 4 ,0 040 %,0,28 9),0 0)0 ,, 2 7* 0 4 0 #1 , ,, , 2,3 +22 00)0 ) 4 78F,/, ), 3 7 * 4 9), 0/ ,/A&
/72),8 , C),6 %0 /2 C )0, /,4 32 ,
-
8/13/2019 A brief guide for teaching proof
42/65
"# $ H I .>
3 0 ,) ,0 % I $!& /0,8 4)0 7,2 0/ 4 ,0 , 44),0 %27 /+),2 4 , 08/70 ,& 33 , 4) /,/, ),+7/0 /, , +3)0 0,'
) 800 , 0,),06 ,2 4 +40 78 F,/, ),/,/, ,, *2 % , 0 4 , +7/ 0)00 ,0 ) /+), 4 9),0 )0 4 ,'& +80 D,7 024, +,'
M D/+ +, %& , 0,),06 +7/0 4, , 2 ,9),0' ) , %& 0 9),8 024, )/7 40,),0 0/+8 23 )+' /2 0,),0 /0,, ,0),,8 7), , /0 2 4 44),0 , /+,2 ,
+4 0) 0 0,,2 4/ , 9),8 0 0)++0 , 3 ,' )/7 4 0,),0 0 +0, 00 , /+), 4 ,9),0 33 0 +,)8 3),'
-
8/13/2019 A brief guide for teaching proof
43/65
"# $ H I .?
0)/ , ++ , 7 , 0,0 4 00)0 , ,,) 000 ,2 , ),
' 44),0 , )0,2 , /0/ 4 4 78 F,/,
), %'2' 8 , 0,,),0 +4 ,0 0,+0 , , , 008 /+,0 4 ,2)/,&'
$' 44),0 , 2 , 27 /+),0 %'2'9),0& , )0 4 /,/, - 2 08/70/ %'2'9),40 ,'&'
' -& $" '" &
F0, 4 , 73 9), ),0 /+8 , 800 4 , 0+,0 44 78 F,/, ), ,, 0,),0 4 +7/, , 07), , 4,, 0,),06 ), , , /,' M D/+ , ++ 9), 73 % I $!& // ,,,2 0 , 0,00 , 4 , 0,,/, 4 %& 0 D,, 30 , ,) )/70P 4 * , ), 0,+ * 0 4D,) )/7 * 0 ,0 0)00'
F0, ),0 0 0,, 4/ *22 , +7/0 0,),0 ),, F,/, ), + , ++02 0,),+2// ,, /0 , 3, ,0 +7/0' M D/+ %$& 0,)+ 43 8 00/ D+/, ,, 0,, 4/ 0)002 4),0+,,0 )0 /3 ,0 )03 4,0 ,) ,4, +000 4 F,/, ), ,)2 /0,,2 , , ,D, 4 ++,0 %2 , 5) =720,),3 +000 ), &'
0 2 , 4)0 0,),2 )0,2 4 F,/,
), 0,+ 78 0,+ 3*360 %##1& 03 ,3,0 ,0 4)0 3+2 0,),06 0* ,/2 2),0 ,)2 D/24 D/+ , 0)/ 4 , 40, ,) )/70 % 3 &)/8 30)8&' 5)8 0/ 4 , ,3,0 +3 ++,),8 , 22, ,, C),3 02 0/,/0 80 40
-
8/13/2019 A brief guide for teaching proof
44/65
"# $ H I .@
, , ,0 , ), +4 %), 700 ),30,+& +, 4 , 7, 008P
,0 ,0 ,2, , , 4/ +4P )0,2 , ), 700 %*2 , 40, 0,+ 0 ,2
+, 4 , +4 , 0/,2 , 3 8)04 ,, ,0,,/, 0 *8 , 7 ,)&
)0,2 , 0,2 4 , ), 0,+ %,, ,0 0 0,,/, 4 +4 0, , 3 +4 44, 4/ , 3 0,,/,* 7 8 ,) )/7&'
8 07 , +,, ,7), 4 , / F 0 40%+&
/( 0/(%/1 0%/23/0% 0#/( 40$%0 $04(1 /03%4()/%4%5 00# 26$/($/1 %43/0%
(1($(%/) 0# 00# 26 $/($/1%43/0% %4 7%081(45( (1/(4 /000# 26 $/($/1 %43/0%
+)02 4 , 40, / , 0 ,,,0 4 +0,0 , 700 0,2' 4 , ),700' , 0,00 , 00,8 4 ,00,2 , , /0,, ,, , 40 4 , 40, 06, 3,)2 , ,0 2 0) ,, 38 , ) ** ,D, 4 , , 4'
& 4 , ), 700'),700
8 42 , **0 , D, ' +0,, 4 , ),0,+'4 , 40 , , **0 , D,' L, +3 , ),0,+E8 4 , / ,0 4' +0,, 4 , ),
8+,00'X)0,0 7), , 2,/8 4 ,), 8+,00 7), ,0/,8 7, , 0,,/, , 7+3 , ), 8+,00 7 , , 78 4 , , / 0+48 , , 0+ 4 ,8+,00' , 08 4D/+ SK , 700 4 , 8+,00 8 +3 ,, , 0,,/, 0 ,)4 *' , 0 * 082 ,, 4 , , *40 , , , !90 40' L 6,,* 7), , ,0 7), 8 7), 'T
), 8+,00 0 ' '
L, 0 , 4 , ),8+,00E
L8 0 , ", )0 ,8+,00E
L, 0 , ''7, ,8+,00 , 20,,/,E
38 , **0 , D, ' &4 , 37 * ,,0 )0 , ), 8+,00'
/ , 0)44,8 720, 0/'
?,),0 , ), 0,+, 7 ++ , 0/ +'
),0,+
-
8/13/2019 A brief guide for teaching proof
45/65
"# $ H I /7
) 0, %#1& 0 00 , / / %+1& 0//0 2 , 42 +,) 800 4 F,/,),
(#((%()
B' %$& 2 F,/, ), ,,3 ++% % #%& ""
3, ?' I B70* ?' %#1& F,/, ), , 00/
, /,/, 00)0 % %0 #$#!1
5) '' I =72 '' %##$& F,/, ), 30),D, % - $%!I& 1$ +1!&
0, ' %#1& F,/, ), +22 0)00'% %0 " !1#
M07 ' I 2 ' %#1#& 082 44),0 0,2, + 4 F,/, ),6 $% ( *.
-
8/13/2019 A brief guide for teaching proof
46/65
"# $ H I /*
(% ( D ( $&%& ( %% 0 M )8 #! @)/ '
B, M' I 072 ' %##$& F,/,0 ), ?P )0 4 2 % %% M % #$%"& $!!!1
F303,RJ ' %##!& M0 5 7/ F,/,), 2 M2,8 6 ( % $%!&$"!$1
F303,RJ ' %##!7& F,/, ), 4)0 ,+,) 4/*% %% % #!%1& 1
' I ' %$!& )2 )8 0 500,,
F,/, 4 , %& %& ?,+ F,/, ),9$% ( . (% %% $$1' !" )8 $! ,0 ='
3*3 %##1& ++ , /,/, ), H 0,,2 4/ ,8 0,20 4 ,2 /,/,0 % % ! !"$
=' I 84)0 ' %$& )0 4 /0 ,2 +4 78/,/, ), $% ( ,? (% ( D ( $&%& ( % % @ $!!
?2 ' %##1& CB0Q 44),0 , ), 406 6 ( % % %% M %& $#%$& "#
-
8/13/2019 A brief guide for teaching proof
47/65
"# $ H I /,
' -& ) :
' 2& " ' ;
0)00 40 , , 0/ 9)0, /, NO
# %( ( , 91 & %% , ;
-
8/13/2019 A brief guide for teaching proof
48/65
"# $ H I /.
?,), L60 0+0 , 44 4 09)0 , 27 ,2 ' 0 , 0, 0 +0078 ),/ 4 0+, 0 )28 , /+, , +00 4 ,, 78 0+,,2 '
F 4 8) 0 * , ?,), B60 0+0 , 0 , 4 *2 22
2 , , *2 , )+ , + , 2)/,)+ 0 ,' 0 0 4 8) , 0,, , , ,+ 4 8) 2)/,, D0, 4 // 4,0 , 8) 4 8)04 , /4
-
8/13/2019 A brief guide for teaching proof
49/65
"# $ H I //
K / 0 4, 2 7), , ,) 4 ,0 +4 ,0+002 78 , 0,),0' L, 0 , , +4 ,, /*0 , 0 0/+ ,/ 8, 0 ++D2 , , 0,),0E6 B %#1" +!$$&'
44),0 ) +32 , ,,8 4 $ 3 +3 4,
2) 4 D+2 0,),06 44),0 , +4 78 ,, 403 /,/,0 ),0' M D/+ %##& 7, I/0 %## +$& /+ , ,8+0 4 +4 4 , ,,8 4 $ 2 +4 0, +4 +4 78 ,,'
, 0,)8 2 +40 0/ , 2, 00 4)0 7 // 78 , 0,),0 , ,0 8 0,2 4 , ), , +4 ,+40 78 ,,' 0 0,0 , ) D+ 4/ , 0,)8 9), , , 0/+ 73 0,),0 03 ++,),0 , /+8+4 78 ,, %( % ,;7 , 0,,/, N$O 0 4 ,0& 28 4 +8 ,*2 )+ , ++,),8 82 0) +40 ,)2'
M D/+ , 0 4 +32 , ,,8 4 $ , 0 4 +,) ,, , 0,),0 , +, ,,;, , ,8 ),4 , D, 0,+' +4 ,, , 0 )/, )/7 4 +/0 00/ , 00 ,, , ,0 , +,, 4 0/ /, 7'J , 0 0,+ 7, ,,;, *2 ,, ,0 /+0 ,, 3 ,4 ,8 /)0, 0 // 4, ,, ,0 , 0 ,,' , +*2 )+ ,, 0,+ 0 4 '
' 2& '" &
J32 D+ , 44),0 ; 3 0,),0 , +32, ,,8 4 $ H 0 0,,2 4/ , /,/,D+0 H G %##& /+0 , +4 , ,0/,8 ,/0 0 40
-
8/13/2019 A brief guide for teaching proof
50/65
"# $ H I /:
-
8/13/2019 A brief guide for teaching proof
51/65
"# $ H I /8
, , 0,,8 4/ , 73 /+0, B %#1"& 2)0 ,,, 0 , 8 ,, +40 78 ,, +0, ,, 4)00 ,0,),0' M D/+ , +4 40 , , 9), ,, +0 ,
+3)0 0)70, 0 28 2 4 ,0 0 7),8' J30,),0 / , 0 , ,)2 40, , 0,), 4 ,)/7 F 0 +), 4 +/0 ' , ,0 +, ,8 +8 , ,)0, , *0 C ,6' K ,8 7/ 4/ , ,00,), 222 , 2,2 +4 78 ,, 0 8,3' 0 /8 7 4, , , 0,, /0 4 /,/,0 7), ,0 0/ , * 7,, 4 , 0,),0' B 0 2)0 ,, /0,+40 , ) C, 4 0,),6 +4 78 ,, 0 , C, 4 0,),6 0 *8 , 7 +0828 00 08
+,7 78 , 0,),0' , B60 ,)2,0 ,0 7 4) 0)220,0 H 78 3 %##& H 4 +32 , ,,8 4 $
&L 0 ,, , 00)/+, ,, , -= D0,0 0) ,,$-=$ V $ 0 , ,,' ?)++0 ,,$-=$ V $ = ,20 , 4, // ,$ V $=$' )0$0 3' G), 4 ,$) 7 ' ? ,0 /0 ,, /)0, 7 3 V $ 0 ,2' ?)70,,),2 $V $=$ 7, $V $=$ 0 $$V=$' 0/ 2)/, 00 ,, = /)0, 0 7 3' ? = 3 // 4, $ ,,2 , 4, ,, ,8 3 //4,'
1 # % ( % % ( & %%4'
L 0 ,, 4 0,, , 8 ,-= 09) ,, , 0),2 09) , 7 $' K 09)2 ,2 ,
)/7 4 ,/0 8 +/ 4, ++0 , 4,R, 4 0 , +/ 4,R, 4 $ 0 ,, +/ 4, )0 )/7 4 ,/0 $' , 4, $-=$ 4,R ,)/, $ /, =$ 2 // 4,0 +007' 4, , 0 D,8 4, , 3 )/7 4 ++0 4 ,, 4, , )/, ,/,' 4, $-=$, 7 0/+4 , 23 $- 7)0, ,, 0 )/7 4 $0 , )/,' ? , 09) 4 ,-= 0 3 9) , $'
&,L 0 ,, , 00)/+, ,, , -= D0,0 0),,$-=$V "-1 0 , ,,' ?)++0 ,,$-=$V "-1
-
8/13/2019 A brief guide for teaching proof
52/65
"# $ H I />
= ,20 , 4, //' 1$V "=$' )0 " 0 4, 4 1$' 4 " , 3 , , ) , 3 1N$ ) ,, " V 0 ,2' ?)70,,),2 , 29), 2, 1%"&$V "=$' 0 0/+40 , $V =$' M/ ,0 0,, " /)0, 3 =$ 78 , 0/ 2)/, 0 74 , 30 =
,,2 , 4, ,, = 3 // 4,'
,L 0 ,, 4 0,, , 8 ,-= 09) ,, , 0),$-=$, 7 "-1' K 09)2 8 ,2 , )/74 ,/0 ,, 8 +/ 4, ++0 , 4,R, 4 0 , +/ 4,R, 4 $ 0 +/ 4, )0 )/74 ,/0 $' %M 0, 4 V $ V $D$D! , $V $D$ V V$D$D!D$D$D! ! )0 , $ )0 4) ,/0 7, 3)/7 4 ,/0& , 4,$-=$ 4,R$ =$ , +/0
// 4,0 +007' 4, , D,8 4, , 3 )/7 4 ++0 4 ,, 4, , )/, /, 4 , 4,' 4,$-=$ 37 0/+4 , 23 "-1 4 , ,, 0 "-$! 0 )/7 4"0 , )/, % )/7 4 $0 , /,&' ? ,09) 4 ,-= 3 9) "-1'
0 , , 73 +4 ++0 78 J8
- 0 , )/7 0 09) 0 - - 0 +0,3 4, 0, ,/0 )00 +4, 09)0' M0)++0 4 +007 ,,$-=$ V - 32 4, // , = 4, // , ' $V =$' 38 4, 4 =$/)0,3 $ 0 = 3 // 4, 38 4, 4 =$/)0,3 ' J V =$ 0 ,2' G), ,0 330 V $P 0 3 // 4, /)0, 7 ),8' )0 V$ V =$0 0 , 7 +3' +,) , 40 78 ,*2 V $ V ,, $, 7 , 09) 4 , )/7'
)0
L 3 0 2)+ 4 $ 7 0,),0 , 024, +4 )0,2 4 , +4 Y 3 , +4 5Y ,8 3 D+ 4 , ,8+ 4 +4' 0, ,, +4 5 ,)2/,/,8 2, *0 D+,8 + 2R0 , 44),87)0 4 2)0, 0,0' J8 +4 0 , 3 2,D+,8 + 4 0,),0 0+, ,0 2, 2,8' F ,2 4/8 4 +40 )2 Y ,)2 / 37 00 08, , 08/70 0 , )03 9),8 4 D+, 0)0,2' 3 0)220,0 ,4 ,, 0) 0* ,D+,8 + 4 2 +40 4 720 , , , 0,,
-
8/13/2019 A brief guide for teaching proof
53/65
"# $ H I /?
2 2,8 4 2 +40' ,, % 0)& / , 0,2 ,8 / *8 , 7 ++,'
0 )00 2 , ,0 4 B 9), 73'
, %$& 0)220,0 ,, , 0,),0 0,),0 +)2)/,0 ,, 0 , , 0+, 4 4 78 5,,0+,)08P +,)8 40 , , 00 0,),0 0)++,, , 4 ,)2, 78 2,2 D/+0' 0 0,),0 ++00 7 +,, 0,++2 0, 4 ,)2 4 785,,' G 0 D/+ 4 0) 0,), %@ 5 0,),0&
# (# & % % 0 % 9 & & % & %% ( K &K
. /$
#' @ K ,8 N 0O , 7 ++)'$' 5 ,,60 , +007'$' @ 8 , 7 ++) 7)0 ,0 , N, ,O
) 7 + 4 , , , ,0, , , % /*0 2 0 42) 73&'
. 0$
-
8/13/2019 A brief guide for teaching proof
54/65
"# $ H I /@
!' @ L N, ,O , 7 + , 8 4 , , 0 7)04 3 , 002 0 3 4 ,8 , ++)% /*0 2 0 42) 73& 4 N,O 0 + , 4, , , ,0,0
-
8/13/2019 A brief guide for teaching proof
55/65
"# $ H I :7
(#((%()
7, ' I /0 F' K' ' %##& 0 /,/, +4' 'K' %'& % % 5 %++' $"H$!&' ,)'
, ?' %$!& D/+0 +4 78 ,, $% ( ,> (% ( D ( $&%& (% % J)) ? $ # ""'
G ' I ' %##& 52,3 ,0 5,0 F,/,4 $% ( ,* (% ( D( $&%& ( % % M $ 1'
B '%#1"& , ++ , , +40' % %0 !$!$"'
F303,RJ ' I J0 ' %##& 03 ), 4 /,,0 )02 +D0< % %0 $ $"$1'
' %##& 52,3 0+,0 4 +4 , 0+ 4 , ,,,8 4 $ $% ( . (% ( D ( $&%& ( % % L*$H$'
-
8/13/2019 A brief guide for teaching proof
56/65
"# $ H I :*
(
//,0 NON"O 44 ,, / , 2/+0 , ,/,/,0 ), 0 ,0 ' L 3 7,8 0, C06 4 ) //,0 , 7 ,38 0/ 7)0 ,
,0 2) , 7 4 )0' L 3 ,)0 /+,8 ,,,/+, , ,) ,0 2) 20 3,0' G83)06 //,/, ,0 80 9) 0,,), - 080,/ -)) 20 ,, ) , ++0 7 //,8 407 %307E& 78 , //, 0+ ,0 2) ,2,0 , ,)0 4 ; 0,),0 7), +,)8 , /0 , , ,0*A
0 )2 /* , )0 3 /, , 0 H 7, 38 49), H 0/ 4 ,0 20 3+/,0
722 , 7 44
, 4 J0,8 4 F,/,0 5),) ?,)0'
, ++0, %0 I 50 $& 0 4 ,*2 ,3) 4 =/,8 , 0 )))/ ++2 ,0 ,2,)2 09) 4 03, 0 Q+/8 3,0Q 0 ,0, 4/,)0,2 , , D+ 000 0)220, , 2 ,/0,, )30 ,),0 7), 0,,/,0'
, 4 ,20'
9 , 0+ 00) 4 % %4)0 , )0 4 8/ =/,8 04, , ,2 4 4 %0 , $&' 024 4 ,0 , *0 ,0 0 ,, ,8 7/2 / / +228 /,/,8 3'
L, ,0 2) / , 0 00 , , ,8 +07 , +3 0 2 +,' K) * ,0 ,)0 *
4 , 82 , 30, ,0 7*, /0 , )'(#((%()
0 'P =),[R \' I F,, F'' %0& %$& 4 8/=/,8 3/,0 F ?+ 00) % % %!&
0 ?' 50 ' %$& 4 0 70,, +0 ),)0, ++ , ,2 =/,8' J,, ' %0&$% ( %& ( 3% - (% L*
-
8/13/2019 A brief guide for teaching proof
57/65
"# $ H I :,
2-&
4 0,0 " 0 ,0 0, 4 40 0,,0 , D+,4/
' % +00 $& % % -% '& -' ) 78 ?+2 , ?+2-?)//$'
J3 ) 0 * , *2 , 42 *0 0 ,0)70,, 4)0 , ,, )+20 4 , * ,0, 2)'
0 ?' %###& ,3 +0+,3 , 3+/, S
, B L L*2T' G' 0* ' L I ?' 0 %0'&% % % %% % %++' 1H$&9 B M/'
J, ' ' %'& %$& ,2 2 4 /,/,0 ,)30,8 3 5F 0,)8' , ,0 )'
' I ' %$"& K , 22 02, 4 F,/,0C,,6 C0, 4/ , 5, , , 70,,6 6 (% $%$& #$"
F0 ' %$$& % % %% ( & % %9 50, J )702'
' 0* G' I J2)0 ?' %$"& 0+,)/ 4 +2200 4 )2), /,/,0 4/ C,*06 , C,9)066 ( 3% % % !%& $1!
3 =004 ' %##"& 3% %% #& ( 5# ' B M/ 00'
L2 ' %##& 37 ,3, 4 ), 0 M/* 4 02 0,, 5+,'% 3%9 @' $ ' ' +' !$
L2 ' %##1& ( %% -0 &'5/72 5/72 30,8 00'
-
8/13/2019 A brief guide for teaching proof
58/65
JF?K
-
8/13/2019 A brief guide for teaching proof
59/65
-
8/13/2019 A brief guide for teaching proof
60/65
JF?K
-
8/13/2019 A brief guide for teaching proof
61/65
JF?K 0 ,0 00) ,, 8) 73 8) 0,),0 4E 4 80 , , D,,E 8) 0 , , )0)8 + ,/ ,0
/ /+03 )0,2 4 , 4 D/+0 +8 0,),2/,/, 2)/,0E
8) 4 , 0)00 4 2 D/+0 0 /0 , 4,, 0))0,2 )04)E
8) )0 2 D/+0 8) ,2E 5) 8) 0)220, , 00++0 / ,) , )30,83 /,/,0 , , 0 44 ,00/+ 0,2 , 2 D/+ ,0+, +0)+40 7+4)E
8) 4 F060 ,,0 3, , , 8) ) 8) ,2E L) 8) * , 8 / 0)220,0 , ,0E
' 5 &$, , 00)0 22 , ,2 4 4 ) 8) * , 0 00
, =)E 7$
8) 4 , 4/, 4 , 0/+ : +++,E 5E 222E 8) 4 , 2, 4 0)00 3, , +, 4 , 0/+ %,
,,) +22 0)220,0& +++,E L) 8) * , 0 , 7, 8 +,) ,E
0 //7 ,, , =) 0 ),8 ,0 48' , 0 ) 0)0 ,, ,, 8)//,0 H 0 ,)2,4) 4* 0 2, ,/ , 7A H 0+ 0)709), 300 4 ,=) 0 /) 0 +007'6
0)/ , +,0 0 , ,30 0 40
22 , 0/+
-
8/13/2019 A brief guide for teaching proof
62/65
JF?K
-
8/13/2019 A brief guide for teaching proof
63/65
JF?K
-
8/13/2019 A brief guide for teaching proof
64/65
JF?K
% -
, , //, 4 /+,2 ,0 +, ,, D+00 /+8 / 00 , ,+ 7)2,' ),0,2 7 7 0+, 4 , +), +, 4, =) +, % , )*8 0 , 0 /& ,0 D+00 44), 00/, %4 0/ 4 , ,3,8 ), 73&' 60 , =)+ 3
23 )0 ,3 + 4 7), ]$ + +8 4 , =)'
# !
, , ,/ 4 /+,2 ,0 +, , B3)/ )0, 42 ) 0)7/00 4 ), ++0 )8 $ 0 3, 4) ++, 4 ) ++0 ,,C04/2 ,8 , +22 +, 4 )30,8 /,/,06' L 0)7/,,0 78 /7 0, $ 7 ,4 4 , 0),0 78 4 + $' ++0 * /+80 , =) 0 0,,2 +, 4 2// 4 3, +2// 4 3,3 +,0 ,, 7 /+/, 3), , ,D,
4 ; )0 ) F,/,0 , 0' F3 23 ,D, /, 7, ) 0 +0 , 7
-
8/13/2019 A brief guide for teaching proof
65/65