解:因为平分
(已知),
所以 ▲ ( ▲ ).
因为平分
(已知),
所以 ▲ (角平分线的定义).
因为(已知),
所以( ▲ ),
所以 ▲ . (等量代换),
所以( ▲ ).