这说明，自动推理功能并没有把这个所谓的角平分线当成真正的角平分线来对待。
取EF中点G，然后推理一下试试，结果真的出现了角相等的结论，ManBetX万博全站APP这说明BG作为∠ABC的平分线，得到了承认。
经验内容仅供参考，如果您需解决具体问题(尤其法律、医学等领域)，建议您详细咨询相关领域专业人士。
写经验 有钱赚
如要投诉，请到百度经验投诉中心，如要提出意见、建议， 请到百度经验管理吧反馈。ManBetX万博全站APP
©2020Baidu京ICP证030173号-1 京网文【2013】0934-983号
