Pascal's Triangle and Lucas's Theorem

被引：0

作者：

Ziobro, Rafal ^{[1
]}

机构：

[1] Univ Agr, Dept Carbohydrate Technol & Cereal Proc, Krakow, Poland

来源：

FORMALIZED MATHEMATICS | 2024年 / 32卷 / 01期

关键词：

arithmetic triangle; binomial coefficient; Lucas theorem;

D O I：

10.2478/forma-2024-0020

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this article we construct formally the Pascal's triangle using Mizar proof assistant. Using the same techniques, we show some similar constructions based on integer sequences. We also prove Lucas's theorem providing useful registrations of clusters to enable more automation in calculations.

引用

页码：235 / 245

页数：11

共 50 条

[31] On Two Families of Generalizations of Pascal's Triangle
Allen, Michael A.
Edwards, Kenneth
JOURNAL OF INTEGER SEQUENCES, 2022, 25 (07)
[32] Star Theorem Patterns Relating to 2n-gons in Pascal's Triangle - and More
Hilton, Peter
Pedersen, Jean
Sequin, Carlo H.
SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2012, 36 (02) : 209 - 232
[33] Pascal's theorem and quantum deformation
Leitenberger, F
LETTERS IN MATHEMATICAL PHYSICS, 2000, 51 (01) : 47 - 53
[34] A Hyperbolic Proof of Pascal’s Theorem
Miguel Acosta
Jean-Marc Schlenker
The Mathematical Intelligencer, 2021, 43 : 130 - 133
[35] A Hyperbolic Proof of Pascal's Theorem
Acosta, Miguel
Schlenker, Jean-Marc
MATHEMATICAL INTELLIGENCER, 2021, 43 (02): : 130 - 133
[36] Pascal's Theorem and Quantum Deformation
Frank Leitenberger
Letters in Mathematical Physics, 2000, 51 : 47 - 53
[37] Demonstation of Desargues' theorem on the basis of Pascal's theorem
Hessenberg, G
MATHEMATISCHE ANNALEN, 1905, 61 : 0161 - 0172
[38] Balancing in direction (1, -1) in Pascal's Triangle
Belbachir, H. .
Szalay, L. .
ARMENIAN JOURNAL OF MATHEMATICS, 2014, 6 (01): : 32 - 40
[39] Electronic configuration pattern found in Pascal's Triangle
Duncan, RL
JOURNAL OF CHEMICAL EDUCATION, 1996, 73 (08) : 742 - 743
[40] On a problem of Granville and Zhu regarding Pascal's triangle
Moshe, Y
MATHEMATIKA, 2004, 51 (101-02) : 63 - 82

← 1 2 3 4 5 →