[论文解读] Star of David and other patterns in the Hosoya-like polynomials triangles

Rigoberto Flórez, Robinson A. Higuita+1 more|arXiv (Cornell University)|Jun 13, 2017

Advanced Mathematical Theories and Applications参考文献 6被引用 3

一句话总结

本文通过广义斐波那契多项式（GFP）将霍佐伊的数值杨辉三角推广至多项式序列，构建了类似霍佐伊的多项式三角形，其中各项为GFP的乘积。对于大多数GFP族，本文建立了‘六角星性质’——即在六边形图案中交替顶点的GCD相等；通过矩形和之字形图案，给出了卡西尼恒等式、卡塔兰恒等式和约翰逊恒等式的几何证明；并分类了满足该性质的三角形，应用部分涉及在x=1时的已知数列，如斐波那契、佩尔和切比雪夫多项式。

ABSTRACT

In this paper we first generalize the numerical recurrence relation given by Hosoya to polynomials. Using this generalization we construct a Hosoya-like triangle for polynomials, where its entries are products of generalized Fibonacci polynomials (GFP). Examples of GFP are: Fibonacci polynomials, Chebyshev polynomials, Morgan-Voyce polynomials, Lucas polynomials, Pell polynomials, Fermat polynomials, Jacobsthal polynomials, Vieta polynomials and other familiar sequences of polynomials. For every choice of a GFP we obtain a triangular array of polynomials. In this paper we extend the star of David property, also called the Hoggatt-Hansell identity, to this type of triangles. We also establish the star of David property in the gibonomial triangle. In addition, we study other geometric patterns in these triangles and as a consequence we give geometric interpretations for the Cassini's identity, Catalan's identity, and other identities for Fibonacci polynomials.

研究动机与目标

• 将霍佐伊三角的六角星性质（霍加特-汉塞尔恒等式）从数值霍佐伊三角推广至基于广义斐波那契多项式（GFP）的多项式三角。
• 通过三角形中的结构模式，为经典恒等式（如卡西尼、卡塔兰和约翰逊恒等式）提供几何解释与证明。
• 对哪些GFP族生成满足六角星GCD性质的霍佐伊多项式三角形进行分类。
• 通过在x=1处求值，探索这些三角形的数值实例，将其与OEIS中的已知整数数列关联。
• 识别并分析多项式系数中的GCD模式，如费马和佩尔多项式，将其与已知整数数列关联。

提出的方法

• 通过二阶递推关系定义广义斐波那契多项式（GFP）：$ G_n(x) = d(x)G_{n-1}(x) + g(x)G_{n-2}(x) $，初始多项式为 $ p_0(x), p_1(x) $，且满足 $ \gcd(d(x),g(x))=1 $。
• 通过在三角形阵列中放置项 $ H_{r,k} = G_k(x) G_{r-k}(x) $，构建类似霍佐伊的多项式三角形。
• 利用GFP的比内公式：$ G_n(x) = t_1 a^n(x) + t_2 b^n(x) $，其中 $ a(x), b(x) $ 是方程 $ z^2 - d(x)z - g(x) = 0 $ 的根，以分析其代数结构。
• 在三角形中应用几何模式——六边形（六角星）、矩形和之字形，以推导恒等式与GCD性质。
• 通过分析六边形中顶点的GCD，证明六角星GCD性质，表明对大多数GFP族该性质成立。
• 通过在 $ x=1 $ 处求值，对结果进行数值验证，将多项式三角形与OEIS中的已知整数数列关联。

实验结果

研究问题

• RQ1 在基于广义斐波那契多项式的霍佐伊多项式三角形中，六角星性质——即六边形中交替顶点的GCD相等——是否成立？
• RQ2 卡西尼、卡塔兰和约翰逊等经典恒等式能否通过霍佐伊多项式三角形中的矩形和之字形模式获得几何解释？
• RQ3 哪些广义斐波那契多项式族满足六角星GCD性质？其完整分类为何？
• RQ4 特定GFP（如费马、佩尔和切比雪夫多项式）的系数中，GCD模式如何？它们与已知整数数列有何关联？
• RQ5 当在 $ x=1 $ 处求值时，多项式三角形如何退化为已知的数值三角形（如经典霍佐伊三角）？

主要发现

• 对于大多数广义斐波那契多项式族，六角星GCD性质在霍佐伊多项式三角形中成立，且表1中的14个不同子族已完整分类。
• 对于吉波诺米亚三角形，六角星性质已确立，扩展了早期关于数值三角形的研究结果。
• 通过霍佐伊多项式三角形中的矩形和之字形模式，推导出卡西尼、卡塔兰和约翰逊恒等式的几何证明。
• 在 $ x=1 $ 处求值时，霍佐伊多项式三角形的项生成OEIS中的已知整数数列，如A058071（斐波那契）、A284127（佩尔）和A143088（费马）。
• 第 $ n $ 个费马多项式 $ \Phi_n(x) $ 的系数的GCD为 $ 3^{a_n} $，其中 $ a_n $ 是OEIS数列A168570的第 $ n $ 项。
• 第 $ 2n $ 个佩尔多项式 $ P_{2n}(x) $ 的系数的GCD为 $ 2^{a_n} $，其中 $ a_n $ 是OEIS数列A001511的第 $ n $ 项。