Angles and distances in a right triangle