Rettvinklet trekant, ABC