MathLabs

Problem 2

The angle at A A is the smallest angle in triangle ABC ABC . The points B,C B,C divide its circumcircle into two arcs. Let U U be an interior point of the arc BC BC not containing A A . The perpendicular bisectors of AB AB and AC AC meet line AU AU at V V and W W , respectively. The lines BV BV and CW CW meet at T T . Show that AU=TB+TC AU=TB+TC .
Step 2 of 4: Relate the arcs
In plain words

Relate the arcs

AX^=BU^,AY^=UC^\widehat{AX}=\widehat{BU},\quad\widehat{AY}=\widehat{UC}
Detailed analysis

The same perpendicular-bisector symmetry gives equality of the corresponding arcs: AX^=BU^\widehat{AX}=\widehat{BU} and AY^=UC^\widehat{AY}=\widehat{UC}. Therefore XY^=BC^\widehat{XY}=\widehat{BC}.