AC __VAD^—CD'^ CD ~ CD

y CD-'

Mais d'après le § 7 et d'après la construction

An = ^

CD > (7â,

Ch = OB' = X,

Par conséquent, on trouve

AC

fV-'--

d'où en mettant pour x sa valeur trouvée dans le § 8, on aura

CD

expression qu'on peut écrire de la manière suivante:

AG ^

Vs ((A -H S) (2 — S)

Mais d'après l'équation (6), qui détermine la longueur du pas l, l'expression

s'annule pour s = a, ce qui suppose que cette expression est divisible par la différence s — a. En ouvrant ici les parenthèses et en divisant par s — o-, on trouve le quotient:

S^ H- ({1. -4- a 2) s -H (li -+- 0- 2) (T — -^ — 2[X,

où d'après (9)

Par conséquent, on peut remplacer cette expression par le produit des deux facteurs suivants:

(a — s)(2i». — 2XaH-^ — 2ls — sA, donc l'inégalité déjà trouvée se transforme en celle qui suit:

y (a — s) (21JI — 2Xo -»- ^- — 2Xs — «2)

AC

Vs (fx -*- s) (2 — s)