Salut.
Cette translation transforme
- la perpendiculaire en A à (IC) en la hauteur issue de D dans le triangle IDC
- la perpendiculaire en B à (ID) en la hauteur issue de C dans IDC.
Le point J est donc transformé en le point d'intersection de ces hauteurs. Il est alors facile de conclure.