Here the
symbol denotes a right angle, and the angle
at B is shared by both triangles ABC
and DBC . So, since the angles in a
triangle always add up to ,
we find by subtraction that .
So the two triangles are similar. Taking care to match the vertices correctly,
we get .
This gives .
Now the length AB is not given, but
we can find it using Pythagoras.