
【計】 Farey series
dharma; divisor; follow; law; standard
【醫】 method
【經】 law
mine; thunder
【電】 thunder
progression; series
【經】 progression
法雷級數(Farey sequence)是數論中研究有理數排列規律的核心概念之一,其英文術語"Farey sequence"源自英國地質學家約翰·法雷(John Farey Sr.)的姓氏。該數列定義為:對于任意正整數n,第n階法雷級數包含所有介于0到1之間且分母不超過n的最簡分數,并按升序排列。
數學定義與性質
第n階法雷級數Fₙ可表示為: $$ F_n = left{ frac{a}{b} mid 0 leq a leq b leq n, gcd(a,b)=1 right} $$ 例如F₃包含{0/1, 1/3, 1/2, 2/3, 1/1}。其重要特性包括相鄰分數$frac{a}{b}$與$frac{c}{d}$滿足$bc - ad = 1$,這一性質在丢番圖逼近理論中有重要應用。
曆史淵源
雖然法雷在1816年首次描述該數列的排列規律,但法國數學家柯西(Augustin-Louis Cauchy)于1817年給出了完整的數學證明。現代研究顯示,該數列與連分數展開、模形式等領域存在深刻聯繫(參考:《數論導引》,Hardy & Wright著)。
應用場景
注:本文核心定義參考劍橋大學數學百科全書(Cambridge Encyclopedia of Mathematics),性質推導部分源自美國數學學會(AMS)出版的《數論基礎》。
法雷級數(Farey sequence)是數學中按遞增順序排列的既約真分數序列,具有以下核心特點:
基本定義
法雷級數第n階(記作Fₙ)由所有分母不超過n、且值在0到1之間的既約分數(分子分母互質)組成,按升序排列。例如:
構造方法
每一階Fₙ通過遞歸生成:在Fₙ₋₁基礎上,添加分母為n且分子與n互質的分數,并保持整體有序性。
相鄰項關系
若a/b和c/d是法雷級數中相鄰兩項,則滿足:
$$
|ad - bc| = 1
$$
這一性質保證了相鄰分數間無更簡分數存在。
中間分數生成
若a/b、c/d、e/f是相鄰三項,則:
$$
frac{a+e}{b+f} = frac{c}{d}
$$
特别地,若c/d是新添加的項,則直接有a+e=c且b+f=d。
法雷級數的項數F(n)可通過歐拉函數φ(n)遞推計算: $$ F(n) = F(n-1) + φ(n) $$ 其中φ(n)表示1到n中與n互質的數的個數。例如,F(3)=F(2)+φ(3)=3+2=5。
法雷級數在數論中用于研究分數分布、連分數展開等問題,其性質還被應用于算法設計(如分數逼近)和密碼學領域。
如需更完整的示例或數學證明,可參考搜狗百科或博客園相關分析。
磅莫耳變甲醛不可逆絕熱線程式設計經驗等效活塞計算法放射性同位素掃描個體經濟光标鍵規劃階段國家大事酣醉激焦┢酸澆鑄操作捷克拉斯基法靜态儲存金屬鏡綠膿杆菌脂酸美菌素模塊化計算機年薪派若甯平動擴散強度函數鉛屏輕度強直的傾銷幅度審美的食蜂鳥體積性質