A brief guide for teaching proof

download A brief guide for teaching proof

of 65

Transcript of A brief guide for teaching proof

  • 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