Inventor's Paradox

The more ambitious plan may have more chances of success
G. Polya, How To Solve It
Princeton University Press, 1973

Polya continues: ... provided it is not based on a mere pretension but on some vision of the things beyond those immediately present.

Mathematical discovery is seldom a single step process. Often it's indeed the case where answering a more general question is easier than finding an answer to a specific one. Later, on this page, we'll see a collection of examples that I'll be updating from time to time. I would appreciate your mailing me additional examples.

Oftentimes, however, solving a specific problem first may suggest, in a hindsight, a formulation of and a solution to, a more general one. I'll call such a situation

Inventor's Paradise

Both circumstances underscore investigative part of doing Mathematics or actually of any kind of problem solving:

• before solving a problem, look around for other formulations, dig your memory for similar known facts
• after a problem has been solved, make this experience an edifying one. Try to stash away as much information as possible. If, in the process, you run into a problem you can't solve right away, go for it - you won't regret it.

I'll call the latter situation

Inventor's Paradigm

Always look for new problems; especially after successfully solving one - you may get much more than you expected to start with.

Pairs of statements in which one is a clear generalization of another whereas in fact the two are equivalent.

1. The Intermediate Value Theorem - The Location Principle (Bolzano Theorem)
2. Rolle's Theorem - The Mean Value Theorem
3. Existence of a tangent parallel to a chord - existence of a tangent parallel to the x-axis.
4. 
5. Binomial theorem for (1 + x)ⁿ and (x + y)ⁿ
6. The Maclaurin and Taylor series.
7. Two properties of Greatest Common Divisor
8. Pythagoras' Theorem and the Cosine Rule
9. Pythagoras' Theorem and its particular case of an isosceles right triangle
10. Pythagoras' Theorem and Larry Hoehn's generalization
11. Combining pieces of 2 and N squares into a single square
12. Measurement of inscribed and (more generally) secant angles
13. Probability of the union of disjoint events and any pair of events
14. Butterfly theorem in orthodiagonal and arbitrary quadrilaterals
15. Pascal's theorem in ellipse and in circle
16. A triangle is embeddable into a rectangle twice its area and so is any convex polygon
17. Brahmagupta's Theorem and Heron's Theorem

There are cases where a more general statement highlights the features of the original problem not otherwise obvious and by doing so spells a solution that works in both cases.

Pairs of statements in which one is a clear generalization of another and the more general statement is not more difficult to prove.

1. Bottema's Theorem and McWorter's generalization
2. Butterfly theorem
3. Butterflies in a Pencil of Conics
4. Carnot's theorem and Wallace's theorem.
5. Concyclic Circumcenters: A Dynamic View.
6. Concyclic Circumcenters: A Sequel.
7. Find a plane through a point outside of an octahedron such that the plane bisects the volume of the octahedron - same statement but replace octahedron with a solid with a center of symmetry
8. A Fine Feature of the Stern-Brocot tree
9. Four Construction Problems
10. Lucas' Theorem and its variant
11. Matrix Groups
12. Napoleon's Theorem and one theorem about similar triangles
13. Four Pegs That Form a Square
14. On the Difference of Areas
15. One Trigonometric Formula and Its Consequences
16. Pythagorean Theorem and the Parallelogram Law
17. Pythagorean Theorem - General Pythagorean Theorem
18. Asymmetric Propeller and Several of Its Generalizations
19. A construction problem that combines several apparently unrelated ones
20. Two-Parameter Solutions to Three Almost Fermat Equations
21. Three circles with centers on their pairwise radical axes
22. Square Roots and Triangle Inequality
23. Miguel Ochoa's van Schooten is a Slanted Viviani
24. Scalar Product Optimization
25. Barycenter of cevian trangle generalizes Marian Dinca's criterion.

Pairs of statements in which a more general is directly implied by a more specific one.

1. 2D isoperimetric theorem - a similar theorem with a fixed line segment
2. Construct a line tangent to two circles - find a tangent from a point to a circle
3. Arithmetic mean of N numbers is never less than their geometric mean. N arbitrary and N=2ⁿ
4. The equation x^xx3 = 3 is no more difficult than x³ = 3
5. Every convex polygon of area 1 is contained in a rectangle of area 2 because this is true for a triangle
6. x₁x₂ + x₂x₃ + ... + x_n-1x_n ≤ 1/4, for x₁ + x₂ + ... + x_n = 1, privided it is true for n = 2.
7. Vietnamese Extension of a Japanese Theorem. Property of Two Pencils of Parallel Lines

Problems that allow a meaningful generalization.

1. In a plane, given 3n points. Is it possible to draw n triangles with vertices at these points so that no two of them have points in common?
2. Lines in a triangle intersecting at a common point. Ceva's theorem.
3. 5109094x171709440000 = 21!, find x.
4. • A number is written with 81 ones. Prove it's a multiple of 81.
   • Prove that the number 1010101...0101, 81 ones and 80 alternating zeros, is a multiple of 81.
5. Given a 1x1 square. Is it possible to put into it not intersecting circles so that the sum of their radii will be 1996?
6. Criteria of divisibility by 9 and 11.
7. The game of Fifteen and Puzzles on Graphs
8. Weierstrass Product Inequality
9. Fermat's Little Theorem and Euler's Theorem

Problems that allow more than one generalization.

1. Pythagorean Theorem
2. Napoleon's Theorem
3. Fermat Point and Generalizations
4. A problem in extension fields
5. Butterfly theorem
6. A System of Equations Begging for Generalization

Thus we see that generalization is quite useful and often enjoyable. It's a great vehicle for discovering new facts. However, if unchecked, generalization may lead to erroneous results. I'd call such situations

Inventor's Paranoia

Following are a few examples where attempts to generalize lead one astray. (There eventually will be a few.)

1. Formula for prime numbers.
2. Partitioning a circle.

I have allowed myself to swerve from Pólya's maxim: The more ambitious plan may have more chances of success. "The more ambitious" may not necessarily mean "the more general". Following are a few examples where a "more powerful, stronger" statement comes out easier to prove:

1. Inequality 1/2·3/4·5/6· ... ·99/100 < 1/10.
2. A Low Bound for Inequality 1/2·3/4·5/6· ... ·(2n - 1)/2n.
3. Inequality (1 + 1^-3)(1 + 2^-3)(1 + 2^-3)...(1 + n^-3) < 3.
4. Inequality 1 + 2^-2 + 3^-2 + 4^-2 + ... + n^-2 < 2.
5. Inequality 1/(n+1) + ... + 1/2n < 25/36.

|Contact| |Front page| |Contents|

Copyright © 1996-2018 Alexander Bogomolny