经你提醒,我检查了一下,∠AEB大于90°时ACDE仍然可以是凸的。不过∠AEB必须小于90°确实不应该作为条件,应该作为推论。
补充证明如下:
AEG'在一条直线上,显然G'C与EB平行。
当∠AEB>90°时,为保证ACDE是凸的,G只能在直线AG'右侧,
所以直线GC必定与EB交于直线EG的左侧,
所以必有∠BED>∠CGD=∠DCG。
又显然BG<BC,所以∠BDC>∠BDE,所以∠DCG+∠BDC>90°,
所以∠BED+∠BDC>∠DCG+∠BDC>90°
【 在 rdf2027 的大作中提到: 】
: 不用补充∠AEB小于90°,ACDE是凸四边形这个条件就保证了∠AEB小于90°,
: 当∠AEB大于90°,ACDE是个凹四边形,与题目条件不符。

[upload=1][/upload]
--
修改:laofu FROM 120.229.34.*
FROM 120.229.34.*