# Prove: In a ⊿, the bisector of the right angle bisects the Altitude and Median drawn from that same vertex.

Prove that in a right triangle $ABC$, the bisector of the right angle bisects the angle formed between the median and the altitude drawn from the same vertex.

In other words, I'm asked to prove that $\angle MBD = \angle DBH$; according to the picture below.

This is the same as proving that $\displaystyle \frac{BM}{BH} = \frac{MD}{DH}$

Others facts are also known:

• $AM = MB = MC$

• $\angle ABD = \angle CBD = 45º$

I'm not sure how to use that information. So what I tried to do is to construct a triangle so that I would be able to prove the equality by similarity, but I'm stuck:

$1)$ $DF \perp AB$, by construction.

$2)$ Quadrilateral $BFDH$ is circumscribed by a circle, since $m\angle BFD + m\angle BHD = 180º$.

$3)$ $\angle HFD = \angle DBH$, inscribed angles subtended by the same arc $\stackrel{\frown}{DH}$ (It follows from $2)$).

$4)$ $\angle FDB = \angle FHB$, inscribed angles subtended by the same arc $\stackrel{\frown}{FB}$ (It follows from $2)$).

$5)$ $\triangle FDO \sim \triangle BHO$, by AA similarity.

I don't know how to go further. It would be nice if there is some way to prove that $\angle BPD = \angle BOH$.

• And if one angle is $\dfrac\pi8$ , then the three lines quadrisect the right angle into four equal pieces. Oct 15, 2015 at 23:58

$\angle ABM=\angle CAB$ (isocele triangle), and $\angle HBC=\angle CAB$ as well ($HBC$ $HAB$ similar triangles).
$\angle ABD=\angle DBC$ by definition, thus you have
$\angle DBM=\angle ABD-\angle ABM=\angle DBC-\angle HBC=\angle HBD$, which is what you wanted to prove.