Para demostrar esto he utilizado:
El Teorema del coseno y
La Fórmula Trigonométrica del Área de un Triángulo (calcula el área en función de dos lados cualesquiera y el ángulo comprendido)
Supongo las conoces, sino son fáciles de encontrar la demostración en la web.
El triángulo que muestras es rectángulo e isósceles (tiene dos ángulos de 45º)
Los lados iguales, miden l
y las cevianas miden m y n
Aplicando el Teorema del coseno en los triángulos CDF (para x)
ADC (para m) y CFB para n tenemos:
$$\begin{align}&\Delta CDF\\&x^2=m^2+n^2-2mn·cos45\\&x^2=m^2+n^2-2mn·\frac{\sqrt 2}{2}\\&x^2=m^2+n^2- mn \sqrt 2\\&\\&\Delta ADC:\\&m^2=a^2+l^2-al \sqrt 2\\&\\&\Delta CFB:\\&n^2=b^2+l^2-bl \sqrt 2\\&\\&Sustituyendo \ las \ dos \ últimas \ en \ la \ primera:\\&x^2=a^2+l^2-al \sqrt 2+b^2+l^2-bl \sqrt 2-mn \sqrt 2\\&x^2=(a^2+b^2)+(2l^2-al \sqrt 2 - bl \sqrt 2 - mn \sqrt 2)\\&Como \ queremos \ demostrar \ que \ x^2=a^2+b^2\\&hay \ que \ demostrar \ que \ el \ segundo \ paréntesis \ es \ cero.\\&\\&Estratégia \ del \ Area:\\&[ABC] \ quiere \ decir \ Area \ del \ triángulo \ ABC\\&[ABC]=\frac{1}{2}l·l=\frac{1}{2}l^2 \ (es \ un \ triángulo \ rectángulo)\\&[ADC]+[CDF]+[FCB]=\\&\frac{1}{2}al·sen45+\frac{1}{2}mnsen45+\frac{1}{2}bl·sen45=\\&\frac{1}{2}·\frac{\sqrt 2}{2}(al+mn+bl)\\&\\&\\&Igualando \las \ Areas:\\&\frac{1}{2}·\frac{\sqrt 2}{2}(al+mn+bl)=\frac{1}{2}l^2\\&\\&\Rightarrow\\&\sqrt 2 (al+mn+bl)=2l^2\\&Luego \ el \ segundo \ paréntesis \ es \ cero\\&cumpliéndose\\&x^2=a^2+b^2\\&\end{align}$$
Espero que te sirva
Recuerda Votar.
Votar Excelente es lo correcto y más en un problemita como este.
Un placer.