证明不严谨，CAD 和 DAD'角度相等不能推出ACDD'共圆（反例是△ADD' △ADC关于AD对称）
改进下，△ADD'和△ADC不全等（一个等腰，一个不是），且∠D'AD=CAD, AD=AD, DC=DD'，所以∠DD'A+∠DCA=180，AD'DC四点共圆，∠D'AC=60, ∠BAD=15=∠BDA，所以AB=BD=BC。
【 在 shawchang 的大作中提到: 】
: 以 AB 为对称轴做对称图形，有新点 C'D'，CAD 和 DAD'角度相等，ACDD'共圆，圆心是 B。所以 BA 与 BC 相等
- 来自 水木社区APP v3.5.7
--
FROM 124.79.43.190