﻿467 
	
 Y con estos datos se constituyen las 32 formas reducidas: 
	

- (±7,3,q^lO), (±:7,4,;;:9), (zn6,5,+ 9), (±2,7,q=15) 
	

(+3, 7,:;: 10), (±5, 7, +6), (+l,8,qiI5), (±3,8,q=5) 
	

y 
	

(±10,3,qi7), (+9, 4, +7), {-±9, 5, +6), (±15,7,qi2) 
	

(±10, 7, + 3), (±6, 7, +5), (±15,8,:íi1), (±5, 8,qz3). 
	

153. — Equivalencia entre una forma de determinanie positiva y otra 
	

reducida. 
	

Guardando toda la semejanza posible con la doctrina de las formas 
	
 de determinante negativa, vamos á demostrar ahora también que 
	

Toda forma con determinante positiva es equivalente á una forma re- 
	
 ducida. 
	

Y aquí lo mismo que antes (144) vamos á servirnos de las formas 
	
 contiguas en la demostración. 
	

Sea («, 5, a) una forma dada, con determinante positiva. Para ha- 
	
 llar la forma («', h\ «"), contigua de la propuesta, recordaremos (137-ff) 
	
 que el coeficiente medio, 5', de esta nueva forma, sólo puede tener uu 
	
 valor — — h (mod. «'), y no otro alguno. Si, pues, hallado el valor de 
	
 ¿', vemos que satisface á las condiciones 
	

ya tenemos mucho adelantado para calificar á la forma («', b' , a") de 
	
 reducida. Pero dicho valor de b', determinado por la congruencia 
	
 b' = — b (mod. a'), se halla comprendido efectivamente entre los lími- 
	
 tes \l D — («') y \l D; pues los números enteros 
	

X+l- («'), X-h2- («'), X-1, A 
	

