阿兹特三角形的递延组合论证明

迈fic Francesco 于2021年预言，阿兹特三角形——即在正格网上的某些区域族——的多米诺砖瓦片数由一种类似于给出交错符号矩阵数量的乘积公式给出。这被证明是一项实际困难的挑战，没有使用计算机的办法来证明——目前存在的两种证明方法（一种由 Koutschan、Krattenthaler 和 Schlosser 提出，另一种由 Corteel、Huang 和 Krattenthaler 提出）都依赖 substantial 计算，这在直接检查上会很困难。在本文中我们提出了一种简短的组合论证方法，依赖于第二作者为完美匹配所述的因子定理和补定理。