解:∵ , 平分 (_▲_)
∴ _▲_ _▲_ _▲_.(角平分线的定义)
∵ (已知)
∴ _▲_ _▲_ _▲_.(_▲_)
∵ (_▲_)
∴ (等式的性质)
_▲_(等量代换)
_▲_.
∵ 于 (已知)
∴ (_▲_)
在直角三角形 中,
∵ (_▲__)