( 530 ) 



Celle formule s'obtiendrait, du reste, très-simplement, 

 à Taide du calcul différentiel, en cherchant la variation 

 de L, qui correspond à une variation de l. En effet, l'é- 

 quation fondamentale 



L = y. H, 



h 



différentiée par rapport à L et /, donne 



H dl 



c/L = ~ ai = L. -7 ; 

 h l 



formule dans laquelle dl est positif ou négatif, suivant que 

 la distance focale variée est supérieure ou inférieure à la 

 dislance focale régulatrice. Nous aurions pu, à la rigueur, 

 nous contenter de cette dernière démonstration : si nous 

 l'avons fait précéder de quelques considérations géomé- 

 triques, c'est parce que celles-ci nous paraissent éclairer et 

 satisfaire l'esprit beaucoup mieux que des déductions pu- 

 rement analytiques. 



III. 



D'après ce qui vient d'être dit, il suffirait, pour calculer 

 les corrections à faire aux observations, de construire une 

 fois pour toutes une table présentant les variations que 

 subit la longueur focale de la lunette, suivant la distance 

 à laquelle on vise. Celte table se calculerait au moyen de 

 la formule déjà rappelée 



4 1 _ 4 



^ "~ y ^ L* 



Mais au point de vue de l'application, on peut encore sim- 



