20211109, 11:02  #1 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
2·1,699 Posts 
Two primerelated conjectures
Conjecture 1 (conjecture about square numbers and odd primes): Every number which is not twice a square number (A001105) can be written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, there are 47 known counterexamples, the largest known counterexample is 43358, and I conjectured that all other numbers which is not twice a square number can be written as this form.
Code:
1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358 * odd numbers: A060003 (including: 1, odd primes A042978 \ {2}, odd composites {5777, 5993} (Goldbach incorrectly conjectured that no such odd composites exist, see https://www.jstor.org/stable/2690477)) [10 elements] * even numbers where n/2 is prime: 2*A065377 U {6} (3 is the only number when written as sum of square number and prime requiring the even prime 2, this is equivalent to 6=2*3 in this problem) [16 elements] * even numbers where n/2 is composite: 2*A020495 [21 elements] totally 10+16+21 = 47 elements, see the OEIS references, odd numbers have been checked to 2*10^13, even numbers where n/2 is prime have been checked to 2*10^9 (since "sum of square and prime" have been checked to 10^9), even numbers where n/2 is composite have been checked to 2*10^11 (since "sum of square and prime" have been checked to 10^11), thus my conjecture about square numbers and odd primes have been checked to 2*10^9) Conjecture 2 (conjecture about triangular numbers and odd primes): Every number which is not twice a triangular number (A002378) can be written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, there are 8 known counterexamples, the largest known counterexample is 432, and I conjectured that all other numbers which is not twice a triangular number can be written as this form. Code:
1, 3, 4, 10, 14, 122, 422, 432 * odd numbers: {1, 3}, no OEIS sequences for this, and (conjectured by ZhiWei Sun, see A144590) every odd number larger than 3 can be written as sum of a nonzero Pronic number and an odd prime [2 elements] * even numbers where n/2 is prime: 2*A065397 U {10} (5 is the only number when written as sum of triangular number and prime requiring the even prime 2, this is equivalent to 10=2*5 in this problem) [5 elements] * even numbers where n/2 is composite: {432} (ZhiWei Sun conjectured that 432 is the only such number, see https://arxiv.org/abs/0803.3737) [1 element] totally 2+5+1 = 8 elements, see the OEIS references, odd numbers have been checked to 10^10, even numbers where n/2 is prime have been checked to 8*10^9 (since "sum of triangular and prime" have been checked to 4*10^9), even numbers where n/2 is composite have been checked to 2*10^12 (since "sum of triangular and prime" have been checked to 10^12), thus my conjecture about triangular numbers and odd primes have been checked to 8*10^9) Note: "U": set union "\": set difference Last fiddled with by sweety439 on 20211118 at 06:03 
20211109, 11:22  #2 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
3398_{10} Posts 
There are many numbers which is not twice a square number which can be uniquely written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, but I conjectured there are only finite such numbers (there are 318 known such numbers, the largest such number is 89072), furthermore, for every number r>=0, there are only finitely many numbers which is not twice a square number which can be written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, no more than r ways.
Code:
5, 7, 9, 11, 12, 14, 16, 22, 23, 27, 29, 30, 33, 34, 36, 38, 41, 44, 47, 48, 52, 53, 57, 58, 59, 65, 71, 80, 83, 86, 92, 95, 100, 102, 107, 110, 113, 123, 140, 143, 146, 148, 149, 152, 158, 161, 164, 188, 194, 197, 198, 212, 218, 230, 233, 239, 240, 257, 266, 272, 278, 281, 284, 287, 290, 302, 308, 314, 317, 318, 323, 332, 340, 347, 356, 362, 368, 383, 386, 404, 407, 410, 413, 422, 438, 442, 443, 446, 449, 458, 470, 482, 492, 500, 506, 530, 536, 542, 548, 554, 566, 569, 590, 596, 602, 620, 626, 632, 638, 650, 656, 662, 668, 680, 692, 698, 743, 773, 782, 785, 788, 794, 798, 818, 824, 848, 863, 872, 884, 890, 926, 938, 980, 998, 1010, 1022, 1082, 1094, 1118, 1124, 1148, 1172, 1178, 1220, 1227, 1232, 1238, 1292, 1322, 1367, 1388, 1415, 1418, 1478, 1502, 1562, 1586, 1598, 1622, 1668, 1670, 1703, 1748, 1754, 1787, 1828, 1844, 1892, 1898, 1940, 1958, 1988, 2042, 2060, 2090, 2123, 2132, 2138, 2174, 2180, 2210, 2234, 2328, 2342, 2402, 2408, 2438, 2486, 2507, 2558, 2582, 2648, 2708, 2732, 2762, 2768, 2822, 2858, 2900, 2933, 3002, 3062, 3110, 3242, 3284, 3317, 3434, 3452, 3482, 3515, 3530, 3572, 3620, 3662, 3713, 3722, 3758, 3770, 3962, 3980, 3998, 4022, 4082, 4118, 4148, 4178, 4292, 4334, 4490, 4502, 4532, 4538, 4568, 4586, 4673, 4688, 4820, 4832, 4958, 5078, 5102, 5300, 5612, 5642, 5708, 5798, 5852, 5942, 5987, 6008, 6188, 6218, 6302, 6332, 6368, 6518, 6602, 6797, 6836, 6938, 7004, 7142, 7622, 7718, 7730, 7928, 7982, 8432, 8444, 8558, 8660, 8828, 9008, 9020, 9122, 9290, 9308, 9422, 9722, 9860, 10964, 11012, 11090, 11498, 11972, 12062, 12098, 12548, 12602, 12878, 14018, 14162, 14882, 15758, 15908, 16172, 16838, 17168, 17648, 18428, 19142, 20330, 20918, 21548, 21722, 23018, 23612, 25022, 27668, 30212, 30668, 31130, 32162, 32372, 47702, 63758, 66410, 89072 even numbers: 2*A143989 (square number=0 allowed, prime=2 allowed) There are many numbers which is not twice a triangular number which can be uniquely written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, but I conjectured there are only finite such numbers (there are 58 known such numbers, the largest such number is 16632), furthermore, for every number r>=0, there are only finitely many numbers which is not twice a triangular number which can be written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, no more than r ways. Code:
5, 7, 8, 11, 18, 21, 22, 24, 27, 32, 38, 50, 51, 54, 57, 60, 62, 74, 84, 105, 108, 111, 126, 140, 150, 174, 180, 186, 242, 252, 258, 270, 357, 372, 471, 492, 510, 630, 666, 690, 765, 792, 810, 1080, 1112, 1380, 1434, 1602, 1848, 1920, 2160, 3726, 4752, 5397, 5652, 7800, 12420, 16632 Last fiddled with by sweety439 on 20220116 at 17:01 
20211109, 17:36  #3 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
6506_{8} Posts 
"Number of ways" sequences in OEIS:
Conjecture 1: odd numbers: A143539((n+1)/2) A046923((n1)/2) (allow the square number to be 0) even numbers: A064272(n/2) (allow the prime to be 2) A002471(n/2) (allow the prime to be 2) (allow the square number to be 0) Conjecture 2: odd numbers: A144590((n1)/2) even numbers: A132399(n/2) (allow the prime to be 2) (allow the triangular number to be 0) These two text files is the number of ways to write n as "(twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime" or "(twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime", the numbers n which is (for the former, n is itself twice a square number, for the latter n is itself twice a triangular number) are marked with star symbol "*", since they are not in our conjectures, many (in fact, almost all) such n cannot be written as this form, and we conjecture that all other n which is enough large (>43358 for square numbers, >432 for triangular numbers) can be written as this form. Last fiddled with by sweety439 on 20211118 at 06:08 
20211109, 17:49  #4 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
2×1,699 Posts 
Notes:
Conjecture 1: * For a number which is twice a square number (2*n^2), can be written as (twice a nonzero square number) + (2*p), the only possible prime is when the nonzero square number is 2*(n1)^2, because of algebraic factorization, and hence p=2*n1, thus, if 2*n1 is prime, then 2*n^2 can be uniquely written as this way, and if 2*n1 is not prime, then 2*n^2 cannot be written as this way, for the fully such numbers divided by 2 (allow the prime to be 2), see A064233 (also see A014090 for both allow the prime to be 2 and allow the square number to be 0) Conjecture 2: * For a number which is twice a triangular number (n*(n+1)), can be written as (twice a nonzero triangular number) + (2*p), the only possible prime is when the nonzero triangular number is (n1)*n or (n2)*(n1), because of algebraic factorization, and hence p=n or p=2*n1, thus, if only one of n and 2*n1 is prime, then n*(n+1) can be uniquely written as this way, and if neither n nor 2*n1 is prime, then n*(n+1) cannot be written as this way, for the fully such numbers divided by 2 (allow the prime to be 2), see A111908 (also see A076768 for both allow the prime to be 2 and allow the triangular number to be 0) Related OEIS sequences: Conjecture 1: 2*n1 is prime: A006254 2*n1 is not prime: A104275 2*n1 is composite: A053726 Conjecture 2: n and 2*n1 are both primes: A005382 n is prime but 2*n1 is not prime: A307390 n is not prime but 2*n1 is prime: A174166 n and 2*n1 are both not primes: A138666 Last fiddled with by sweety439 on 20211118 at 05:29 
20211116, 04:00  #5 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
D46_{16} Posts 
Update related text files.
Last fiddled with by sweety439 on 20211117 at 03:47 
20211117, 03:53  #6 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
2×1,699 Posts 
These are:
* Numbers not in A001105 which cannot be written as A001105(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded) {1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358} * Numbers not in A002378 which cannot be written as A002378(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded) {1, 3, 4, 10, 14, 122, 422, 432} Last fiddled with by sweety439 on 20211117 at 03:54 
20211117, 03:59  #7 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
2·1,699 Posts 
Conjecture about prime numbers and square/triangular numbers
Conjecture 1: Except these 47 numbers, all numbers which is not twice a square number (A001105) can be written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime:
{1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358} (i.e. except these 47 numbers, all positive integers which is not in A001105 can be written as A001105(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded)) Conjecture 2: Except these 8 numbers, all numbers which is not twice a triangular number (A002378) can be written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime: {1, 3, 4, 10, 14, 122, 422, 432} (i.e. except these 8 numbers, all positive integers which is not in A002378 can be written as A002378(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded)) 
20211117, 04:20  #8 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
3398_{10} Posts 
PARI/GP program:
Code:
isp(n)=(n==0)(isprime(n)&&n>2) is(n)=for(k=1,n,if(isp((n2*k^2)/(2(n%2))),return(0)));1 iss(n)=for(k=1,n,if(isp((nk*(k+1))/(2(n%2))),return(0)));1 Code:
isoddprime(n)=isprime(n)&&n>2 a(n)=sum(k=1,n,isoddprime((n2*k^2)/(2(n%2)))) b(n)=sum(k=1,n,isoddprime((nk*(k+1))/(2(n%2)))) 
20211118, 04:56  #9  
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
D46_{16} Posts 
Quote:


20211118, 05:41  #10 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36
2×1,699 Posts 
The counterexamples listed as sequences:
(A) Odd counterexamples (AA) Odd prime counterexamples (AB) Odd composite counterexamples (AC) Odd unit (only for "1") counterexamples [note: Odd counterexamples cannot allow the even prime 2, since (twice a square/triangular number) + (the even prime (2)) will be even number, not odd number] (B) Even counterexamples (BA) Even "twice prime" counterexamples (BAA) Even "twice prime" counterexamples which are still counterexamples even if allowing the even prime 2 (BAB) Even "twice prime" counterexamples which if allowing the even prime 2, then will not be counterexamples (BB) Even "twice composite" counterexamples (BBA) Even "twice composite" counterexamples which are still counterexamples even if allowing the even prime 2 (BBB) Even "twice composite" counterexamples which if allowing the even prime 2, then will not be counterexamples [note: no even "twice unit (only for "2")" counterexamples, since the number "2" is both "twice square number" and "twice triangular number", thus not in my conjectures] (C) Even "not counterexamples" since they are "twice square numbers" or "twice triangular numbers", there are infinitely many such numbers (CA) Even "not counterexamples" which are still counterexamples even if allowing the even prime 2 (CB) Even "not counterexamples" which if allowing the even prime 2, then will not be counterexamples Conjecture 1 (positive square number) + (odd prime (or) twice odd prime): (A) {1, 3, 17, 137, 227, 977, 1187, 1493, 5777, 5993} (A060003) (AA) {3, 17, 137, 227, 977, 1187, 1493} (A042978 \ {2}) (AB) {5777, 5993} (AA+AB) {3, 17, 137, 227, 977, 1187, 1493, 5777, 5993} (AC) {1} (B+C) (2*A064233 U {6}) (BAA+BBA+CA) (2*A064233) (B) {4, 6, 10, 20, 26, 62, 68, 74, 116, 122, 170, 182, 254, 260, 428, 452, 740, 758, 878, 1052, 1142, 1412, 1460, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5972, 6638, 7352, 15098, 19268, 43358} (BAA+BBA) {4, 10, 20, 26, 62, 68, 74, 116, 122, 170, 182, 254, 260, 428, 452, 740, 758, 878, 1052, 1142, 1412, 1460, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5972, 6638, 7352, 15098, 19268, 43358} (BAB+BBB) {6} (BA) {4, 6, 10, 26, 62, 74, 122, 254, 758, 878, 1142, 1658, 1982, 3098, 6638, 15098} (2*A065377 U {6}) (BAA) {4, 10, 26, 62, 74, 122, 254, 758, 878, 1142, 1658, 1982, 3098, 6638, 15098} (2*A065377) (BAB) {6} (BB+C) (2*A014090 U {}) (BBA+CA) (2*A014090) (BB) {20, 68, 116, 170, 182, 260, 428, 452, 740, 1052, 1412, 1460, 1542, 2510, 2702, 2828, 3812, 5972, 7352, 19268, 43358} (2*A020495 U {}) (BBA) {20, 68, 116, 170, 182, 260, 428, 452, 740, 1052, 1412, 1460, 1542, 2510, 2702, 2828, 3812, 5972, 7352, 19268, 43358} (2*A020495) (BBB) {} (C) (twice_square(A104275) U {}) (CA) (twice_square(A104275)) (CB) {} Conjecture 2 (positive triangular number) + (odd prime (or) twice odd prime): (A) {1, 3} (AA) {3} (AB) {} (AA+AB) {3} (AC) {1} (B+C) (2*A111908 U {6, 10}) (BAA+BBA+CA) (2*A111908) (B) {4, 10, 14, 122, 422, 432} (2*A255904 U {10}) (BAA+BBA) {4, 14, 122, 422, 432} (2*A255904) (BAB+BBB) {10} (BA) {4, 10, 14, 122, 422} (2*A065397 U {10}) (BAA) {4, 14, 122, 422} (2*A065397) (BAB) {10} (BB+C) (2*A076768 U {6}) (BBA+CA) (2*A076768) (BB) {432} (BBA) {432} (BBB) {} (C) (twice_triangular(A138666) U {6}) (CA) (twice_triangular(A138666)) (CB) {6} Last fiddled with by sweety439 on 20211118 at 06:23 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Are Bitcoins Prime Related  a1call  Miscellaneous Math  26  20210318 14:18 
Generalized Prime Riesel Conjectures  Siemelink  Conjectures 'R Us  6  20200805 00:11 
Oops  New Prime! (M49 related)  Prime95  News  631  20171110 20:35 
Poll for new conjectures prime search effort  gd_barnes  Conjectures 'R Us  14  20071222 07:13 
Another new prime (M42Related)  Uncwilly  News  132  20050510 19:47 