John Farey, Sr. (1766 – 6 January 1826) was an English surveyor, geologist and technical writer who is remembered today chiefly because his name became attached to a simple but useful construction in number theory called the Farey sequence. He worked in practical fields—surveying, mining and geological observation—and contributed articles and letters to scientific and technical periodicals of his time.
Life and career
Farey spent his career in England carrying out surveys and making geological observations relevant to agriculture, mining and road works. He wrote for contemporary journals and compiled notes that reflected both practical experience and an enquiring interest in mathematical patterns. Biographical details are sparse in popular accounts, but his surviving correspondence and published notes show him as a practitioner who communicated with the scientific community of the early 19th century.
Farey sequence and mathematical note
The term "Farey sequence" refers to the ordered list of all reduced rational fractions between 0 and 1 whose denominators do not exceed a given integer, arranged in increasing size. Adjacent terms a/b and c/d in such a sequence have the simple property that bc − ad = 1. In 1816 Farey drew attention to this property in a short published note; his remark prompted others to examine and popularize the construction, and the name "Farey sequence" became attached to it. Historical study shows related observations existed earlier, but Farey's brief communication helped bring the property to wider notice.
Other contributions and significance
- Technical and geological writings: he reported on local geology, mining conditions and surveying practice.
- Practical influence: his observations informed work on roads, land use and extraction where he surveyed or advised.
- Stimulation of further work: his mathematical remark motivated later formal investigations connecting Farey sequences to continued fractions, the Stern–Brocot tree and Ford circles.
Although Farey was not primarily a professional mathematician, the sequence that bears his name plays a role in elementary number theory and in understanding rational approximations. It provides a simple way to list rationals with bounded denominators and appears in topics ranging from Diophantine approximation to the study of modular forms.
Legacy. Farey's published note and his wider body of technical writing illustrate the mixed role of practitioner–scholars in the early 19th century, people who combined hands‑on work with mathematical curiosity. He also left a familial legacy: his son, also named John Farey, became known for work in engineering and technical literature. For further reading see sources and commentary.