Polya’s Orchard Visibility Problem and Related Questions in Geometry and Number Theory

1. Polya’s Orchard Visibility Problem and Related Questions in Geometry and Number Theory David Sklar San Francisco State University dsklar@sfsu.edu Bruce Cohen Lowell High School, SFUSD bic@cgl.ucsf.edu http://www.cgl.ucsf.edu/home/bic Asilomar - December 2008 Ver. 5.00

2. Worksheet Statement of the problem and an exploration of the case Plan Some new results Allen 1986 Hening & Kelly 2005 Kruskal 2008 A result on seeing out Proof using elementary geometry Which trees are needed to insure privacy Geometry and number theory A result on not seeing out Proof using Minkowski’s Theorem and elementary geometry The fraction of trees needed as R gets large Probability and Analytic number theory Blichfeldt’s Lemma and a proof of Minkowski’s Theorem Bibliography

3. Worksheet

4. ANSWER: ANSWER: ANSWER: Their centers are closest to the line from the origin to ANSWER: ANSWER: Those whose center coordinates are not relatively prime. Worksheet

5. ANSWER: ?

6. Let R be a given positive integer. Let every lattice point (p, q) that satisfies the inequality be the center of a circle of radius r. If r is sufficiently small, there exist rays running from the origin to infinity that don’t intersect any of the circles (the forest is transparent); such rays no longer exist if r is sufficiently large. Let be the value of r which divides the two cases (the limit of transparency). Then we have Polya’s Orchard Visibility Problem “How thick must the trunks of the trees in a regularly spaced circular forest grow if they are to block completely the view from the center?” Polya’s Formulation of the Problem (Polya 1918)

7. Polya’s Orchard Visibility Problem:

8. (R,1) 1 1 r 1 R Polya’s Lower Bound for r

9. r R r Polya’s Upper Bound for r We want to show that if the tree radius r exceeds 1/R then every ray from the origin is blocked by a tree inside the orchard. Our strategy is to chose an arbitrary diameter AB of the orchard and show that if the tree radius r exceeds 1/R then there exists a pair of lattice points in the orchard such that trees (circles) centered at them intersect AB. The existence of the pair of lattice points follows from a beautiful theorem of Minkowski.

10. Any plane convex region symmetric about the origin , with area greater than 4, contains lattice points other than the origin. Recall: A set is convex if the line segment joining any two points of the set lies entirely inside the set. Lemma Any plane region with area greater than n units, n a positive integer, can be translated so that it covers at least n+1 lattice points. Minkowski’s Theorem According to Ross Honsberger (Mathematical Gems I, p42) this theorem is “intuitively obvious, but not logically evident”. Honsberger presents an elegant proof of Minkowski’s theorem based on a Lemma due to Blichfeldt (1914).

11. Minkowski’s Theorem -- Examples

12. Minkowski’s Theorem -- Example

13. Minkowski’s Theorem -- Example

14. r R r Let AB be an arbitrary diameter of the circular orchard of radius R and Consider the rectangle CDEF with CF tangent to the orchard boundary at A, DE tangent at B, with AC, DB, BE, and FA all of length (1/R) + (e/2). CDEF is a plane convex region symmetric about the origin.

15. R r ( ) r Our proof will be complete if we can show that the points that exist in the rectangle by Minkowski’s theorem actually lie in the orchard and not in the small piece of the rectangle that lies outside of the orchard. The fact that R is an integer plays a key role here.

16. A Proof of Minkowski’s Theorem

17. where l is the first integer greater than that can be written as the sum of squares of coprime integers. (Note that in the integer case . Also note that l is the square of the distance to the first point with coprime coordinates lying outside the orchard.) Recent Results – Allen 1986 In a February 1986 American Mathematical Monthly article Thomas Tracey Allen (of the Department of Entomology at UC Berkeley) strengthened Polya’s result from to In the same article he generalized the problem, allowing the orchard radius R be a positive real number, rather than restricting it’s values to positive integers, and showed that

18. Example: So 13 is the first integer greater than the can be written as the sum of squares of coprime integers. Recent Results – Allen 1986 No No

19. Number Theory Allen’s generalization leads naturally to the question: Which positive integers can be written as the sum of squares of coprime integers? Which, following a dictum of Polya, leads to the easier question: Which positive integers can be written as the sum of squares of at most two integers? Which leads to three, four, five, …? All of which lead to beautiful theorems of classical number theory. Theorem A number can be written as a sum of coprime squares if and only if it is not divisible by any prime congruent to 3 mod 4 and is not divisible by any power of 2 greater than 2 itself. (Fermat circa 1640) 1, 2, 5, 10, 13, 17, 26, 29, 34, 37, 41, 50, 53, 58, 61, 65, 73, 74, 82, …

20. More Recent Results – Hening & Kelly 2005 They include a proof the theorem that a positive integer can be written as a sum of coprime squares if and only if it is not divisible by any prime congruent to 3 mod 4 and is not divisible by any power of 2 greater than 2 itself.

21. Recent Results – Kruskal 2008 Gives an alternate proof of Allen’s results based on a Stern-Brocot wreath, and generalizes the results to parallelogram lattices.

22. Fewer Trees -- Same Visibility At what fraction of the lattice points do we need trees to block the view out of the orchard from the origin? We know that we only need trees at lattice points with coprime coordinates. What fraction of the lattice points in the orchard have coprime coordinates? As R gets large? Counting lattice points with coprime coordinates is easier with square orchards

24. This number is usually denoted and called the Euler phi function of n The number of points in quadrant I with coprime coordinates is about Counting Points with Coprime Coordinates The number of points in the nth column with coprime coordinates is also the numberof positive integers less than or equal to n and relatively prime to n. Which by a moderately well known theorem in analytic number theory (Hardy and Wright, 4th ed, p268) is

25. The probability that two randomly chosen integers are relatively prime is The Fraction of Points with Coprime Coordinates “This result may be stated more picturesquely in the language of probability.” (Hardy and Wright, p268)

26. Bibliography

27. Bibliography