正三角形 ABC 中，D 是 AB 中点，E 是 BC 上一点，已知 DE=EF=CF ，求证：∠DEF=60°

ataorj

回楼上:
AC中点M，BC中点H，MH和DC交点即为F
余略

ataorj

同一法则的定义是：如果一个命题的题设和结论都是唯一的事项时，那么它和它的逆命题同时有效。这称为同一法则。

我在前面的论证中提到了唯一性，题目不是做图题，但我自己已经把我的论证归入做图证明法[但要强调唯一性或包含性]
当我提到唯一性时，就已经否定了开始时想使用的反证法了，因为不需反证。

ataorj

同一法则
h-t-t-p-s://baike.baidu.com/item/%E5%90%8C%E4%B8%80%E6%B3%95
其中说:
互逆两个命题一般是不等价的。
例如：
原命题：福建是中国的一个省（真命题）
逆命题：中国的一个省是福建（假命题）

后者不应归入假命题，关键在于使用了"一个"

luyuanhong

楼上 ccmmjj 的解答很好！我已将帖子转贴到“陆老师的《数学中国》园地”。