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 their ...
. 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 language ...
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 effi ...
.
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 thei ...
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
The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 ...
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
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