Problem:
In a triangle right-angled at , the median through bisects the angle between and the bisector of . Prove that
Problem:
In a triangle right-angled at , the median through bisects the angle between and the bisector of . Prove that
Solution:
Since is the mid-point of , we have . Since bisects , we also know that . Since bisects , we also have
However,
Using these in the above expression and simplifying, we get
Using and eliminating , we obtain
Introducing , this reduces to a cubic equation;
Consider the function for (as is positive). For , we see that . We also observe that is strictly increasing on . It is easy to compute
Hence there is a unique value of in the interval such that . We conclude that
Solution:
Let us take . Then and . Using sine rule in triangles and , we get
Since , we obtain . However . Thus we get . Note that
This shows that . Using , it is easy to compute . Hence
Suppose . Then and . Thus
which is absurd. We conclude that .