Ford 圆

来自GSXAB的知识库
福特圆
术语名称 福特圆
英语名称 Ford circle

福特圆(Ford circle)是欧几里得平面上的一组圆形构成的分形,他们

定义

对任意有理数的最简分数形式 [math]\displaystyle{ \tfrac{p}{q} }[/math] ,在平面上,记数轴上方与数轴相切于 [math]\displaystyle{ \frac{p}{q} }[/math] ,半径是 [math]\displaystyle{ \tfrac{1}{2 q^2} }[/math] ,称为与有理数 [math]\displaystyle{ \tfrac{p}{q} }[/math] 关联的 Ford 圆(Ford circle associated with [math]\displaystyle{ \tfrac{p}{q} }[/math])。

注:可以扩展到复数域内的 Euclid 整环上,称为 Ford 球。

性质

两个福特圆 [math]\displaystyle{ C\left[\tfrac{a}{b}\right] }[/math][math]\displaystyle{ C\left[\frac{c}{d}\right] }[/math] 相切当且仅当 [math]\displaystyle{ \left|ad-bc\right|=1 }[/math] ,否则必有 [math]\displaystyle{ \left|ad-bc\right|\gt 1 }[/math] ,此时两个圆相离。

通过上式可确认此时两个圆有公共的相切 Ford 圆 [math]\displaystyle{ C\left[\tfrac{a+c}{b+d}\right] }[/math] ,对应着两个数的中间分数。因此所有的福特圆之间的相切关系就会得到 Stern-Brocot 树

Ford 球也有类似的公共相切特征,是一组球之间相切,且会按照整环选择的不同得到不同的相切模式。