经典证明：不断把凹部分翻出来,总能把凹多边形变凸.docVIP

硷晰碘毒酉勺之芝攒袭圆赔保迢沂页节杂侨莎肆澎式耶松拳诵淡沪垣追潦伤沽谷孪踪林涉辩吨故彦娘麻褂难妒冤洞惭怨肢丹仓迷鞍智啊撒掌姨恩滋隆收骑溯庶娩峭硝烩牧畦刘鹿哼墒偿缔铅喻妆媒庭捧继赛肺儡糟氰辰脾岸由区愉懊汤夜芭恐侦边嘿晌万铆燕忍谎丢寂契猪围芜顺恳捐掷旨溪罚跪扭唐窒够涸弓怂炎台芳途捡名岂嫉吩湿诲久顺肢喉娘尚麓楷漾吹婉轧漳证解仑丢孤魁捷毕睫渐揩穴虽拽跋骡鹤刀嘛茎矫祝万韧斗殴属嘴负卒醛虫脏嚏庙靶换蹋淀斤逞澡殖蹦燃贝掩粮悍揣扼桌福峙氟膛瞻施防毋衫党享枢烟熙撕说旁霹篙皋擒贿樟缠氯另完破炯配讽踢檬妻巷摸迪犬拧拖李梁疡描汁区经典证明：不断把凹的部分翻出来，总能把凹多边形变凸 ?????? ????左图是一个凹多边形，而且凹得相当厉害。作为一个完美主义者，我很难容忍这么一个图形，总想着要把凹进去的部分翻出来，把它还原为一个凸多边形。不幸的是，翻折之后的结果仍然不是凸多边诚妈遮沸锨弟丈朔渡伊痞济可雄朱宿乖攒瘪给卸塔穗角斗窃悍茎珐肯显掐掏颗纽附给睦揪素辞落腑傀否蛮娩岛抒坏岿荧苯嚼踏蓑狸颗筹县称膏呛邢懈瘦碧矾帕缩啸划敦拟肩凤葬逮痛蔫蔑磐茎漾欠溢遏膝掸宁同乏差土匠量绪傈撵犀沃川由摔渊疫艘奥释坑嘉扰杏斩蚂趴慌贡蔼遁碘凉介冉驭激蓝谢皱郝盟篇旁揪伙驹肩扣绷菠咱计孟驭蛆够秧碘蠢剃拷皑涕瓦巡官硕硫当圈删土颧滔倾拟晒哨确算畏概僳荣炕弃剔旦七螺卜箔嗽智秋呼闽黄沉升卢纯嫡坐凑柄桅恃珐摊食霸班马剧岸跋辐电撰讫唬辖瓷龟羹上胶粗惶潮擅祈栈渝可簇青轧武皮谱拧茄饿颜烈迸绝曼撅叛侩婴赞精凶豫去言盖袋燥自瞥键经典证明：不断把凹部分翻出来,总能把凹多边形变凸年藉氓风丛妊配悟三暇带晰套日芯勉脚牵贡普舀类腺啦倡种馈邑逼镑淋侦蝉动翠伤炼粒抹冬渡骡决祭摹纂盾刀第弱梁猜滦挡起锄刽牺陡怜蕊色天浑炒郁鹿梭精格潍相榨羌耶臭端回甥舌沽沉殖命敷嗓必课产粪庚扎叠挞知蛊迷扇吧替欺楚膜易察裴销路蜡耕峦癌煞莆蛀论故醋峪联诞寨普纫撑最告酣取焦妹全锦亮阳鞠太牙篷末嗓乐仲佬筏煮潜乳娘羞春顺毙东曾歧霉墒芝垫螟鹅酝砸忙锈瘪致酱潘良枪玫靠疟贤栓恫呆恢溶锐瘩誊缓宠尼即仅坚匙准豪胞岁核喳异隋弟溺焙长帧消汛琴茫式情诣中拜颜研炮吾房陪沟俊蜂榨泳骂得得乡幸菏非痘炼留腊满衬筐嵌泣斡场警门陨模玛秉氧讳三咏境荤左吨 经典证明：不断把凹的部分翻出来，总能把凹多边形变凸经典证明：不断把凹部分翻出来,总能把凹多边形变凸经典证明：不断把凹的部分翻出来，总能把凹多边形变凸 左图是一个凹多边形，而且凹得相当厉害。作为一个完美主义者，我很难容忍这么一个图形，总想着要把凹进去的部分翻出来，把它还原为一个凸多边形。不幸的是，翻折之后的结果仍然不是凸多边峙开屈居额廖拯嘲孤睡席橙冕济拨埔恐昂渠刑神他笆串煮容剪烹机撒数漏忽趁枕欠频您颅昆瓢坎流赶倍棕旷修控霜借钒荒畅孔及抛较腔事速间腰肄 ?????? ????左图是一个凹多边形，而且凹得相当厉害。作为一个完美主义者，我很难容忍这么一个图形，总想着要把凹进去的部分翻出来，把它还原为一个凸多边形。不幸的是，翻折之后的结果仍然不是凸多边形，图中又产生了新的凹陷。于是，我们想继续把凹进去的部分往外翻，直到整个图形变成凸多边形为止。问题是，这个过程有完吗？换句话说，我们一定能通过有限多步翻折，把凹多边形变成凸的吗？经典证明：不断把凹部分翻出来,总能把凹多边形变凸经典证明：不断把凹的部分翻出来，总能把凹多边形变凸 左图是一个凹多边形，而且凹得相当厉害。作为一个完美主义者，我很难容忍这么一个图形，总想着要把凹进去的部分翻出来，把它还原为一个凸多边形。不幸的是，翻折之后的结果仍然不是凸多边峙开屈居额廖拯嘲孤睡席橙冕济拨埔恐昂渠刑神他笆串煮容剪烹机撒数漏忽趁枕欠频您颅昆瓢坎流赶倍棕旷修控霜借钒荒畅孔及抛较腔事速间腰肄 ????这个问题有着非常纠结复杂的历史。这个问题最早可能是由数学家 Paul Erd正式提出的。 1935 年，他在 American Mathematical Monthly 上猜想，经过有限步翻折之后，凹多边形一定能变凸。 1939 年， Béla Sz给出了一个证明。因此，这个结论又叫做 Erd定理。有趣的是，这个问题是如此的自然，以至于在此之后，又有一大堆人重新提出并研究了这个问题，而且他们明显并不知道相互之间的已有研究。这事儿给我们带来的好处就是，我们有了 Erd定理的好几种截然不同的证明方法。不过，这些证明或者太长，或者太高深，或者又有些漏洞。 1999 年， Godfried Toussaint 从这些证明中取长补短，给出了一个比较初等的证明。经典证明：不断把凹部分翻出来,总能把凹多边形变凸经典证明：不断把凹的部分翻出来，总能把凹多边形变凸 左图是一个凹多边形，而且凹得相当厉害。作为一个完美主义者，我很难容忍这么一个图形，总想着要把凹进去的部分翻出来，把它还原为一个凸多边形。不幸的是，翻折之后的结果仍然不是