Démontrer que J est le milieu du segment [AI]