Proof: ∵ Point V is on the perpendicular bisector of line segment AB,
∴∠VAB=∠VBA=α.
∵∠A is the smallest interior angle of △ABC, and α<∠CAB,
∴α<∠CBA. That is, V is inside ∠ABC.
Similarly, W is inside ∠ACB.
Below, we use A,B,C to represent ∠CAB,∠ABC,∠BCA respectively.
∵W is on the perpendicular bisector of line segment AC, then
∠1=∠2=A−α,∠3=C−∠1=C+α−A∴∠4=180∘−∠5−∠3=180∘−(B−α)−(C+α−A)=2A.
In △BCT, sin∠4BC=sin∠3BT=sin∠5CT.
∵B−α=180∘−(C+α+A),∴TB+TC=sin∠4BC(sin∠3+sin∠5)=sin2ABC[sin(C+α−A)+sin(B−α)]=sin2ABC[sin(C+α−A)+sin(C+α+A)]=sin2ABC⋅2sin(C+A)cosA=sinABC⋅sin(C+α)=2Rsin(C+α).
Connecting CU,∠BCU=∼.
Then ∠△CU=C+α.
In △ACJ,
AU=2Rsin(C+α).∴AU=TB+TC.