car H est le projeté orthogonal de O sur (HB) et A(HB)
car (OA) (BK)
car (OB) (JA)
car H est le projeté orthogonal de O sur (AH) et B(AH)
car (OA) (JH)
car (OB) (HK)
car I est le milieu de [AB]
OI) (JK) car produit scalaire nul