This question was asked in Theorem 10.7
AB bisect ox

Vansh Tandon's image