REPORT ON CERTAIN BRANCHES OF ANALYSIS. 321 



which satisfy the congruence 



.v^ - 1 = M X 7, 



whose moduhis is 7, are expressed by ^ 



and "'" "*" , which arise from adding 7 to the 



parts without and beneath the radical sign. 



The principle of this transition from the root of the equation 

 to that of the congruence is sufficiently simple. We consider 

 the roots of jt" — 1 = as resulting from the expression for 

 those of the congruence x" — 1 = M (p), when M = ; and 

 we thus are enabled to infer, in as much as M (p), its multiples 

 and powers, are involved in those formulge, whether without 

 or beneath the radicals, and disappear, therefore, when M = 0, 

 that some such multiples, to be determined by trial, or other- 

 wise, are to be added when M (p) is restored, or when 1 is 

 replaced by 1 + M (p). When the congruence admits of in- 

 tegral values of x, which are less than p, then they can be found 

 by trial : when no such integral values exist, then, amongst the 

 irrational values which thus arise, those values will present them- 

 selves which will satisfy the congruence algebraically, though 

 they can only be ascex'tained by a tentative process. 



The equation of Fermat, 



xP-' — 1 = M (p), 



where ^ is a prime number, will be satisfied by all the natural 

 numbers I, 2, 3, . . as far as (^ — 1) : and it follows, therefore, 

 that all the rational roots of the equation 



X« — 1 = M (j9) 



will be common to the equation 



a:P-» - 1 = M (p), 



the number of them being equal to (J), the greatest common 

 divisor of w and of ^ — 1. If c? be 1, then all the roots except 

 1 are irrational. If we suppose the equation to be 



xP -I =M (p), 



then all the roots will be equal to each other and to 1. It is 

 unnecessary, however, to enter upon the further examination 

 of such cases, which are developed with great care and sin- 

 gular ingenuity in the memoir referred to. 



These views of Poinsot are chiefly interesting and valuable as 

 connecting the theory of indeterminate with that of ordinary 



1833. Y 



