Доказательство:
Так как треугольник остроугольный и BD - биссектриса, то ∠B<90°⇒∠CBD<45°=∠DFC, следовательно F∈BC.
Проведем из точки D перпендикуляр до отрезка BC с основанием M, M будет принадлежать стороне BC поскольку треугольник остроугольный.
Тогда прямоугольные треугольники BDE и BDM равны по общей гипотенузе BD и острым углам ∠DBE, ∠DBM. Из этого следует что, 
.
Также из-за того что, ∠DBC<∠DFC=45°<∠DMC=90°⇒F∈BM, теперь можно пользоваться тем что 
.
Заметим что, DFM - прямоугольный треугольник с углом 45°, то есть 
.
Учитывая доказанные равенства получаем,
Что требовалось доказать.
Теоре́ма Пифаго́ра — одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника: сумма квадратов длин катетов равна квадрату длины гипотенузы.Соотношение в том или ином виде предположительно было известно различным древним цивилизациям задолго до нашей эры; первое геометрическое доказательство приписывается Пифагору. Утверждение появляется как Предложение 47 в «Началах» Евклида[⇨].
Также может быть выражена как геометрический факт о том, что площадь квадрата, построенного на гипотенузе, равна сумме площадей квадратов, построенных на катетах. Верно и обратное утверждение[⇨]: треугольник, сумма квадратов длин двух сторон которого равна квадрату длины третьей стороны, является прямоугольным.
Существует ряд обобщений данной теоремы[⇨] — для произвольных треугольников, для фигур в пространствах высших размерностей. В неевклидовых геометриях теорема не выполняется[⇨].
