×
拉法·齐奥布罗

关于次项。 （英语） Zbl 1357.11021号

福尔马利兹。数学。 24，第4期，261-273（2016）.
摘要：当讨论两个二项式除法所得的连续幂和时W.W.Sawyer先生[模式搜索。哈蒙德斯沃思，米德尔塞克斯：企鹅图书有限公司（1970）]观察到
“奇怪的是，大多数代数教科书都会两次给出我们最后的结果。它出现在两个不同的章节中，通常在这两个章节中都没有提到它也出现在另一个章节中。当然，第一章是关于因子的。第二章是关于几何级数的。几何级数几乎包含在所有l涉及复利的财务问题-抵押、年金等。”
值得注意的是，第一个问题涉及到99…9乘9的简单算术除法。虽然上述概念在过去50年中似乎没有改变，但它只反映了涉及两个变量的更广泛问题的一个特例。奇怪的是，虽然二项式公式得到了广泛的讨论和研究，但很少有人对所有系数都等于1的二项式进行研究，我们在这里将其称为次项。该研究侧重于其基本性质，并将其应用于一些通常通过归纳证明的简单问题。

引用于2文件

MSC公司：

11个B65 二项式系数；阶乘\（q\）-标识
11二氧化碳 数论中的多项式
03B35型 证明和逻辑操作的机械化

关键词：

二项式公式;几何级数;多项式
PDF格式BibTeX公司 XML格式引用
\textit{R.Ziobro}，福尔马利兹。数学。24，第4号，261--273（2016；Zbl 1357.11021）
全文： 内政部

参考文献：

[1] 格拉泽戈兹·班塞雷克。自然数的基本性质。形式化数学，1(1):41-46, 1990.; ·Zbl 1364.68157号
[2] Grzegorz Bancerek和Krzysztof Hryniewiecki。自然数和有限序列的段。形式化数学，1(1):107-114, 1990.;
[3] Czesław Bylinñski。有限序列限制的一些性质。形式化数学，5(2):241-245, 1996.;
[4] Czesław Bylinñski。函数及其基本属性。形式化数学，1(1): 55-65, 1990.;
[5] 张文牌、山崎宏和中村雅子。有限复数序列的内积和共轭。形式化数学，13(三):367-373, 2005.;
[6] 杰克·甘卡泽维奇（Jacek Gancarzewicz）。阿利特梅提卡。Wydawnictwo UJ，克拉科夫，2000年。波兰语。；
[7] 曹慧琴和潘昊。交替二项式和的因子。应用数学进展，45（1）：96-1072010。doi:·Zbl 1206.11023号
[8] Sudesh K.Khanduja、Ramneek Khassa和Shanta Laishram。截断二项式展开式的一些不可约性结果。《数论杂志》，131（2）：300-3082011。doi:·兹比尔1213.11185
[9] 安德热伊·孔德拉基。中国剩余定理。形式化数学，6(4): 573-577, 1997.;
[10] 拉法·奎亚泰克。阶乘系数和牛顿系数。形式化数学，1(5):887-890, 1990.;
[11] 拉法·奎亚泰克和格热戈兹瓦拉。整数和整数相对素数的可除性。形式化数学，1(5):829-832, 1990.;
[12] W.W.索耶。搜索模式。企鹅图书有限公司，哈蒙德斯沃思，米德尔塞克斯，英国，1970年。；
[13] Wojciech A.Trybulec。非紧子串和一对一有限序列。形式化数学，1(三):569-573, 1990.;
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。