BI = AI
BI² = AI²
BIJ rectangle en I donc d´après le théo de pythagore:
BI² + IJ² = BJ²
IJ² = BJ² - BI²
JIA rectangle en I donc d´après le théo de pythagore:
AI² + IJ² = JA²
IJ² = JA² - AI²
donc:
BJ² - BI² = IJ² = JA² - AI²
BJ² - BI² = JA² - AI²
BJ² - AI² = JA² - AI² car BI² = AI²
BJ² = JA²
BJ = JA = JC car J est le milieu de [BC]
BJ = JA donc BJA est isocèle en J
et
JA = JC donc AJC est isocèle en J