cercherò di spiegarmi meglio (almeno ci provo)
Ennesimo test di fattorizzazione di Lepore in log
Sia N=p*q con N,p e q nella forma 6*h+1
Per capire ci scriviamo una tabella dove i valori cerchiati sono i valori G=(N-1)/6
di questa tabella
cioè questa
i numeri (che chiameremo A) di fianco a due cerchiati sono la differenza dei due numeri cerchiati
si deduce facilmente che n+(8+6*n)*a+6*a*(a-1)=G oppure G= n+((B-12)+(6*n+8))*a/2
dove B=A+12
dove a=(p-1)/6
e n è p^2+6*n*p=N
Osserviamo per G pari (tutti i numeri non divisibili per 2 o 3 sono riconducibili a questo N=p*q con N,p e q nella forma 6*h+1 con G pari)
B^2-12B-36*n^2+-4*N+2+34=0
sotituendo n=(G-6*a^2-2*a)/(6*a+1)
si avrà B^2-12B-36*[(G-6*a^2-2*a)/(6*a+1)]^2+-4*N+2+34=0
scegliendo un a calcoleremo B quindi A=B-12 e prendiamo il primo A nella forma 12*C+8
quindi ci andiamo a calcolare G-A-(A-12)-(A-24)-(A-36).....
fino ad arrivare all'ultimo sottrazione per cui l'espressione è maggiore di zero
se il numero delle sottrazioni è minore dell'a che abbiamo scelto allora dobbiamo scegliere una a superiore
se il numero delle sottrazioni è maggiore dell'a che abbiamo scelto allora dobbiamo scegliere una a inferiore
se il numero delle sottrazioni è uguale all'a che abbiamo scelto allora siamo giunti al termine
esempio N=56653
G=9442
B^2-12*B-36*[(9442-6*a^2-2*a)/(6*a+1)]^2-4*56653+36=0 , a=31 -> B=495,... -> A=476
G-476-464-452-440-428-416...........
hey meglio se lo facciamo così
{[(A-(a-1)*12)+(A)]*a/2+(A-(a-1)*12-8)/6}
{[(476-30*12)+(476)]*31/2+18}=9192
{[(476-31*12)+(476)]*32/2+16}=9294<G
la nostra a deve scendere
B^2-12*B-36*[(9442-6*a^2-2*a)/(6*a+1)]^2-4*56653+36=0 , a=29 ->B=504,... ->A=488
{[(488-28*12)+(488)]*29/2+24}=9304
{[(488-29*12)+(488)]*30/2+22}=9442==G (possiamo fermarci)
però vediamo il caso a=28
B^2-12*B-36*[(9442-6*a^2-2*a)/(6*a+1)]^2-4*56653+36=0 , a=28 ->B=510 -> A=500
{[(500-27*12)+(500)]*28/2+28}=9492>G
la nostra a deve salire
quindi dovremmo provare per 30 che è il nostro a
------------------------------------------------------------------------------------------
EDIT:
P.s. Quando dobbiamo valutare se scendere o salire la nostra a dobbiamo assicurarci che l'A che stiamo valutando non sia l'A giusta se fosse l'A giusta l'algoritmo termine
-----------------------------------------------------------------------------------------------
EDIT:
P.s.2. dimenticavo una cosa per me ovvia ma per chi legge no
se il valore (A-(a-1)*12)<0 significa che la a scelta deve salire
La matematica è solo un pensiero.