Twierdzenie do udowodnienia/obalenia

[Afordancja 57]

Na podstawie innej hipotezy, stworzyłem sobie takie o to równanie.

 

(p mod px) + px = 2 * (Z mod px)

 

p - pewna liczba pierwsza  mniejsza niż Z

px - dowolna liczba pierwsza (w zasadzie dowolna liczba) mniejsza lub równa od Z i większa niż 2 (dla 2 też chyba jest spełnione, ale zabezpieczam się )

Z - dowolna liczba nieparzysta (może można i z parzystymi, ale niech będą nieparzyste) większa niż 3

 

Twierdzenie/hipoteza:

Dla dowolnej nieparzystej liczby Z, zawsze istnieje co najmniej jedna taka liczba pierwsza p, że dla każdej px to równanie nigdy nie zostanie spełnione.

 

Jako, że tu są raczej ścisłe umysły,

a) może ktoś mi uświadomić czy takie "twierdzenie"  już gdzieś widział i ono istnieje.

b) potrafi to ktoś udowodnić/obalić?

c) zagadka: na podstawie jakiej hipotezy jest to stworzone

 

Wg. mnie nikt tego nie udowodni/obali

Edytowane 2 września 2016 przez Afordancja

[thikim 117]

(p mod px) - czyli liczba od zera do px

lewa strona równania wynosi od px do 2px

 

prawa strona to:

(Z mod px) czyli też od 0 do px

mnożymy razy 2 czyli mamy od 0 do 2px

Tak na początek wrzucam bo na razie i tak nie dam rady więcej. A może kogoś zachęcę

Edytowane 2 września 2016 przez thikim

[Jajcenty 314]

Na moje oko, Thikim właśnie obalił Twoją tezę. Pardą mój zapis: <px ; 2px> = <0 ; 2px> 

Lewa jak i prawa zależą tylko od px bo modulo. Niezależnie od wybranych p i Z lewa zawiera się w prawej. Na moje oko zawsze istnieje część wspólna.

[Afordancja 57]

Thikim właśnie obalił Twoją tezę

 

hm...No chyba nie bardzo.

 

 

 

Niezależnie od wybranych p i Z lewa zawiera się w prawej. Na moje oko zawsze istnieje część wspólna

 

Może dam przykład.

 

weźmy dla przykładu Z =  713

dla p = 3 (albo 17,53,,59,itd.) 

 

Nie ma takiego px aby to równanie było spełnione

 

I tak dla każdej Z znajdę takie p, że nie znajdziesz takiego px aby się to równanie zawarło.

 

 

[edit]

oczywiście px< od Z.

 

Pierwsze px które spełnia to równanie dla p = 3 równa się px = 1423  (czyli 2*z - p)

 

Co ciekawe dla p = 17 Z = 713, pierwsze px które spełnia równanie to px = 1409 czyli (2*z - p)

 

[edit2]

Oczywiście te 2*z-p to liczby pierwsze

Edytowane 2 września 2016 przez Afordancja

[Jajcenty 314]

 

 

hm...No chyba nie bardzo.

Ano!  Zrozumiałem tezę trochę poniewczasie. 

[Afordancja 57]

PS.

p > 2