These sequences can be used to prove Hurwitz’s (“HUR-vitz’s”) theorem concerning rational approximation. For 10 points each:
[10h] Name these sequences that can also be used to show that Ford circles are tangent to each other. The nth one of these sequences is the set of all reduced fractions with denominators less than or equal to n.
ANSWER: Farey sequences [accept Farey series]
[10m] The length of the nth Farey sequence equals this function of n plus the length of the previous sequence. This function of n equals n times the product over p of the expression: “one minus one over p,” where p is a prime factor of n.
ANSWER: Euler’s (“OY-lurz”) totient (“TOH-shint”) function [or Euler’s phi function]
[10e] The totient function is used to generalize this French mathematician’s “little theorem,” which is useful when performing modular arithmetic.
ANSWER: Pierre de Fermat (“FER-mah”) [accept Fermat’s little theorem]
<Other Science>