how to solve it alain fournier (stolen from george polya) computer science department university of...
TRANSCRIPT
![Page 1: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/1.jpg)
HOW TO SOLVE IT
Alain Fournier
(stolen from George Polya)
Computer Science Department
University of British Columbia
![Page 2: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/2.jpg)
Relevant Books by Polya
Induction and Analogy in Mathematics Patterns of Plausible Inference This one
How to Solve it
A New aspect of Mathematical Method
Princeton University Press
1957 (Second Edition)
![Page 3: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/3.jpg)
The Goals
Help the students Help the teachers Develop problem solving skills in general Practice, practice
![Page 4: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/4.jpg)
How to Solve It (the 4 steps)
Understanding the problem Devising a plan Carrying out the plan Looking back
![Page 5: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/5.jpg)
Understanding the problem
What is the unknown? What are the data? What are the conditions? Are the conditions sufficient to determine the
unknown, unsufficient, redundant, contradictory? Draw a figure Devise suitable notation Separate the various parts of the conditions Write down the conditions
![Page 6: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/6.jpg)
Devising a Plan I
Have you seen that before? Is the problem already solved? Do you know a related problem? Look at the unknown
– is there another problem with the same unknown?
Is there a related problem solved?– can you use its result?
– can you use its method?
– can you establish a new link?
Can you restate the problem? Can you re-restate it?
![Page 7: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/7.jpg)
Devising a Plan II
Find an easier related problem More general More restricted Solve part of the problem Simplify the conditions Change the data (do you need more, less?) Change the unknown Any notion missing in the statement? Change the problem
![Page 8: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/8.jpg)
Carrying out the Plan
Go step by step Check each step
– are you sure it is correct?
– can you convince others it is correct?
– can you prove it is correct?
![Page 9: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/9.jpg)
Looking Back
Can you check the result? Is the result unique? Can you check the arguments Can you derive the result differently Can you use the result, or the method, for some
other problem (or the original one if you changed it)?
![Page 10: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/10.jpg)
An Example
Inscribe a square in a given triangle. Two vertices of the square should be on the base of the triangle, the two other vertices of the square on the two other sides of the triangle, one on each.
Unknown: a square Data: a triangle Conditions: positions of 4 corners of square
![Page 11: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/11.jpg)
An Example (ctd)
Draw a figure
![Page 12: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/12.jpg)
An Example (ctd)
Relax the conditions
We get more than one solution
![Page 13: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/13.jpg)
An Example (ctd)
How can the solution vary?
![Page 14: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/14.jpg)
An Example (ctd)
Is it correct? Is it unique?
Can we use the method for something else?
![Page 15: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/15.jpg)
Some strategies
Start at the beginning Visualize Take it apart Look for angles Don’t dismiss foolish ideas right away Restart often Sweat the details Do not assume Try to solve again
![Page 16: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/16.jpg)
Key Principles (among many others)
Analogy Auxiliary problem Conditions (redundant, contradictory) Figures Induction Inventor’s paradox (a more ambitious problem might be
easier to solve) Notation Reductio at absurdum
– write numbers using each of the ten digits exactly once so that the sum of the numbers is exactly 100
Working backwards
![Page 17: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/17.jpg)
Working Backwards
Get from the river exactly 6 quarts of water when you have only a four quart pail and a nine quart pail to measure with.
![Page 18: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/18.jpg)
Physical Problems
Data from experience Looking back to experience Tides Sap rising (Occam’s razor) Spinning book
![Page 19: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/19.jpg)
Computer Science Problems
Some mathematical Some physical Some neither: solution is a creation, mathematical
engineering (actually often problem itself is a creation)
![Page 20: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/20.jpg)
Problems Found in Past Year
Area of spherical triangles (-> simpler problem)
Models of animal patterns
(growth and distance measure, analogy)
Efficient storage of wavelet coefficients (engineering, similarity)
![Page 21: HOW TO SOLVE IT Alain Fournier (stolen from George Polya) Computer Science Department University of British Columbia](https://reader036.vdocument.in/reader036/viewer/2022081506/56649cb15503460f9497696c/html5/thumbnails/21.jpg)
Conclusion
go solve your own problems