Citat:
Ursprungligen postat av
voun
Japp, jag tolkade det du skrev fel. Ursäkta!
Tolkade "fel" var kanske dåligt ordval av mig; du tolkade det annorlunda än vad jag hade tänkt. Nåjo, problem solved. :)
Citat:
Ursprungligen postat av
voun
Hade varit intressant om man på något sätt kunde bevisa/motbevisa att |p_2^2-(p_3*p_1)|/(p_3-p_1) är ett heltal för alla p_2>3 och p_3-p_1<10
Vi har att p3-p1 = {4, 6, 8} (pga p3, p1 udda), samt om p3-p1 = 2 ryms inte p2 mellan dom.
Givet p3-p1 = 4 får vi p3 - 2 = p2 = p1 + 2 -> p2^2 - p3p1 = (p1+2)(p3-2) - p3p1 = p1p3 - 4 - p1p3 = -4. QED i det fallet.
Givet p3-p1 = 6 får vi två fall: p3 = p2+2, p1 = p2-4 eller p3 = p2+4, p1 = p2-2.
p2^2 - p3p1 = p2^2 - (p2-2)(p2+4) = -2p2 + 4p2 + 8 = 2p2 + 8. I andra fallet får vi väl -2p2 + 8.
Vi måste alltså undersöka om det gäller att givet p2 = p3-2 = p1+4 så är 8 - 2p2 delbart med 6 och om p2 = p3-4 = p1+2 så är 8 + 2p2 delbart med 6. Man kan dividera bort en 2-faktor, så man kan kolla om 4±p2 är delbart med 3 under premisserna.
Det känns som ett djupt problem för mitt grunda sinne. Man kanske kan trixa till det på nåt snyggt sätt.