CP ""OP

ce qui est précisément la relation établie plus haut. Cette relation

étant indépendante de I, on en conclut que la position du point Q'

sur Taxe secondaire QC est indépendante du rayon considéré ;

Q' est donc l'image de Q, comme P' est celle de P.

Image d'une droite. — Formuledu grossissement. — Puissance. —

Il en résulte que l'image de la droite PQ, normale à Taxe principal

et petite (c'est-à-dire de faible grandeur angulaire), est la petite

droite P'Q' (*), normale au même axe, définie quant à sa situation

par l'équation

et quant à sa grandeur par la formule

O désignant l'objet et 1 l'image prise positivement quand elle est droite et négativement lorsqu'elle est renversée ( a ). On a en effet

c'est-à-dire