Fordowskie Okręgi i Szereg Fareya: Okrąg dla Każdego Ułamka

Kula dla każdej ułamka

Załaduj dowolny ułamek p/q w najprostszej postaci między 0 a 1. Narysuj kulę styczną do osi liczbowej w punkcie x = p/q, leżącą nad linią, o promieniu 1/(2q²). Zrób to dla każdego ułamka skróconego i otrzymasz kule Forda wprowadzone przez Sr. Lester Forda w 1938 roku. Ułamki z małymi mianownikami — 0/1, 1/1, 1/2 — mają duże kule; ułamki z dużymi mianownikami mają niemal niezauważalne. Wspaniałym faktem jest to, co się dzieje między każdą dwiema z tych kul: albo one są oddalone, lub dokładnie styczne, a nigdy nie pokrywają się.

radius(p, q) = 1 / (2 * q * q)     // circle for reduced fraction p/q
centre(p, q) = (p/q, 1/(2*q*q))     // tangent to the x-axis at p/q

// two Ford circles for p1/q1 and p2/q2 are tangent  ⇔
|p1*q2 - p2*q1| = 1                 // i.e. the fractions are Farey neighbours

Styczność, nigdy nie przekraczająca — i dowód jest jednym nierównością

Fordowskie okręgi dla ułamków zmniejszonych p₁/q₁ i p₂/q₂ są zewnętrznie styczne dokładnie wtedy, gdy |p₁q₂ − p₂q₁| = 1, a w przeciwnym razie zawsze stricte oddalone — nigdy nie przecinają się, bez względu na to, jak blisko są te ułamki numerycznie. To wynika z prostych obliczeń odległości: odległość między centrami dwóch okręgów porównuje się bezpośrednio z sumą ich promieni, a różnica jest równa idealnie kwadratowi (p₁q₂ − p₂q₁), który wynosi zero dokładnie przy styczności i jest stricte dodatni w przeciwnym razie. Jest to czysty przykład faktu analitycznego (okręgi stykające się) kontrolowanego całkowicie przez warunek teorii liczb (określony wyraz determinanta liczników i mianowników równy 1).

Sekwencja Fareya i medianta

Sekwencja Fareya F(n) zawiera wszystkie ułamki uproszczone między 0 a 1 o mianowniku nie większym niż n, uporządkowane w rosnącej kolejności. F(1) = {0/1, 1/1}, F(2) dodaje 1/2, F(3) dodaje 1/3 i 2/3, a dalej tak dalej. Dwa kolejne ułamki p₁/q₁ są sąsiadami w sekwencji Fareya, co odpowiada styczności okręgów Forda, a cała figura okręgów rozpostarte na liniowym wykresie jest bezpośrednim wizualnym przedstawieniem sąsiedztwa Fareya.

Sekwencja tworzy się za pomocą medianta: między każdymi dwoma sąsiadującymi ułamkami Fareya a/b i c/d, ułamek (a+c)/(b+d) — medianta, nie średnia arytmetyczna — jest jedynym ułamkiem o najmniejszym możliwym mianowniku, który mieści się dokładnie między nimi. Wstawiając go na każdym kroku, F(n) rosnie do F(n+1), gdzie nowy mianownik pozostaje ≤ n+1. Geometycznie, okrąg Forda medianta jest największym okręgiem, który mieści się w wykrojonym trójkątnym przekroju między dwoma sąsiednimi okrągami i linią liczbową, styczny do wszystkich trzech.

Drzewo Stern-Brocota ukryte pod powierzchownością

Powtarzane wstawianie mediantów bez ograniczenia mianowników generuje dokładnie każdą dodatnią ułamka zwykłego, uporządkowane w drzewie Stern-Brocota — zaczynając od 0/1 i 1/0 (stosując się do 0 i nieskończoności) oraz nieustannym wstawianiem mediantów tworzy binarne drzewo, w którym każdy ułamek pojawia się w najprostszej postaci automatycznie, bez potrzeby redukcji. Ciąg Fareya F(n) to prosto to samo drzewo czytane poziom po poziomie, ograniczone do mianowników ≤ n. To łączy kręgi Forda z ułamkami uprostczonymi: ścieżka od korzenia do dowolnego ułamka p/q w drzewie Stern-Brocota, czytana jako ciąg ruchów w lewo/prawo, bezpośrednio koduje rozwinięcie ułamka p/q w postaci ułamkowej.

Dlaczego to ważne poza pięknym obrazem

Fordowskie okrągłyki i szeregi Fareya są geometrycznym fundamentem aproksymacji diofantycznej — badania nad tym, jak dobrze niecałkowite liczby mogą być przybliżone ułamkami. Przestrzenie między Fordowskimi okręgami ograniczają, jak blisko ułamek z danym mianownikiem może się zbliżyć do docelowej liczby rzeczywistej, co dokładnie jest treścią twierdzeń takich jak twierdzenie Hurwitza dotyczące aproksymacji wymiernych. Te same narzędzia podstawiają za tajemnicę połączenia Stern-Brocota / algorytmu Euklidesa używanego w niektórych obliczeniowych badaniach teorii liczb, a bardziej fantazjersko — w projektowaniu systemów harmoniczacji muzycznej i aproksymacji proporcji zębów, gdzie chcesz najprostszej ułamka bliskiego niecałkowitej proporcji.

Często zadawane pytania