PROOF - Education Development Center | Learning transforms lives. PDF
Preview PROOF - Education Development Center | Learning transforms lives.
PROOF 7KLVGLVFXVVLRQDGGUHVVHVVHYHUDOGLIIHUHQWDVSHFWVRISURRIDQGLQFOXGHVPDQ\OLQNVWR DGGLWLRQDOUHDGLQJV<RXPD\ZDQWWRMXPSWRWKHDFWLYLWLHVWU\VRPHRXWDQGWKHQGRXEOHEDFN WRWKHUHDGLQJVRQFH\RXKDYHKDGDFKDQFHWRUHIOHFWRQKRZ\RXDSSURDFKSURRIV<RXFDQXVH WKHWDEOHRIFRQWHQWVEHORZWRQDYLJDWHDURXQGWKLVFKDSWHU :KDW,VD3URRI" :K\'R:H3URYH" :KDW'R:H3URYH" :KHQ6KRXOG6WXGHQWV3URYH" +RZ'R:H3URYH" :KHQ,VD3URRI)LQLVKHG" :ULWLQJ3URRIV (YDOXDWLQJ3URRIV &ODVVDFWLYLW\ 3UDFWLFH3URRI$FWLYLWLHV $VHWWLQJIRUZKROHFODVVSUDFWLFH 2WKHUZKROHFODVVSUREOHPVDQGUHVRXUFHV 3URRIZLWKRXWZRUGV 7ZHQW\SUDFWLFHSUREOHPVZLWKVROXWLRQV %LEOLRJUDSK\ WHAT IS A PROOF? ,QHYHU\GD\OLIHZHIUHTXHQWO\UHDFKFRQFOXVLRQVEDVHGRQDQHFGRWDOHYLGHQFH7KLVKDELWDOVR JXLGHVRXUZRUNLQWKHPRUHDEVWUDFWUHDOPRIPDWKHPDWLFVEXWPDWKHPDWLFVUHTXLUHVXVWRDGRSW DJUHDWHUOHYHORIVNHSWLFLVP([DPSOHV²QRPDWWHUKRZPDQ\²DUHQHYHUDSURRIRIDFODLPWKDW FRYHUVDQLQILQLWHQXPEHURILQVWDQFHV $proofLVDORJLFDODUJXPHQWWKDWHVWDEOLVKHVWKHWUXWKRIDVWDWHPHQW7KHDUJXPHQWGHULYHV LWVFRQFOXVLRQVIURPWKHSUHPLVHVRIWKHVWDWHPHQWRWKHUWKHRUHPVGHILQLWLRQVDQGXOWLPDWHO\ WKHSRVWXODWHVRIWKHPDWKHPDWLFDOV\VWHPLQZKLFKWKHFODLPLVEDVHG%\logicalZHPHDQWKDW HDFKVWHSLQWKHDUJXPHQWLVMXVWLILHGE\HDUOLHUVWHSV7KDWLVWKDWDOORIWKHSUHPLVHVRIHDFK �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF GHGXFWLRQDUHDOUHDG\HVWDEOLVKHGRUJLYHQ,QSUDFWLFHSURRIVPD\LQYROYHGLDJUDPVWKDWFODULI\ ZRUGVWKDWQDUUDWHDQGH[SODLQV\PEROLFVWDWHPHQWVRUHYHQDFRPSXWHUSURJUDPDVZDVWKH FDVHIRUWKH)RXU&RORU7KHRUHP0DF7XWRU7KHOHYHORIGHWDLOLQDSURRIYDULHVZLWKWKH DXWKRUDQGWKHDXGLHQFH0DQ\SURRIVOHDYHRXWFDOFXODWLRQVRUH[SODQDWLRQVWKDWDUHFRQVLGHUHG REYLRXVPDQDJHDEOHIRUWKHUHDGHUWRVXSSO\RUZKLFKDUHFXWWRVDYHVSDFHRUWRPDNHWKHPDLQ WKUHDGRIDSURRIPRUHUHDGDEOH,QRWKHUZRUGVRIWHQWKHRYHUDUFKLQJREMHFWLYHLVWKH SUHVHQWDWLRQRIDFRQYLQFLQJQDUUDWLYH 3RVWXODWHVDUHDQHFHVVDU\SDUWRIPDWKHPDWLFV:HFDQQRWSURYHDQ\VWDWHPHQWLIZHGRQRW KDYHDVWDUWLQJSRLQW6LQFHZHEDVHHDFKFODLPRQRWKHUFODLPVZHQHHGDSURSHUW\VWDWHGDVD SRVWXODWHWKDWZHDJUHHWROHDYHXQSURYHQ7KHDEVHQFHRIVXFKVWDUWLQJSRLQWVZRXOGIRUFHXV LQWRDQHQGOHVVFLUFOHRIMXVWLILFDWLRQV6LPLODUO\ZHQHHGWRDFFHSWFHUWDLQWHUPVHJ³SRLQW´RU ³VHW´DVXQGHILQHGLQRUGHUWRDYRLGFLUFXODULW\VHH:ULWLQJ'HILQLWLRQV,QJHQHUDOKRZHYHU SURRIVXVHMXVWLILFDWLRQVPDQ\VWHSVUHPRYHGIURPWKHSRVWXODWHV %HIRUHWKHQLQHWHHQWKFHQWXU\SRVWXODWHVRUaxiomsZHUHDFFHSWHGDVWUXHEXWUHJDUGHGDV VHOIHYLGHQWO\VR0DWKHPDWLFLDQVWULHGWRFKRRVHVWDWHPHQWVWKDWVHHPHGLUUHIXWDEO\WUXH²DQ REYLRXVFRQVHTXHQFHRIRXUSK\VLFDOZRUOGRUQXPEHUV\VWHP1RZZKHQPDWKHPDWLFLDQV FUHDWHQHZD[LRPDWLFV\VWHPVWKH\DUHPRUHFRQFHUQHGWKDWWKHLUFKRLFHVEHLQWHUHVWLQJLQWHUPV RIWKHPDWKHPDWLFVWRZKLFKWKH\OHDGORJLFDOO\LQGHSHQGHQWQRWUHGXQGDQWRUGHULYDEOHIURP RQHDQRWKHUDQGLQWHUQDOO\FRQVLVWHQWWKHRUHPVZKLFKFDQEHSURYHQIURPWKHSRVWXODWHVGRQRW FRQWUDGLFWHDFKRWKHU'RZQORDG$[LRPDWLF6\VWHPV/HHDQGVHHVHFWLRQVDQGLQ ERRNERI0DWK&RQQHFWLRQV%HUOLQJKRIIIRUIXUWKHUH[SODQDWLRQVDFWLYLWLHVDQGSUREOHPVHWV RQD[LRPDWLFV\VWHPVFRQVLVWHQF\DQGLQGHSHQGHQFH)RUH[DPSOHQRQ(XFOLGHDQJHRPHWULHV KDYHEHHQVKRZQWREHDVFRQVLVWHQWDVWKHLU(XFOLGHDQFRXVLQ7KHHTXLYDOHQFHEHWZHHQWKHVH V\VWHPVGRHVQRWPHDQWKDWWKH\DUHIUHHRIFRQWUDGLFWLRQVRQO\WKDWHDFKLVDVGHSHQGDEOHDVWKH RWKHU7KLVPRGHUQDSSURDFKWRD[LRPDWLFV\VWHPVPHDQVWKDWZHFRQVLGHUVWDWHPHQWVWREHWUXH RQO\LQWKHFRQWH[WRIDSDUWLFXODUVHWRISRVWXODWHV �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF WHY DO WE PROVE? To Establish a Fact with Certainty 7KHUHDUHPDQ\SRVVLEOHPRWLYHVIRUWU\LQJWRSURYHDFRQMHFWXUH7KHPRVWEDVLFRQHLVWR ILQGRXWLIZKDWRQHWKLQNVLVWUXHLVDFWXDOO\WUXH6WXGHQWVDUHXVHGWRXVDVNLQJWKHPWRSURYH FODLPVWKDWZHDOUHDG\NQRZWREHWUXH:KHQVWXGHQWVLQYHVWLJDWHWKHLURZQUHVHDUFKTXHVWLRQV WKHLUHIIRUWVGRQRWFRPHZLWKDVLPLODUJXDUDQWHH7KHLUFRQMHFWXUHPD\QRWEHWUXHRUWKH PHWKRGVQHHGHGPD\QRWEHDFFHVVLEOH+RZHYHUWKHRQO\ZD\WKDWWKH\FDQEHVXUHWKDWWKHLU FRQMHFWXUHLVYDOLGWKDWWKH\KDYHLQIDFWVROYHGDSUREOHPLVWRFRPHXSZLWKDSURRI 6WXGHQWV¶FRQILGHQFHLQDIDFWFRPHVIURPPDQ\VRXUFHV$WWLPHVWKH\DSSHDOWRDQ DXWKRULWDWLYHVRXUFHDVHYLGHQFHIRUDFODLP³LWZDVLQWKHWH[W´RU³0V1RHWKHUWROGXVWKLVODVW \HDU´,WKDVEHHQP\H[SHULHQFHWKDWVXFKMXVWLILFDWLRQVFDUU\OLWWOHSUDFWLFDOSHUVXDVLYHYDOXH )RUH[DPSOHDFODVVGLVFXVVHGWKHLUUDWLRQDOLW\RIπDQGSURRIVRIWKDWIDFW\HWDQHVVD\ DVVLJQPHQWRQDSURSRVDOWRREWDLQWKHFRPSOHWHGHFLPDOH[SDQVLRQRIπVWLOOJHQHUDWHGVWXGHQW FRPPHQWVVXFKDV³LIπHYHQWXDOO\WXUQVRXWQRWWREHLUUDWLRQDOWKHQWKDWSURMHFWZRXOGEH LQWHUHVWLQJ´7KXVDQDXWKRULWDWLYHFODLPRISURRILVRQO\JRRGXQWLOVRPHRWKHUDXWKRULW\VKRZV RWKHUZLVH0DWKHPDWLFDOWUXWKVGRWHQGWRVWDQGWKHWHVWRIWLPH:KHQVWXGHQWVFUHDWHDSURRI WKHPVHOYHVWKH\DUHOHVVOLNHO\WRWKLQNRIWKHUHVXOWDVHSKHPHUDO$SURRIFRQYLQFHVWKHSURYHU KHUVHOIPRUHHIIHFWLYHO\WKDQLWPLJKWLIJHQHUDWHGE\VRPHRQHHOVH To Gain Understanding ,ZRXOGEHJUDWHIXOLIDQ\RQHZKRKDVXQGHUVWRRGWKLV GHPRQVWUDWLRQZRXOGH[SODLQLWWRPH ±)LHOGV0HGDOZLQQHU3LHUUH'HOLJQHUHJDUGLQJDWKHRUHPWKDWKH SURYHGXVLQJPHWKRGVWKDWGLGQRWSURYLGHLQVLJKWLQWRWKH TXHVWLRQ 7KHUHDUHSURRIVWKDWVLPSO\SURYHDQGWKRVHWKDWDOVRLOOXPLQDWH$VLQWKHFDVHRIWKH 'HOLJQHTXRWHDERYHFHUWDLQSURRIVPD\OHDYHRQHXQFOHDUDERXWZK\DUHVXOWLVWUXHEXWVWLOO FRQILGHQWWKDWLWLV3URRIVZLWKVRPHH[SODQDWRU\YDOXHWHQGWREHPRUHVDWLVI\LQJDQGDSSHDOLQJ %H\RQGRXULQWHUHVWLQXQGHUVWDQGLQJDJLYHQSUREOHPRXUZRUNRQDSURRIPD\SURGXFH WHFKQLTXHVDQGXQGHUVWDQGLQJVWKDWZHFDQDSSO\WREURDGHUTXHVWLRQV(YHQLIDSURRIRID �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF WKHRUHPDOUHDG\H[LVWVDQDOWHUQDWLYHSURRIPD\UHYHDOQHZUHODWLRQVKLSVEHWZHHQPDWKHPDWLFDO LGHDV7KXVSURRILVQRWMXVWDVRXUFHRIYDOLGDWLRQEXWDQHVVHQWLDOUHVHDUFKWHFKQLTXHLQ PDWKHPDWLFV ,IRXUSULPDU\FRQVLGHUDWLRQIRUDWWHPSWLQJDSURRILVWRJDLQLQVLJKWZHPD\FKRRVHPHWKRGV DQGW\SHVRIUHSUHVHQWDWLRQVWKDWDUHPRUHOLNHO\WRVXSSRUWWKDWREMHFWLYH)RUH[DPSOHWKH WKHRUHPWKDWWKHPLGSRLQWVRIDQ\TXDGULODWHUDODUHWKHYHUWLFHVRIDSDUDOOHORJUDPFDQEHSURYHQ DOJHEUDLFDOO\XVLQJFRRUGLQDWHVRUV\QWKHWLFDOO\ILJXUH (d, e) D d+b , e+c 2 2 d , e 2 2 (b, c) C a+b , c 2 2 (0, 0) a (a, 0) A B , 0 2 Figure 1. The diagrams for coordinate and synthetic proofs $V\QWKHWLFSURRIUHVWVRQWKHIDFWWKDWWKHVHJPHQWFRQQHFWLQJWKHPLGSRLQWVRIWZRVLGHVRID WULDQJOHWKHmidlineLVSDUDOOHOWRWKHWKLUGVLGH,QTXDGULODWHUDOABCDULJKWVLGHRIILJXUH WKHPLGOLQHVRIWULDQJOHVABDDQGCBDDUHERWKSDUDOOHOWRWKHTXDGULODWHUDOGLDJRQDOBDDQG WKHUHIRUHWRHDFKRWKHU,WLVFOHDUWKDWLISRLQWCZHUHWRPRYHWKHPLGOLQHIRUWULDQJOHBCD ZRXOGUHPDLQSDUDOOHOWRERWKBDDQGWKHPLGOLQHRIWULDQJOHABD7RFRPSOHWHWKHSURRIRQH ZRXOGFRQVLGHUWKHPLGOLQHVRIWULDQJOHADCDQGWULDQJOHABCDVZHOO7KHFRRUGLQDWHSURRI XVHVWKHFRRUGLQDWHVRIWKHPLGSRLQWVWRVKRZWKDWWKHVORSHVRIRSSRVLWHPLGOLQHVDUHHTXDO )RUPDQ\SHRSOHWKHV\QWKHWLFSURRILVPRUHUHYHDOLQJDERXWZK\DQ\DV\PPHWULHVRIWKH RULJLQDOTXDGULODWHUDOGRQRWDOWHUWKHSURSHUWLHVRIWKHLQQHUSDUDOOHORJUDP,WDOVRLOOXVWUDWHVKRZ DSURRIFDQEHDUHVHDUFKWRROE\DQVZHULQJRWKHUTXHVWLRQVVXFKDV³ZKHQZLOOWKHLQQHU TXDGULODWHUDOEHDUKRPEXV"´%HFDXVHPLGOLQHVDUHRQHKDOIWKHOHQJWKRIWKHSDUDOOHOVLGHWKH LQQHUSDUDOOHORJUDPZLOOKDYHHTXDOVLGHVRQO\ZKHQWKHGLDJRQDOVRIWKHRULJLQDOTXDGULODWHUDO DUHFRQJUXHQW �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF 6RPHWLPHVRXULQDELOLW\WRGHYHORSDSURRILVUHYHDOLQJDQGOHDGVXVWRUHFRQVLGHURXU H[DPSOHVRULQWXLWLRQV$IWHUFRXQWOHVVDWWHPSWVWRSURYHWKDW(XFOLG¶VILIWKSRVWXODWHWKHSDUDOOHO SRVWXODWHZDVGHSHQGHQWRQWKHRWKHUIRXUPDWKHPDWLFLDQVLQWKHQLQHWHHQWKFHQWXU\ILQDOO\ DVNHGZKDWWKHFRQVHTXHQFHVZRXOGEHLIWKHSRVWXODWHZHUHLQGHSHQGHQW7KHGRXEWVWKDWDURVH IURPWKHIDLOXUHWRREWDLQDSURRIOHGWRWKHFUHDWLRQRIQRQ(XFOLGHDQJHRPHWULHV To Communicate an Ideas to Others 2IWHQPDWKHPDWLFLDQVRIERWKWKHVWXGHQWDQGDGXOWYDULHW\KDYHDVWURQJFRQYLFWLRQWKDWD FRQMHFWXUHLVWUXH7KHLUEHOLHIPD\VWHPIURPDQLQIRUPDOH[SODQDWLRQRUVRPHFRQYLQFLQJFDVHV 7KH\GRQRWKDUERUDQ\LQWHUQDOGRXEWEXWWKHUHLVDEURDGHUDXGLHQFHWKDWUHWDLQVVRPH VNHSWLFLVP$SURRIDOORZVWKHPDWKHPDWLFLDQWRFRQYLQFHRWKHUVRIWKHFRUUHFWQHVVRIWKHLULGHD $Making Mathematics WHDFKHULQWKHPLGVWRIGRLQJUHVHDUFKZLWKFROOHDJXHVVKDUHGKLV IHHOLQJVDERXWSURRI -XVWVR,FDQJHWLWRIIRIP\FKHVW,KDWHGRLQJSURRIVZLWKD SDVVLRQ,W¶VWKHSDUWRIPDWKHPDWLFVWKDW,JUHZWRKDWHZKHQ,ZDV DQXQGHUJUDGXDWHDQGLW¶VZKDWVRPDQ\RIP\IRUPHUVWXGHQWV FRPHEDFNDQGWHOOPHWXUQHGWKHPRIIWRFRQWLQXLQJRQDVDPDWK PDMRU,UHPHPEHUKDYLQJDSURIHVVRUZKRKHOGXVUHVSRQVLEOHIRU HYHU\SURRIKHGLGLQFODVV:H¶GSUREDEO\KDYHDGR]HQRUPRUHWR NQRZIRUHDFKH[DPLQDGGLWLRQWRXQGHUVWDQGLQJWKHPDWHULDO LWVHOI,FDQUHPHPEHUMXVWPHPRUL]LQJWKHVWHSVEHFDXVHWKH DSSURDFKHVZHUHVREL]DUUHWKDWQR³QRUPDOSHUVRQ´ZRXOGHYHU WKLQNRIWKHPLQDPLOOLRQ\HDUV\HV,NQRZ, PVWHUHRW\SLQJ 7KLVWHDFKHU¶VIUXVWUDWLRQVZLWKSURRIVLQYROYHGKDYLQJWRPHPRUL]HDUJXPHQWVWKDWZHUHQHLWKHU UHYHDOLQJDQGWKHUHIRUHQRWHQWLUHO\FRQYLQFLQJQRUVXIILFLHQWO\WUDQVSDUHQWDERXWWKHSURFHVV E\ZKLFKWKH\ZHUHFUHDWHG<HWWKLVVDPHWHDFKHURQHQFRXQWHULQJFROOHJLDOGRXEWVDERXWKLV FRQMHFWXUHFRQFHUQLQJ3DVFDO¶VWULDQJOHZURWH³:HOO,GHFLGHGWRWU\DQGFRQYLQFH\RXDOOWKDW WKHSHUFHQWDJHRIRGGVGRHVLQIDFWDSSURDFK]HURDVWKHWULDQJOHJURZVE\SURYLQJLW´+LVHIIRUWV RYHUVHYHUDOGD\VSURGXFHGDFRPSHOOLQJSURRI+LVFRQIOLFWLQJDWWLWXGHVDQGDFWLRQVKLJKOLJKWWKH GLVWLQFWLRQEHWZHHQSURRIVDVH[HUFLVHVDQGSURRIVDVWRROVIRUFRPPXQLFDWLRQDQGYDOLGDWLRQ$ JHQXLQHDXGLHQFHFDQPDNHDQRGLRXVWDVNSDODWDEOH �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF For the Challenge 'LIILFXOWWDVNVFDQEHHQMR\DEOH0DQ\PDWKHPDWLFDOSUREOHPVDUHQRWRISURIRXQG VLJQLILFDQFH\HWWKHLUUHVROXWLRQSURYLGHVWKHSHUVRQZKRVROYHVWKHPZLWKFRQVLGHUDEOH JUDWLILFDWLRQ6XFKVXFFHVVFDQSURYLGHDERRVWLQVHOIHVWHHPDQGPDWKHPDWLFDOFRQILGHQFH7KH SURFHVVRIVXUPRXQWLQJKXUGOHVWRDSURRIFDQKDYHDOORIWKHWKULOORIDJRRGP\VWHU\6WXGHQWV DQGDGXOWVDUHMXVWLILDEO\H[FLWHGZKHQWKH\VROYHDSUREOHPXQOLNHDQ\WKH\KDYHSUHYLRXVO\ HQFRXQWHUHGDQGZKLFKQRRQHHOVHPD\KDYHHYHUXQUDYHOHG To Create Something Beautiful 7KHPRUHVWXGHQWVHQJDJHLQPDWKHPDWLFVUHVHDUFKWKHPRUHWKH\GHYHORSWKHLURZQDHVWKHWLF IRUPDWKHPDWLFDOSUREOHPVDQGPHWKRGV7KHGHYHORSPHQWRIDSURRIWKDWSRVVHVVHVHOHJDQFH VXUSULVHVXVRUSURYLGHVQHZLQVLJKWLVDFUHDWLYHDFW,WLVUHZDUGLQJWRZRUNKDUGWRPDNHD GLVFRYHU\RUGHYHORSDSURRIWKDWLVDSSHDOLQJ7KHPDWKHPDWLFLDQ3DXO(UG|VVSRNHRISURRIV WKDWZHUH³VWUDLJKWIURPWKH%RRN´²WKH%RRNEHLQJ*RG¶VFROOHFWLRQRIDOOWKHSHUIHFWSURRIVIRU HYHU\WKHRUHP$OWKRXJK(UG|VGLGQRWDFWXDOO\EHOLHYHLQ*RGKHGLGEHOLHYHWKDWWKHUHZHUH EHDXWLIXOWUXWKVZDLWLQJWREHXQFRYHUHG+RIIPDQ To Construct a Larger Mathematical Theory :HUDUHO\FRQVLGHUPDWKHPDWLFDOLGHDVLQDYDFXXP2XUGHVLUHWRDGYDQFHDEURDGHU PDWKHPDWLFDOSUREOHPLVRIWHQDVRXUFHRIPRWLYDWLRQZKHQZHDWWHPSWDSURRI)RUH[DPSOHD QXPEHURIPDWKHPDWLFLDQVVSHQWPDQ\\HDUVDWWHPSWLQJWRFKDUDFWHUL]HDFODVVRIREMHFWVNQRZQ DVVLPSOHJURXSV+RUJDQ7KHLUFXPXODWLYHHIIRUWVUHVXOWHGLQWKRXVDQGVRISDJHVRISURRIVWKDW WRJHWKHUDFFRPSOLVKHGWKHWDVN0DQ\RIWKHVHSURRIVVLJQLILFDQWLQWKHLURZQULJKWZHUHRIHYHQ JUHDWHUYDOXHEHFDXVHRIWKHLUFRQWULEXWLRQWRWKHODUJHUXQGHUVWDQGLQJWKDWWKHPDWKHPDWLFV FRPPXQLW\VRXJKW )RUDIXUWKHUGLVFXVVLRQRIWKHUROHRISURRILQVFKRROFXUULFXODVHH'R:H1HHG3URRILQ 6FKRRO0DWKHPDWLFV"6FKRHQIHOG �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF WHAT DO WE PROVE? :HFDQSURYHPDQ\GLIIHUHQWW\SHVRIFODLPV • :HFDQVKRZWKDWDQREMHFWRUDVHWRIREMHFWVSRVVHVVHVVRPHSDUWLFXODUSURSHUW\)RU H[DPSOHZHFDQSURYHWKDWDOOLVRVFHOHVWUDSH]RLGVKDYHDFLUFXPFLUFOHRUWKDWDOOUDWLRQDO QXPEHUVKDYHILQLWHRUUHSHDWLQJGHFLPDOUHSUHVHQWDWLRQV • :HFDQSURYHWKDWDSDUWLFXODUDOJRULWKPZLOOFRQVWUXFWREMHFWVZLWKDGHVLUHGSURSHUW\)RU H[DPSOHZHFDQSURYHWKDWDJHRPHWULFFRQVWUXFWLRQGRHVSURGXFHDVSHFLILFVKDSHRUWKDW WKHIRUPXODn ±m mnn mZLOODOZD\VSURGXFH3\WKDJRUHDQWULSOHVIRUFRXQWLQJ QXPEHUVmDQGnZLWKn!mVHH3\WKDJRUHDQ7ULSOHV%RJRPROQ\ • 0RUHVXUSULVLQJO\ZHFDQDOVRSURYHWKDWREMHFWVZLWKFHUWDLQSURSHUWLHVH[LVWZLWKRXWKDYLQJ WRSURGXFHWKHREMHFWVWKHPVHOYHV(XFOLG¶VSURRIRIWKHLQILQLWXGHRIWKHSULPHQXPEHUVLV RQHVXFKexistence SURRIVHH,QILQLWXGHRI3ULPHV%RJRPROQ\(XFOLGVKRZHGWKDWJLYHQ DQ\ILQLWHVHWRISULPHVWKHUHPXVWDOZD\VEHDQRWKHUSULPHQRWZLWKLQWKHVHWEXWKLV PHWKRGGRHVQRWSURGXFHWKDWQH[WQXPEHU/LNHZLVHZHFDQFRXQWWKHQXPEHURIWUDLQVRI OHQJWKnWKDWFDQEHPDGHIURPFDUVRIGLIIHUHQWOHQJWKVZLWKRXWVKRZLQJKRZWRJHQHUDWHWKH DUUDQJHPHQWVRIFDUVWKHPVHOYHVVHHWKHWHDFKLQJQRWHVIRUWKHWUDLQVSURMHFWIRUH[DPSOHVRI ERWKFRQVWUXFWLYHDQGQRQFRQVWUXFWLYHSURRIVRIWKHQXPEHURIWUDLQVnXQLWVORQJ • :KHQZHFDQQRWGHWHUPLQHWKHSUHFLVHVROXWLRQWRDSUREOHPZHPD\VHHNWRHVWLPDWHLWRU SURYHWKDWWKHUHDUHERXQGDULHVWRWKHDQVZHU,IDIXQFWLRQFDQQRWEHGHWHUPLQHGH[SOLFLWO\ ZHFDQWU\WRDSSUR[LPDWHLWVEHKDYLRUDV\PSWRWLFDOO\7KHSURMHFW6HWFRQVLGHUVWKH PD[LPXPQXPEHURIWKUHHFDUG6HWVSRVVLEOHLQDFDUHIXOO\FRQVWUXFWHGFROOHFWLRQRIn FDUGV VHHWKHWHDFKLQJQRWHV:HGRQRWNQRZWKHH[DFWPD[LPXPIRUnHYHQDVVPDOODVEXW ZHKDYHHVWDEOLVKHGXSSHUDQGORZHUOLPLWV7KHGLVWULEXWLRQRISULPHVLVDFHQWUDOTXHVWLRQLQ QXPEHUWKHRU\7KHIXQFWLRQPnWKDWJLYHVWKHQXPEHURISULPHVOHVVWKDQRUHTXDOWRnFDQ EHIRXQGE\LGHQWLI\LQJDOOSULPHVXSWRn%H\RQGWKHERXQGVRIFDOFXODWLRQLWFDQVWLOOEH DFFXUDWHO\HVWLPDWHGXVLQJWKHSULPHQXPEHUWKHRUHPVHH3ULPH7KHRUHPRIWKH&HQWXU\ 3HWHUVRQ • :HFDQVKRZWKDWWZRGLIIHUHQWSUREOHPVRUV\VWHPVDUHUHODWHGWRHDFKRWKHU)RUH[DPSOH LQ(XJHQLR%HOWUDPLGHPRQVWUDWHGWKDW/REDFKHYVNLDQJHRPHWU\FRXOGEHPRGHOHG �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF ZLWKLQ(XFOLGHDQJHRPHWU\DQGWKDWWKHWZRZHUHWKHUHIRUHHTXLYDOHQWO\FRQVLVWHQWRU LQFRQVLVWHQWVHH1RQ(XFOLGHDQ*HRPHWULHV0RGHOV%RJRPROQ\ • :HFDQSURYHWKHLPSRVVLELOLW\RIVRPHW\SHRIFODLP6RPHRIWKHPRVWLPSRUWDQWRIDOO VXFKSURRIVDUH*|GHO¶V,QFRPSOHWHQHVV7KHRUHPV7KHVHWKHRUHPVUHYHDOHGWKDWDQ\ D[LRPDWLFV\VWHPWKDWLQFOXGHVWKHSURSHUWLHVRIDULWKPHWLFZRXOGKDYHVWDWHPHQWVWKDWFDQQRW EHSURYHQZLWKLQWKHV\VWHP7KDWLVLWLVLPSRVVLEOHWRFUHDWHDFRPSOHWHD[LRPDWLFV\VWHP WKDWLVFRPSOH[HQRXJKWRVXSSRUWPRVWPDWKHPDWLFDOZRUNVHH*|GHO¶V7KHRUHPV35,0( 7KH/LPLWVRI0DWKHPDWLFV3HWHUVRQDQG7KH%HUU\3DUDGR[&KDLWLQ WHEN SHOULD STUDENTS PROVE? ,QJHQHUDOVWXGHQWVVKRXOGDWWHPSWDSURRILQUHVSRQVHWRRQHRIWKHPRWLYDWLRQVOLVWHGLQWKH :K\'R:H3URYH"VHFWLRQ,IVWXGHQWVRQO\DWWHPSWSURRIVDVH[HUFLVHVWKH\FRPHWRVHHSURRI DVDQDIWHUWKHIDFWYHULILFDWLRQRIZKDWVRPHRQHHOVHDOUHDG\NQRZV²LWEHFRPHVGLVFRQQHFWHG IURPWKHSURFHVVRIDFTXLULQJQHZNQRZOHGJH+RZHYHUVWXGHQWVGHULYHFRQVLGHUDEOH VDWLVIDFWLRQIURPSURYLQJDFODLPWKDWKDVDULVHQIURPWKHLURZQLQYHVWLJDWLRQV ,IVWXGHQWVLQDFODVVGLVDJUHHDERXWDFRQMHFWXUHWKHQWKDWLVDJRRGWLPHIRUWKHLQGLYLGXDOV ZKRVXSSRUWLWWRORRNIRUDSURRILQRUGHUWRFRQYLQFHWKHGRXEWHUV,IDVWXGHQWVHHPV SDUWLFXODUO\WDNHQZLWKDSUREOHPDQGVWDUWVWRIHHOVRPHVHQVHRIRZQHUVKLSIRUWKHLGHDWKHQ VKHVKRXOGDWWHPSWDSURRILQUHVSRQVHWRKHURZQPDWKHPDWLFDOWDVWHV,IWZRVWXGHQWFODLPV KDYHDFRQQHFWLRQWKHVWXGHQWVPD\ZDQWWRSURYHWKHRQHWKDWLVDSUHUHTXLVLWHIRUSURYLQJWKH RWKHU $IRFXVRQIRUPDOSURRIVKRXOGJURZJUDGXDOO\:KHQZHHPSKDVL]HIRUPDOSURRIWRRVRRQ DQGWRRRIWHQEHIRUHVWXGHQWVKDYHGHYHORSHGDULFKUHSHUWRLUHRISURRIWHFKQLTXHVDQG XQGHUVWDQGLQJWKHLUIUXVWUDWLRQZLWKDQGVXEVHTXHQWGLVOLNHRIWKHFKDOOHQJHFDQEHFRPHDQ REVWDFOHWRIXUWKHUSURJUHVV,WLVDOZD\VDSSURSULDWHWRDVNVWXGHQWVZKDWOHGWKHPWRWKHLU FRQMHFWXUHVDQGZK\WKH\WKLQNWKH\DUHWUXH:HEHJLQE\DVNLQJIRUUHDVRQVQRWIRUPDOSURRIV DQGHVWDEOLVKWKHH[SHFWDWLRQWKDWH[SODQDWLRQVVKRXOGEHSRVVLEOHDQGDUHLPSRUWDQW1RWHWKDW ZHDVN³ZK\´UHJDUGOHVVRIWKHFRUUHFWQHVVRIDFODLPDQGQRWMXVWIRUIDOVHSURSRVLWLRQV$VZH KLJKOLJKWWKDWWKH\DOZD\VVKRXOGEHLQWHUHVWHGLQZK\DQLGHDLVWUXHVWXGHQWVEHJLQWRGHYHORS WKHKDELWRIDVNLQJ³ZK\"´WKHPVHOYHV �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF $JRRGWLPHWRDVNDVWXGHQWWRZULWHRXWDSURRILVZKHQ\RXWKLQNWKDWVKHKDVDOUHDG\ JUDVSHGWKHFRQQHFWLRQVZLWKLQDSUREOHPWKDWDUHHVVHQWLDOWRWKHGHYHORSPHQWRIDPRUHIRUPDO DUJXPHQW7KLVWLPLQJZLOOQRWRQO\OHDGWRDQDSSUHFLDWLRQIRUKRZSURRIVFDQDULVHRUJDQLFDOO\ GXULQJUHVHDUFKLWZLOODOVROHDGWRVRPHFRQILGHQFHUHJDUGLQJWKHFUHDWLRQRISURRIV ,WLVQRWQHFHVVDU\IRUVWXGHQWVWRSURYHDOORIWKHLUFODLPVMXVWIRUWKHVDNHRIWKRURXJKQHVV 3XEOLVKHGDUWLFOHVRIWHQSURYHWKHKDUGSDUWVDQGOHDYHWKHHDVLHUVWHSV³IRUWKHUHDGHU´,Q FRQWUDVWDVWXGHQWVKRXOGEHJLQE\WU\LQJWRSURYHKHUVLPSOHUDVVHUWLRQVDOWKRXJKLWPD\EH GLIILFXOWWRILJXUHRXWKRZKDUGDSUREOHPZLOOEHLQDGYDQFH:KHQVWXGHQWVKDYHFRQMHFWXUHV ODEHOWKHPZLWKWKHVWXGHQWV¶QDPHVDQGSRVWWKHPLQWKHFODVVDVDOLVWRIRSHQSUREOHPV7KHQ DVVWXGHQWVJURZLQWKHULJRUDQGFRPSOH[LW\RIWKHLUSURRIVWKH\FDQUHWXUQWRTXHVWLRQVWKDW KDYHEHFRPHDFFHVVLEOH :KHQDVWXGHQWGRHVFUHDWHDSURRIKDYHKHUGHVFULEHLWWRDSHHUJLYHDQRUDOSUHVHQWDWLRQWR WKHFODVVRUZULWHXSKHUWKLQNLQJDQGKDQGLWRXWIRUSHHUUHYLHZ7KHVWXGHQWVVKRXOGFRPHWR VHHWKHPVHOYHVDVHDFKRWKHU VHGLWRULDOERDUGDVDJURXSRIFROODERUDWLQJPDWKHPDWLFLDQV7KH\ VKRXOGQRWEHVDWLVILHGLIWKHLUFODVVPDWHVGRQRWXQGHUVWDQGWKHLUDUJXPHQW,WLVDORQJVWUXJJOH JHWWLQJWRWKHSRLQWZKHUHZHFDQZULWHLQWHOOLJLEOH\HWHIILFLHQWPDWKHPDWLFV2QHRIP\VWXGHQWV RQFHSUHVHQWHGSURRIVRIDWKHRUHPIRXUWLPHVEHIRUHWKHFODVVJDYHKLPWKH³RIILFLDO4('´ (DFKRIWKHILUVWWKUHHSUHVHQWDWLRQVJHQHUDWHGTXHVWLRQVWKDWKHOSHGKLPWRUHILQHKLVWKLQNLQJ KLVGHILQLWLRQVDQGKLVXVHRIV\PEROV HOW DO WE PROVE? General Approaches /HDUQLQJWRSURYHFRQMHFWXUHVLVDOLIHORQJSURFHVVEXWWKHUHDUHVRPHEDVLFFRQVLGHUDWLRQV DQGPHWKRGVWKDWVWXGHQWVVKRXOGIRFXVRQDVWKH\EHJLQWRGHYHORSULJRURXVDUJXPHQWV7KHILUVW FRQFHUQLVWKDWWKH\EHFOHDUDERXWZKDWWKH\DUHWU\LQJWRSURYH²WKDWWKH\XQDPELJXRXVO\ LGHQWLI\WKHSUHPLVHVDQGWKHFRQFOXVLRQVRIWKHLUFODLPVHH&RQGLWLRQDO6WDWHPHQWVLQ &RQMHFWXUHV 7KHQH[WJRDOVKRXOGEHWRWU\WRXQGHUVWDQGVRPHRIWKHFRQQHFWLRQVWKDWH[SODLQZK\WKH FRQMHFWXUHPLJKWEHWUXH$VZHVWXG\H[DPSOHVRUPDQLSXODWHV\PEROLFUHSUHVHQWDWLRQVZHJDLQ XQGHUVWDQGLQJWKDWPD\OHDGWRDSURRI%HFDXVHXQGHUVWDQGLQJDQGSURRIRIWHQHYROYHWRJHWKHU LIDVWXGHQWZDQWVWRSURYHDFRQMHFWXUHWKDWDFODVVPDWHRUWHDFKHUKDVSUHVHQWHGVKHVKRXOG �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW 3DJH 3URRIGRF FRQVLGHUXQGHUWDNLQJDQLQYHVWLJDWLRQWKDWZLOOKHOSKHUUHFUHDWHWKHGLVFRYHU\RIWKHUHVXOW7KLV SURFHVVPD\SURYLGHLQVLJKWLQWRKRZDSURRIPLJKWEHSURGXFHG6HH6FKRHQIHOGIRU PRUHGLVFXVVLRQRISUREOHPVROYLQJDQGSURRI 2IWHQDSURRILQYROYHVDODUJHQXPEHURIVWHSVWKDWLQRXUWKLQNLQJDERXWWKHSUREOHPZH RUJDQL]HLQWRDVPDOOHUQXPEHURIVHTXHQFHVRIUHODWHGVWHSVVLPLODUWRZKHQFRPSXWHU SURJUDPPHUVWXUQDQXPEHURIFRPPDQGVLQWRDVLQJOHSURFHGXUH7KLV³FKXQNLQJ´RIPDQ\ VWHSVLQWRRQHOLQHRIUHDVRQLQJPDNHVLWSRVVLEOHWRJUDVSWKHORJLFRIDFRPSOLFDWHGSURRI,W DOVRKHOSVXVWRFUHDWHDQRXWOLQHRIDSRWHQWLDOSURRIEHIRUHZHKDYHPDQDJHGWRILOOLQDOORIWKH QHHGHGFRQQHFWLRQVVHH3URRI3HQGLQJD/HPPDEHORZ :KHQZHFUHDWHDSURRIZHVHHNWREXLOGDEULGJHEHWZHHQRXUFRQMHFWXUH¶VSUHPLVHDQGLWV FRQFOXVLRQ7KHLQIRUPDWLRQLQWKHSUHPLVHZLOOKDYHDQXPEHURISRVVLEOHFRQVHTXHQFHVWKDWZH FDQXVH6LPLODUO\ZHWU\WRLGHQWLI\WKHPDQ\FRQGLWLRQVWKDWZRXOGVXIILFHWRSURYHRXU FRQFOXVLRQ)RUH[DPSOHLIZHNQRZWKDWDQXPEHULVSULPHWKHUHDUHQXPHURXVSURSHUWLHVRI SULPHQXPEHUVWKDWZHPLJKWEULQJLQWRSOD\,IZHVHHNWRVKRZWKDWWZRVHJPHQWVDUH FRQJUXHQWZHPLJKWILUVWVKRZWKDWWKH\DUHFRUUHVSRQGLQJVLGHVRIFRQJUXHQWILJXUHVWKDWWKH\ DUHERWKFRQJUXHQWWRVRPHWKLUGVHJPHQWRUWKDWLWLVLPSRVVLEOHIRURQHWREHHLWKHUVKRUWHURU ORQJHUWKDQWKHRWKHU2QFHZHKDYHFRQVLGHUHGWKHSRVVLELOLWLHVWKDWVWHPIURPRXUSUHPLVHVDQG OHDGWRRXUFRQFOXVLRQVZHKDYHVKRUWHQHGWKHOHQJWKRIRXUSURRIIURP³LI premise, WKHQ conclusion´WR³LI consequence-of-premise, WKHQ conditions-leading-to-conclusion´ILJXUH$ PDLQWDVNFRPHVLQWU\LQJWRGHWHUPLQHLIDQ\RIWKHVHQHZVWDWHPHQWVRQHIRUHDFKFRPELQDWLRQ RIFRQVHTXHQFHDQGFRQGLWLRQLVOLNHO\WREHHDVLHUWRSURYHWKDQWKHRULJLQDO 3UHPLVHV &RQFOXVLRQV Figure 2. Searching for a path to a proof �(GXFDWLRQ'HYHORSPHQW&HQWHU,QF 0DNLQJ0DWKHPDWLFV$XJXVW
The list of books you might like
