This question was asked in Example 3
Why OT IS bisector of angle in isosceles triangle

Bimi Singh's image