This question was asked in Theorem 7.2

Can we take AD as a perpendicular bisector of BC

 

Boby Borah's image