![]() |
[QUOTE=Happy5214;572969]You know, you don't have to copy the forum posts exactly. :smile: You might want to reorganize it. Maybe put the conjectures in one section and the remarks and other stuff in a separate section.[/QUOTE]
I will probably put the page on my website as shown in post # 925, unless you still make some changes in the layout or in the tags, area where I don't understand much. I will also have less time in the next few days, because unfortunately my vacation is going to end. I can always edit the page later. |
[QUOTE=Happy5214;572967]All of those powers seem have the factors 3*5*7*13 in the first term. While not abundant on its own (3*5*7*13 = 1365, while its aliquot sum is 1323), it is very nearly so. I wasted nearly 3 hours trying to find a formula to derive the sequence of first terms from the previous powers to write an inductive modular proof that all base 38 powers that are multiples of 12 have those factors, with no success. The rule does hold to 38^300, though, and thus they are likely to be abundant.[/QUOTE]
Thank you for this demonstration attempt ! Me, I am focusing on the end of remark 2 of post #921. OK, now the calculations have been done for base 38. But why do we have nothing for bases 6, 12, 24, 30, 72 ...? These are bases which have the factor 3 in their decomposition. But there are others who have the factor 3 and who have something: 18, 42, 882 ... I look at the data over and over again ! |
1 Attachment(s)
[QUOTE=garambois;572975]I will probably put the page on my website as shown in post # 925, unless you still make some changes in the layout or in the tags, area where I don't understand much.
I will also have less time in the next few days, because unfortunately my vacation is going to end. I can always edit the page later.[/QUOTE] Oh, I tried to mock up an example (not full) layout, but forgot to post it. :blush: It's attached here. PS Regarding above, I did end up finding the formulas, but still couldn't complete the inductive proof. I'll post the formulas here if anyone wants to try their hand at it: [code]x = ((19^(12*(n+1)+1))-((19^(12*n+1))))/18 y = 2^(12*(n+1)+1)-2^(12*n+1) z = (((19^(12*(n+1)+1))-((19^(12*n+1))))/18) * (2^(12*(n+1))-2) w = (2^(12*(n+1)+1)-2^(12*n+1)) * (((19^((12*n)+1))-19)/18) v = 2^(12*(n+1)) * (((19^(12*(n+1)))-((19^(12*n+1))))/18) prev = 2^(12*n) * 19^(12*n) old = <previous sum> new = old+prev+x+y+z+w+v [/code] where [i]n[/i] is the multiple of 12. Finding that it's always 0 mod 1365 is a good start (it proves my claim above about the factors), but not sufficient to prove that it's always abundant. |
In keeping with the spirit of investigating base 2*p, next up is base 46.
Preliminary results show a similar phenomena. Additionally, 46^6n shows an abundance of (3 * 5 * 7) along with 46^12n (3 * 5 * 7 * 13) to advance the sequence. |
[QUOTE=Happy5214;572980]where [i]n[/i] is the multiple of 12. Finding that it's always 0 mod 1365 is a good start (it proves my claim above about the factors), but not sufficient to prove that it's always abundant.[/QUOTE]
38^(12*19) has [URL="http://factordb.com/sequences.php?se=1&aq=38%5E%2812*19%29&action=range&fr=0&to=20"]next term[/URL] as 3*5*7*13*229*457*C353. As the composite has no small factor, this is not abundant. |
[QUOTE=Happy5214;572980]Oh, I tried to mock up an example (not full) layout, but forgot to post it. :blush: It's attached here.
[/QUOTE] Thanks a lot for your help ! I will try to modify the html code like in your example. But I'm running out of time. I think it takes hours of work to rearrange everything like in your example. I hope I am wrong. I don't know when I will be able to publish the page or both pages if I separate the two posts. I will keep you posted... |
[QUOTE=RichD;572983]In keeping with the spirit of investigating base 2*p, next up is base 46.
Preliminary results show a similar phenomena. Additionally, 46^6n shows an abundance of (3 * 5 * 7) along with 46^12n (3 * 5 * 7 * 13) to advance the sequence.[/QUOTE] OK, seen. Thanks for the base 46. You talk about an abundance of (3 * 5 * 7), didn't you want to write (3^3 * 5 * 7) instead ? |
[QUOTE=warachwe;572994]38^(12*19) has [URL="http://factordb.com/sequences.php?se=1&aq=38%5E%2812*19%29&action=range&fr=0&to=20"]next term[/URL] as 3*5*7*13*229*457*C353. As the composite has no small factor, this is not abundant.[/QUOTE]
Well seen ! Thank you very much ! |
[QUOTE=garambois;573008]You talk about an abundance of (3 * 5 * 7), didn't you want to write (3^3 * 5 * 7) instead ?[/QUOTE]
Ah, yes, poor choice of words on my part. I should have used presence of 3 * 5 * 7 or use abundance as you stated above. :smile: |
[QUOTE=warachwe;572994]38^(12*19) has [URL="http://factordb.com/sequences.php?se=1&aq=38%5E%2812*19%29&action=range&fr=0&to=20"]next term[/URL] as 3*5*7*13*229*457*C353. As the composite has no small factor, this is not abundant.[/QUOTE]
What is the upper bound on the abundance contribution of the C353? 3*5*7*13*229*457 already has an abundance ratio of 1.982=s(3*5*7*13*229*457)/3*5*7*13*229*457 |
[QUOTE=henryzz;573021]What is the upper bound on the abundance contribution of the C353? 3*5*7*13*229*457 already has an abundance ratio of 1.982=s(3*5*7*13*229*457)/3*5*7*13*229*457[/QUOTE]
Assuming no factors below 1e20 then the maximum abundance contribution of the C353 can be upper bounded by ((1e20+1)/1e20)^(floor(353/20))= (1+1e-20)^17= 1.00000000000000000017 or there about. |
| All times are UTC. The time now is 22:41. |
Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.