三角拼接若干公式的组合证明

Bodeen等人最近考虑了一个新的组合平铺问题其中“条带”使用四种类型的三角形平铺，并导出结果数字的各种标识。一些身份被组合证明，其他仅被代数证明找到它们所有的组合解释的问题提出了结果。在本注释中，我们提供了所需的双射词证据。为了做到这一点，我们在用正方形、三角形和三种类型的多米诺骨牌和形成双宾语或近双宾语，其中不同大小的集合族给出了正确的结果。