(15分)将边长为 的正三角形 的各边三等分,过每个分点分别作另外两边的平行线,称 的边及这些平行线所交的 个点为格点。若在这 个格点中任取 个格点,一定存在三个格点能构成一个等腰三角形(包括正三角形),求 的最小值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
抽屉原理:从三类中选四个对象,至少一类有两个。非退化等腰三角形需在等长之外排除三点共线,正三角形也算等腰。
想法从哪来:直接枚举五点虽可检验,却不容易看出保证等腰的原因。先把十点按中心、内层正六边形六点、三个外顶点分层,等距关系就有明显对称性。要找最小保证数,先从一条边上四个共线点得到不能再小的例子;证明五点必行时,再按是否选中心、选了几个外顶点分情况。若选外点,它到六边形点的距离只有少数几类,抽屉原理能迫出一对等距点。最后最难的两外点情形,把两套等距禁配连成六点环;若三点避开全部禁配,只能交错选,而交错三点本身就是正三角形。
给十点按题图命名,利用中心周围的正六边形分类。五点若没有等腰三角形,对外顶点与中心的选择限制会互相冲突。
沿底边依次为 ,其余边点按图为 ,中心为 。六点 构成以 为中心的正六边形;三个外顶点为 。 先证明任选五点必有等腰三角形。若选了 ,所选六边形点至多两个,且若有两个必须相对,否则它们与 组成等腰三角形。外顶点也至多两个,否则自身为正三角形。五点便只能为 、两个外顶点及两个相对六边形点。但是每个已选外顶点附近的两个边点都不能选,例如 附近的 分别与 组成等腰三角形。两个外顶点排掉四个边点,余下的两个边点相邻而不相对,矛盾。 若未选 ,按外顶点数分类。至少三个外顶点已为正三角形;零个外顶点时,六边形中五点必含三个连续顶点,给等腰三角形。一个外顶点时有四个六边形点,而它到六点的距离只有三类、每类两点,例如从 看三对为 ,每对与 不共线,所以抽屉原理给等腰三角形。 最后为两个外顶点和三个边点。由对称性可设外点为 。从 看的三对等距边点如上,从 看的为 。这六对依次连成六点环 。若所选三边点没有一对等距于 或 ,它们必须是此六环的交错三点,即 或 ,两者本身又是正三角形。所有情形都得矛盾。 因此任选五点一定可行;而 四点共线,不能构成非退化三角形,所以最小值为 。
两点与同一外顶点等距时须排共线退化:所列三对都由关于相应角平分线的反射相配,点不在这条轴上,故不共线。中心情形中的两个剩余边点为未选外顶点附近的一对相邻六边形点,不能作为相对点规避。
有限几何保证题先给前一规模的坏点集,再按对称轨道分类;相同距离要核三点不共线,不能把退化线段当等腰三角形。
需用中心与边点的对称结构穷尽五点构型,其中两外顶点的等距禁配形成六环,还要排除共线伪三角形并给四点反例。
已记下,谢谢!