In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, informally speaking, Euclid's orchard is an array of one-dimensional "trees" of unit height planted at the lattice points in one quadrant of a
square lattice
In mathematics, the square lattice is a type of lattice in a two-dimensional Euclidean space. It is the two-dimensional version of the integer lattice, denoted as . It is one of the five types of two-dimensional lattices as classified by thei ...
. More formally, Euclid's orchard is the set of line segments from to , where and are positive
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the languag ...
s.
The trees visible from the origin are those at lattice points , where and are
coprime
In mathematics, two integers and are coprime, relatively prime or mutually prime if the only positive integer that is a divisor of both of them is 1. Consequently, any prime number that divides does not divide , and vice versa. This is equivale ...
, i.e., where the fraction is in
reduced form In statistics, and particularly in econometrics, the reduced form of a system of equations is the result of solving the system for the endogenous variables. This gives the latter as functions of the exogenous variables, if any. In econometrics, the ...
. The name ''Euclid's orchard'' is derived from the
Euclidean algorithm
In mathematics, the Euclidean algorithm,Some widely used textbooks, such as I. N. Herstein's ''Topics in Algebra'' and Serge Lang's ''Algebra'', use the term "Euclidean algorithm" to refer to Euclidean division or Euclid's algorithm, is an e ...
.
If the orchard is
projected
Projected is an American rock supergroup consisting of Sevendust members John Connolly and Vinnie Hornsby, Alter Bridge and Creed drummer Scott Phillips, and former Submersed and current Tremonti guitarist Eric Friedman. The band released the ...
relative to the origin onto the plane (or, equivalently, drawn in
perspective from a viewpoint at the origin) the tops of the trees form a graph of
Thomae's function
Thomae's function is a real-valued function of a real variable that can be defined as:
f(x) =
\begin
\frac &\textx = \tfrac\quad (x \text p \in \mathbb Z \text q \in \mathbb N \text\\
0 &\textx \text
\end
It is named after Carl Jo ...
. The point projects to
:
The solution to the
Basel problem can be used to show that the proportion of points in the grid that have trees on them is approximately
and that the error of this approximation goes to zero in the
limit
Limit or Limits may refer to:
Arts and media
* ''Limit'' (manga), a manga by Keiko Suenobu
* ''Limit'' (film), a South Korean film
* Limit (music), a way to characterize harmony
* "Limit" (song), a 2016 single by Luna Sea
* "Limits", a 2019 ...
as goes to infinity.
See also
*
Opaque forest problem
In discrete geometry, an opaque set is a system of curves or other set in the plane that blocks all lines of sight across a polygon, circle, or other shape. Opaque sets have also been called barriers, beam detectors, opaque covers, or (in cases ...
References
{{reflist
External links
Euclid's Orchard, Grade 9-11 activities and problem sheet Texas Instruments Inc.
Project Euler related problem
Greek_mathematics
Lattice points