Aby udowodnić, że trójkąt ABC jest prostokątny, skorzystajmy z twierdzenia odwrotnego do twierdzenia Pitagorasa, jednak na początku obliczmy długości boków tego trójkąta: