数学专业英语-Polya’s Craft of Discovery
+ o+ T8 F6 E* d L; l; o1 ~
2 G* D4 j' n8 P$ \ e& F$ b George Polya has a scientific career extending more than seven decades. Abrilliant mathematician who has made fundamental contributions in many fields. Polya has also been a brilliant teacher, a teacher’s teacher and an expositor. Polya believes that there is a craft of discovery. He believes that the ability to discover and the ability to invent can be enchanced by skillful teaching which alerts the student to the principles of discovery and which gives him an opportunity to practise these principles.
7 D% ? q1 K& l! w5 E, QIn a series of remarkable books of great richness, the first of which was published in 1945. Polya has crystallized these principles of discovery and invention out of his vast experience, and has shared them with us both in precept and in example.These books are a treasure-trove of strategy, know-how, rules of thumb, good advice, anecdote, mathematical history, together with problem after problem at all levels and all of unusual mathematical interest. Polya places a global plan for “How to Solve It” in the endpapers of his book of that name: 4 \1 }7 p7 n$ R% L5 J; e c! n% F' l
HOW TO SOLVE IT D4 L, o T1 X1 L. V U8 `
First: You have to understand the problem. 1 a9 N2 L3 i/ h0 P) F: ]
Second: Find the connection between the data and the unknown. You may be obliged to consider auxiliary problems if an immediate connection cannot be found. You should obtain eventually a plan of the solution. ; L: j+ C _7 O% E* Q
Third: Carry out your plan.
, P! D/ u/ |' u( ^" YFourth: Examine the solution obtained.
7 y* K2 C) H( B( F* M. FThese precepts are then broken down to “molecular” level on the opposite endpaper. There, individual strategies are suggested which might be called into play at appropriate momentsm, such as:
- ? K8 m5 S+ OIf you cannot solve the proposed problem, look around for an appropriate related problem. * N ]6 o! B. R
Work backwards
# t. R& B3 C( A# l& e% V+ E$ rWork forwards
2 r" @. D) u# D4 e O- d, Y2 RNarrow the condition * ]9 {/ B$ i7 h6 J
Widen the condition h# l5 {) g- w3 R: \
Seek a counter example / I# T) I# p5 Y9 ], T0 e+ t
Guess and test 7 s. o( N3 S& H8 W' O6 J+ H0 B& p
Divide and conquer , G% \ L$ `/ i* B+ I& h
Change the conceptual mode 4 ?9 X* h1 d% Z1 |+ y1 F2 }- T
Each of these heuristic principles is amplified by numerous appropriate examples.
( z& I2 v3 F2 nSubsequent investigators have carried Polya’s ideas forward in a number of ways. A.H.Schoenfeld has made an interesting tabulation of the most frequently used heuristic principles in college-level mathematics. We have appended it here. ; f% f5 r B/ l; p, t
# h |, Y- c% d
v$ ]1 F+ L5 v3 T7 A
6 S' G3 O+ e# Q1 d 0 q% k2 e( m# F5 q; {+ ~: T+ [
Frequently Used Heuristics
7 B* n% u/ E+ P, t2 x: j1 s6 y) E# a6 ]: A
v5 [$ a1 Z- j9 k" O4 E/ T
Analysis 3 |" s; m; s A5 W7 ~9 K* p4 A
) D- x4 z3 o8 V5 a m& k8 [
* O; d% `8 p4 @/ d& [2 V3 V 1) Draw a diagram if at all possible
# }2 K. C' b, C( T2) Examine special cases: % A# e% m" ]5 B8 @" B9 X5 {2 q1 K
a) Choose special values to exemplify the problem and get a “feel” for it.
5 G! U3 x J$ h# P* S0 Y' s1 \b) Examine limiting cases to explore the range of possibilities
! H* W/ k! a; Z# J; pc) Set any integer parameters equal to 1,2,3,…,in sequence, and look for an inductive pattern.
% S$ y, L+ k9 ~4 e3 U3) Try to simplify the problem by
1 j& J; q6 Z3 W+ w5 U5 Ya) exploiting symmetry, or % F0 q$ u2 Z. O8 b+ s2 g, p
b) “Without Loss of Generality” arguments (including scaling) 7 f# A/ h# ~. X* x4 n% o
2 u2 z' }, [0 {. m- ^. q
. }: I6 A2 q' V% Y
; @; G6 F/ Y. w2 C2 |* |/ n: s3 h
Exploration
- g4 F; k' U! H) {/ ~' @/ r2 S+ A0 d- Q
( k! O. C( T3 E7 s4 Y
1) Consider essentially equivalent problems:
3 ^$ h7 G q: [/ J8 M- Ca) Replacing conditions by equivalent ones.
4 I7 o3 Q9 V- `; e% }6 xb) Re-combining the elements of the problem in different ways. 6 A/ x6 W* g3 B
c) Introduce auxiliary elements. - z F U1 |# J4 D* \! U
d) Re-formulate the problem by
" _, n1 L+ \5 [ xI) change of perspective or notation
' C {5 T- [/ w X( _& qII) considering argument by contradiction or contrapositive ( Q9 y' k. [5 |+ [; ^
III) assuming you have a solution , and determining its properties # R! [1 {# ?: P# x/ D8 f5 {. w! X
2) Consider slightly modified problems:
1 A9 A1 ]! T# w$ e2 j$ J. ~8 I8 F3 ]0 Ia) Choose subgoals (obtain partial fulfillment of the conditions) : u8 x _/ n& C4 B+ h0 Y! j+ c
b) Relax a condition and then try to re-impose it . % s7 _; p% P$ O: ^
c) Decompose the domain of the problem and work on it case by case .
; O. B6 y i9 C& c3 Z' }" m) j3) Consider broadly modified problems: * t7 s7 D8 {1 o$ }& \. D; S1 t6 b
a) Construct an analogous problem with fewer variables .
) K$ l7 T0 h! @5 nb) Hold all but one variable fixed to determine that variable’s impact .
6 U g1 g8 K' r9 xc) Try to exploit any related problems which have similar & S5 t5 d/ J- E" A- \( U5 J
I) form . B5 N3 A6 Q4 v, z0 f! I) c4 W" `
II) “givens”
& ~, ?% v' t$ i5 g- \ JIII) conclusions ( L3 G4 h ^4 T2 a" [) g8 D
; O# d+ S0 g6 z7 a7 F4 Z) F
1 y) }# C9 O- g$ H% x1 M. p
' h" Z5 f0 g/ D' Q+ S& o
Remember: when dealing with easier related problems , you should try to exploit both the RESULT and the METHOD OF SOLUTION on the given problem . 7 o1 x3 d8 z: G' ~" O
' i2 x8 C$ v0 c- G3 P
1 y( ^0 k" d3 L" x, g- y1 }
" S! d. L" R) [3 S9 k% Z
Verifying your solution
, e+ w5 V8 D( }/ @- w5 |+ I/ K! t# O
J3 b7 E6 k( u! T8 S8 c- D
1) Does your solution pass these specific tests:
2 {+ v( f( Y4 W8 [6 }4 Sa) Does it use all the pertinent data?
$ f4 A4 G6 M/ K# ~b) Does it conform to reasonable estimates or predictions?
3 N# L Y' ]2 n. _+ G7 U& E* tc) Does it withstand tests of symmetry, dimension analysis , or scaling?
& L5 B0 y' ]; ?2) Does it pass these general tests? 9 A6 }% Z7 G4 a9 ?7 [
a) Can it be obtained differently?
0 d' [% X5 w" z* W3 D* Yb) Can it be sudstantiated by special cases? . v* @2 `$ y: p! b9 ?
c) Can it be reduced to known results?
4 a h. Y3 i A- [$ pd) Can it be used to generate something you know? - A; u7 w- d+ |; l2 |) i
6 d% \, A$ E+ T+ }/ M
; ~. \8 l; w% ?" q |