[论文解读] Triangle Tiling III: The Triquadratic Tilings

Michael Beeson|arXiv (Cornell University)|Jun 5, 2012

Mathematics and Applications参考文献 4被引用 3

一句话总结

该论文通过特定的满足 3α + 2β = π 且 α 不是 π 的有理倍数的三角形瓷砖 T，对三角形的 N-铺砌进行了分类。证明了当且仅当 N 是一个平方数乘以若干个互异的模 8 余 ±1 的素数或 2 的乘积，且方程 M² + N = 2K² 在正整数范围内有解，满足 M² < N 且 K 整除 M² 时，N-铺砌才存在。此时瓷砖的边长为整数：a = M，c = K，b = K − M²/K。

ABSTRACT

An N-tiling of triangle ABC by triangle T (the tile) is a way of writing ABC as a union of N copies of T overlapping only at their boundaries. We continue the work of two previous papers on classifying the possible triangle tilings. The results of all three papers together enable us to make some progress on two problems of Erdos about triangle tilings, one of which asks, for which N is there an N-tiling of some triangle by some tile?. This paper takes up a case that was left unsolved in previous work, which is the following. Let the tile T have angles \alpha, \beta, and \gamma, and suppose 3\alpha + 2\beta = \pi, and \alpha is not a rational multiple of \pi. Suppose there is an N-tiling of ABC. Then we classify the triples (ABC), T, N) such that there is an N-tiling of ABC by T. Our solution is as follows: There is an N-tiling of ABC by T if and only if N is a square times a product of distinct primes of the form 8n plus or minus 1, or 2, and the tiling equation M^2 + N = 2K^2 is solvable in positive integers $ and K with M^2 < N and K divides M^2. In that case the tile can be taken to have sides a, b, and c where a=M and c=K and b=K-M^2/K, so all three sides will be integers. Combining this with the results of a previous paper, we obtain a no-tiling theorem: if N is squarefree and N > 6 and divisible by at least one prime congruent to 3 mod 4, then there are no N-tilings of any triangle by any tile, unless the tile has a 120 degree angle.

研究动机与目标

• 解决三角形铺砌分类中此前未解决的情况，具体为 3α + 2β = π 且 α 不是 π 的有理倍数的情形。
• 确定所有满足条件的三元组 (ABC, T, N)，使得在给定角度约束下，三角形 ABC 可被瓷砖 T 铺砌成 N 块。
• 通过提供该特殊情况中 N-铺砌的完整刻画，扩展先前关于厄多斯铺砌问题的研究成果。
• 为平方自由的 N > 6 且被一个模 4 余 3 的素数整除的情形建立一个无铺砌定理，除非瓷砖具有 120° 角。

提出的方法

• 通过代数数论和丢番图方程分析，刻画铺砌存在的可解性条件。
• 应用铺砌方程 M² + N = 2K²，要求 M² < N 且 K 整除 M²，作为铺砌存在的必要条件。
• 推导出瓷砖边长 a = M，c = K，b = K − M²/K 的几何约束，确保当方程可解时所有边长为整数。
• 结合先前关于三角形铺砌的研究成果，在给定参数范围内建立完整的分类。
• 依赖于 α/π 的非有理数性，排除其他可能的铺砌构型。
• 利用模 8 余 ±1 的素数的数论性质及其在铺砌方程可解性中的作用。

实验结果

研究问题

• RQ1 对于哪些 N 值，存在某个三角形 ABC 的 N-铺砌，使用满足 3α + 2β = π 且 α 不是 π 的有理倍数的瓷砖 T？
• RQ2 在给定瓷砖 T 的角度约束下，此类铺砌存在的充要条件是什么？
• RQ3 在什么数论条件下，方程 M² + N = 2K² 在满足 M² < N 且 K | M² 的正整数范围内可解？
• RQ4 当 N 允许时，瓷砖 T 的边长如何与铺砌方程的解相关联？
• RQ5 对于平方自由且被模 4 余 3 的素数整除的 N，会引发哪些约束？这些约束如何影响铺砌的可能性？

主要发现

• 当且仅当 N 是一个平方数乘以若干个模 8 余 ±1 的互异素数或 2 的乘积时，三角形 ABC 可被瓷砖 T 铺砌成 N 块。
• 此类铺砌存在的必要条件是方程 M² + N = 2K² 在正整数范围内有解，且满足 M² < N 以及 K 整除 M²。
• 当方程可解时，瓷砖 T 可取整数边长：a = M，c = K，b = K − M²/K。
• 若 N 是平方自由的，大于 6，且至少被一个模 4 余 3 的素数整除，则除非瓷砖具有 120° 角，否则不存在 N-铺砌。
• 该刻画完全解决了 3α + 2β = π 且 α/π 为无理数时的铺砌问题。
• 研究结果完成了在给定角度约束下对 N-铺砌的完整分类，推动了厄多斯铺砌问题的进一步进展。