寻求可直线剖分为三角形的正多边形均能密铺平面的证明或反例

Nice question—let’s unpack this clearly, since there’s a key nuance here that might be tripping up your intuition.

先明确命题的核心等价性 #

首先，你提到的“可通过直线分割为三角形（形状内部无角度变化）”的正多边形——其实所有简单正多边形都满足这个分割条件。只要从任意一个顶点出发，连接到所有不相邻的顶点，就能把一个n边形分成(n-2)个三角形，全程不会在多边形内部新增顶点（也就是你说的“内部无角度变化”）。所以你的命题可以简化为：所有正多边形都能在欧氏平面密铺？

直接反例：正五边形无法密铺 #

遗憾的是，这个命题不成立，最经典的反例就是正五边形：

• 正五边形的内角是108°（用内角公式((n-2)×180°)/n计算，n=5时得到108°）
• 欧氏平面密铺的核心要求是：在任意拼接顶点处，所有相邻多边形的内角之和必须恰好等于360°（平面周角）
• 尝试用108°凑360°：108×3=324°（不够），108×4=432°（超了），没有整数解，所以正五边形根本无法无缝拼接铺满平面。

为什么直觉会有偏差？ #

你提到考虑用数学归纳法，但这个思路在这里不适用——因为密铺的关键不是“能否分割成三角形”，而是正多边形的内角能否整除360°。我们可以通过解方程验证：
要让((n-2)×180)/n整除360°，化简后会发现只有n=3（正三角形）、n=4（正方形）、n=6（正六边形）这三种情况满足条件，它们是仅有的能在欧氏平面密铺的正多边形。

补充：分割三角形和密铺的关系 #

你关注的“分割为三角形”和原多边形能否密铺没有必然联系：虽然任何正多边形都能拆成三角形，且这些三角形本身通常可以密铺，但这并不代表原多边形可以。比如正五边形拆出来的等腰三角形能密铺，但正五边形本身因为内角的问题，无法满足拼接点的角度要求。

内容的提问来源于stack exchange，提问作者Bensstats