10 1 Introduction
1.3. Prove the following:
(a) (") = L%)-
(b) C) = (";
1) + (":!)•
(c)(
?+
J")+
;"nP= 2
"'
(d) (m)(7) = (r)(m-r)-
(e)(s) + rr)+---+rr)-r;+1
)-
Web material
http://acept.la.asu.edu/courses/phsllO/si/chapterl/main.html
http://cas.umkc.edu/math/MathUGcourses/Mathl05.htm
http://cresst96.cse.ucla.edu/Reports/TECH429.pdf
http://descmath.com/desc/language.html
http://economictimes.indiatimes.com/articleshow/1024184.cms
http://en.wikipedia.org/wiki/Mathematical_proof
http://en.wikipedia.org/wiki/Mathematics_as_a_language
http: //ids. oise .utoronto. ca/~ghanna/educationabstracts .html
http:I Itcis.oise.utoronto.ca/~ghanna/philosophyabstracts.html
http://germain.umemat.maine.edu/faculty/wohlgemuth/DMAltIntro.pdf
http://interactive-mathvision.com/PaisPortfolio/CKMPerspective/
Constructivism(1998).html
http://mathforum.org/dr.math/faq/faq.proof.html
http://mathforum.org/library/view/5758.html
http://mathforum.org/mathed/mtbib/proof.methods.html
http://mtcs.truman.edu/"thammond/history/Language.html
http://mzone.mweb.co.za/residents/profmd/proof.pdf
http://online.redwoods.cc.ca.us/instruct/mbutler/BUTLER/
mathlanguage.pdf
http://pass.maths.org.uk/issue7/features/proofl/index.html
http://pass.maths.org.uk/issue8/features/proof2/index.html
http://plus.maths.org/issue9/features/proof3/index.html
http://plus.maths.org/issuelO/features/proof4/
http://research.microsoft.com/users/lamport/pubs/
lamport-how-to-write.pdf
http://serendip.brynmawr.edu/blog/node/59
http://teacher.nsr1.rochester.edu/phy_labs/AppendixE/
AppendixE.html
http://weblog.fortnow.com/2005/07/understanding-proofs.html
http://www-didactique.imag.fr/preuve/ICME9TG12
http://www-didactique.imag.fr/preuve/indexUK.html
http://www-leibniz.imag.fr/DIDACTIQUE/preuve/ICME9TG12
http://www-logic.Stanford.edu/proofsurvey.html
http://www-personal.umich.edu/~tappen/Proofstyle.pdf
http://www.4to40.com/activities/mathemagic/index.asp?
article=activities_mathemagic_mathematicalssigns
http://www.ams.org/bull/pre-1996-data/199430-2/thurston.pdf