AB est la diagonale d'un rectangle ACBC' avec C' qui est l'angle opposé à C. DC coupe AB en son milieu donc DC est la demi diagonale du même rectangle ACBC' : DC = CC'/2. donc AD = DB = DC.
donc d'après le théorème de Pythagore AB^2 = AC^2 + BC^2.
Comme AB = DC×2 alors (2DC)^2 = AC^2+BC^2.
Ensuite tu isoles BC
