L'idée est la suivante.
Si L n'est pas sur le cercle, il est par exemple intérieur à celui-ci ;
Soit alors M à l'intersection de [HM) et du cercle. Avec les questions précédentes (de la dernière fois) tu as
(MH ; MJ) = (KH ; KJ) +k
donc on a (MH ; MJ) = (LH ; LJ) +k(R)
Mais M est plus éloigné de la corde [JH] que ne l'est L ; donc la relation (R) ne peut être vraie. Donc L n'est pas strictement intérieur au cercle.
Le même genre d'argument en supposant que L est strictement extérieur au cercle permet de prouver en définitive que le point L est nécessairement sur le cercle.
Rq : le seul intérêt des angles de vecteurs ici est d'éviter d'envisager les cas où L et K sont situés sur le même arc (d'extrémités H et J) ou pas.