problem solving

stephanson12

New member
Joined
Dec 16, 2023
Messages
20
We call a positive integer n peculiar if, for any positive divisor d of n, the integerd(d + 1) divides n(n + 1). Prove that for any four different peculiar positive integers A, B, C and D,the following holds:
gcd(A, B, C, D) = 1.
Here gcd(A, B, C, D) is the largest positive integer that divides all of A, B, C and D.

hello, can someone help me please
 
We call a positive integer n peculiar if, for any positive divisor d of n, the integerd(d + 1) divides n(n + 1). Prove that for any four different peculiar positive integers A, B, C and D,the following holds:
gcd(A, B, C, D) = 1.
Here gcd(A, B, C, D) is the largest positive integer that divides all of A, B, C and D.

hello, can someone help me please
I presume you meant to write:-

We call a positive integer n peculiar if, for any positive integer divisor of n, d, the integer d(d + 1) divides n(n + 1) evenly.
Prove that for any four different peculiar positive integers A, B, C and D, the following holds:-

gcd(A, B, C, D) = 1.

Here gcd(A, B, C, D) is the largest positive integer that divides all of A, B, C and D.


Please confirm that is the case or correct it and then show us what you have tried so far and tell us exactly where you are stuck.

Please follow the rules of posting in this forum, as provided at:-

 
I don't know how to use the following
We call a positive integer n peculiar if, for any positive integer divisor[of n, d, the integer d(d + 1) divides n(n + 1) evenly.
Prove that for any four different peculiar positive integers A, B, C and D, the following holds:-
gcd(A, B, C, D) = 1.

Here gcd(A, B, C, D) is the largest positive integer that divides all of A, B, C and D.
 
We call a positive integer n peculiar if, for any positive divisor d of n, the integerd(d + 1) divides n(n + 1). Prove that for any four different peculiar positive integers A, B, C and D,the following holds:
gcd(A, B, C, D) = 1.
Here gcd(A, B, C, D) is the largest positive integer that divides all of A, B, C and D.

hello, can someone help me please
I would start by experimenting, to get a feel for what it means. Can you find a "peculiar number"? Can you find four of them? (It's conceivable that they are very rare and hard to find, so you might not be able to do this; but just trying should help you think about the problem better.)

Let's try an example. Is n=6 a peculiar number? It has divisors d=1, 2, 3, and 6. Here n(n+1) = 6*7 = 42; and we want that to be divisible by 1(1+1) = 2, 2(2+1) = 6, 3(3+1) = 12 , and 6(6+1) = 42. We find that 2, 6, and 42 all divide 42, but 12 does not, so 6 is not peculiar.

Does this at least help in understanding what you are being asked? I haven't thought any further than this, so I don't know yet whether peculiar numbers even exist. But I can see how it might work if you pick a less (or more) special number than 6 ...

I have no idea what to suggest for a proof, unless you find that you can describe all peculiar numbers more simply. If you show us some thoughts of your own, we will probably have some more ideas for you.
 
I don't know how to use the following
All Prime numbers are peculiar. Can you see why?

But not all peculiar numbers are prime numbers.

For example: 15 & 95 are peculiar (but not prime; why?).

Does that help you get started?

(Hint: Examine the factors of the non-prime numbers I gave you.)
 
All Prime numbers are peculiar. Can you see why?

But not all peculiar numbers are prime numbers.

For example: 15 & 95 are peculiar (but not prime; why?).

Does that help you get started?

(Hint: Examine the factors of the non-prime numbers I gave you.)
ah thank you, I understand that all prime numbers are peculair. But I don't understand your example with 15 (=5*3) and 95 (=5*19). I know that these numbers are peculair, but I see no connection between the two numbers
 
ah thank you, I understand that all prime numbers are peculair. But I don't understand your example with 15 (=5*3) and 95 (=5*19). I know that these numbers are peculair, but I see no connection between the two numbers
What is it you are being asked to show?

And what, if anything, does it suggest to you?

I gave you two non-prime peculiar numbers: 15 & 95 (287 is a third) and suggested you investigate them further (see Hint).

You really need to show us some work that you have done before more help is likely to be forthcoming. 🤔

I also asked if you understood why all primes are peculiar. You could start by thinking about that and offering an explanation of it.
 
The first 5 non-prime peculiars are 15, 95, 287, 1199, and 4607.
As an interest in this problem, here's an Excel formula that checks if a number is peculiar. Note this only works for version 365.
Rich (BB code):
=LET(
s,A2/SEQUENCE(A2),
d,FILTER(s,MOD(s,1)=0),
dd,d*(d+1),n,A2*(A2+1),
m,MOD(n/dd,1)=0,SUM(--m)=ROWS(m))

This formula checks if the number is prime.
Rich (BB code):
=IF(A2=2,TRUE,IF(AND(MOD(A2,ROW(INDIRECT("2:"&ROUNDUP(SQRT(A2),0)))) <>0),TRUE,FALSE))
 
All primes are peculiar.
If n=prime, d can be n or 1.
-if d=1: d(d+1)=2 and this always is a divisor of n(n+1)
-if d=n= d(d+1)=n(n+1) and this always is a divisor of n(n+1)

The first few peculiar non-primes are
15 = 3 x 5
95 = 5 x 19
287 = 7 x 41
1199 = 11 x 109
4607 = 17 x 271
....
 
All primes are peculiar.
If n=prime, d can be n or 1.
-if d=1: d(d+1)=2 and this always is a divisor of n(n+1)
-if d=n= d(d+1)=n(n+1) and this always is a divisor of n(n+1)

The first few peculiar non-primes are
15 = 3 x 5
95 = 5 x 19
287 = 7 x 41
1199 = 11 x 109
4607 = 17 x 271
....
This is what I get too. Also, it looks like all non-prime peculiars can be represented as [imath]n=p(p^2-p-1)[/imath] where [imath]p[/imath] is prime. At least all the ones under 99,999 look this way (but I have no clue how to prove this) :

[math]\begin{array}{rcrcr} 15 &=& 3 &\times& 5 \\ 95 &=& 5 &\times& 19\\ 287 &=& 7 &\times& 41\\ 1199 &=&11 &\times& 109\\ 4607 &=& 17 &\times& 271\\ 23519 &=& 29 &\times& 811\\ 28799 &=& 31 &\times& 929\\ \end{array}[/math]
 
Last edited:
If n=prime, d can be n or 1.
-if d=1: d(d+1)=2 and this always is a divisor of n(n+1) Why?
-if d=n= d(d+1)=n(n+1) and this always is a divisor of n(n+1)
The first few peculiar non-primes are
15 = 3 x 5
95 = 5 x 19
287 = 7 x 41
1199 = 11 x 109
4607 = 17 x 271
....
The blue part (above) is just a direct copy of Massist's post in Math Forums! 🤷‍♂️

You appear to be just sitting back and waiting for others to post the solution (or the steps towards it) without making very much effort yourself! 🤔

You need to 'tidy up' the green part so that it proves that all primes are peculiar.

There's almost certainly enough information been provided (by others) to enable the original question to be answered.

How about you take what's been given and show us your attempt to manipulate that (and the little bit of work that you appear to have done) towards a solution?
 
I'm often curious where an interesting problem comes from; the only other place I find this one (besides Math Forums) is here:


Interesting that it's dated yesterday. I don't know if that adds anything to our knowledge, except that it requires only high school level knowledge.

I myself would have waited to say anything concrete until we saw even a little bit of work. I just hinted "... unless you find that you can describe all peculiar numbers more simply", having seen the fact about primes (but not whatever comes next).
 
I'm often curious where an interesting problem comes from; the only other place I find this one (besides Math Forums) is here:


Interesting that it's dated yesterday. I don't know if that adds anything to our knowledge, except that it requires only high school level knowledge.

I myself would have waited to say anything concrete until we saw even a little bit of work. I just hinted "... unless you find that you can describe all peculiar numbers more simply", having seen the fact about primes (but not whatever comes next).
As far as I can see, s/he's been given everything s/he needs to answer the question asked but appears to be reluctant to submit any fresh ideas or thoughts (maybe s/he just doesn't have any or any real enthusiasm to put the effort in? 🤔).

A meagre couple of lines that s/he was led to by the nose (but still haven't been properly framed) hardly demonstrate good use of all the contributions made so far. 🤷‍♂️
 
I'm often curious where an interesting problem comes from; the only other place I find this one (besides Math Forums) is here:

https://www.egmo.org/egmos/egmo13/paper-day1-English.pdf

This probably merits a separate thread in a different section, but: how much time does it make sense to spend helping with olympiad-grade problems? They, of course, can be very interesting, but most of them don't do much in terms of better understanding of math.
 
This is what I get too. Also, it looks like all non-prime peculiars can be represented as [imath][COLOR=rgb(184, 49, 47)][B]n=p(p^2-p-1)[/B][/COLOR][/imath] where [imath]p[/imath] is prime. At least all the ones under 99,999 look this way (but I have no clue how to prove this) :
this means that n=p^3-p^2-p=p(p+1)(p-1)-p^2 = n
but we need to prove this, but i don't knew how

this looks a little bit like it;
p|n and p(p+1)|n(n+1) is given
so p(p+1)*Q = n^2+n
p(p+1)*Q - n^2 = n
 
My thought is to use proof by contradiction assuming [imath]\gcd(A, B ,C ,D) = k >1[/imath].
 
This is what I get too. Also, it looks like all non-prime peculiars can be represented as [imath]n=p(p^2-p-1)[/imath] where [imath]p[/imath] is prime. At least all the ones under 99,999 look this way (but I have no clue how to prove this) :

[math]\begin{array}{rcrcr} 15 &=& 3 &\times& 5 \\ 95 &=& 5 &\times& 19\\ 287 &=& 7 &\times& 41\\ 1199 &=&11 &\times& 109\\ 4607 &=& 17 &\times& 271\\ 23519 &=& 29 &\times& 811\\ 28799 &=& 31 &\times& 929\\ \end{array}[/math]
The roots of [imath] p^2-p-1 [/imath] are the golden ratio and its negative solution. This brings the Fibonacci numbers into the game.
And [imath] n(n+1)=(p^2 - p - 1) (p - 1)^2 p(p + 1) [/imath] in case [imath] n=p(p^2-p-1), [/imath] i.e. [imath] n+1=(p-1)^2(p+1). [/imath]
 
This is what I get too. Also, it looks like all non-prime peculiars can be represented as [imath]n=p(p^2-p-1)[/imath] where [imath]p[/imath] is prime. At least all the ones under 99,999 look this way (but I have no clue how to prove this) :

[math]\begin{array}{rcrcr} 15 &=& 3 &\times& 5 \\ 95 &=& 5 &\times& 19\\ 287 &=& 7 &\times& 41\\ 1199 &=&11 &\times& 109\\ 4607 &=& 17 &\times& 271\\ 23519 &=& 29 &\times& 811\\ 28799 &=& 31 &\times& 929\\ \end{array}[/math]
We call a positive integer [imath] n[/imath] peculiar if, for any positive divisor [imath] d[/imath] of [imath] n[/imath] , the integer [imath] d(d + 1)[/imath] divides [imath] n(n + 1).[/imath]

Lemma: If [imath] n[/imath] is peculiar and has at most two prime divisors then [imath] n\in \{p\, , \,p(p^2-p-1)\}[/imath] and [imath] p^2-p-1[/imath] is prime.

Proof: If [imath] p\,|\,n[/imath] then [imath] n=p\cdot m.[/imath] In case [imath] m=1[/imath] we have [imath] p(p+1)=n(n+1)\,|\,n(n+1)[/imath] and [imath] 1\cdot (1+1)= 2\,|\,n(n+1)[/imath] so primes are peculiar. Let us therefore assume that [imath] n[/imath] is not prime and [imath] m>1.[/imath]

Let [imath] m=q[/imath] be prime and [imath] n=p\cdot q[/imath] a product of two primes. In case [imath] p=q[/imath] we get
[math]\begin{array}{lll} p(p+1)\,|\,n(n+1)&=p^2(p^2+1)=p^4+p^2=p^3(p+1)-p^3+p^2\\ &=p^3(p+1)-p^2(p+1)+2p^2\\ &=p^3(p+1)-p^2(p+1)+2p(p+1)-2p\\ &=p^3(p+1)-p^2(p+1)+2p(p+1)-2(p+1)+2\\ &\Rightarrow 0\equiv 2\bmod{p+1} \end{array}[/math]which is impossible since [imath] p>1.[/imath] Therefore [imath] p\neq q[/imath] and
[math]\begin{array}{lll} q(q+1)\,|\,n(n+1)=pq(pq+1)&\Longrightarrow (q+1)\,|\,p(pq+1)=p^2(q+1)-p^2+p\\ &\Longrightarrow (q+1)\,|\,p(p-1) \end{array}[/math]and for symmetry reasons also [imath] (p+1)\,|\,q(q-1).[/imath] Thus [imath] r\cdot(q+1)=p(p-1)[/imath] and [imath] s\cdot(p+1)=q(q-1)[/imath] for some positive integers [imath] r,s\in \mathbb{Z}.[/imath] If [imath] p=2[/imath] then [imath] (q+1)\,|\,2\cdot(2-1)=2[/imath] which is impossible for [imath] q>1.[/imath] We may thus assume that we have odd primes [imath] 3\leq p <q[/imath] and [imath] q\,\nmid\,(p+1).[/imath] Hence [imath] q\,|\,s[/imath] or [imath] q\cdot t=s[/imath] and [imath] t\cdot(p+1)=q-1[/imath] for some positive integer [imath] t\in \mathbb{Z}.[/imath]

If [imath] p\,\nmid\,(q+1)[/imath] then [imath] p\,|\,r,[/imath] say [imath] p \cdot u=r.[/imath] Thus
[math]0<u=\dfrac{p-1}{q+1}=\dfrac{p-1}{tp+t+2}\in \mathbb{Z}[/math]which implies first [imath] t=0[/imath] and then [imath] s=0[/imath] which is a contradiction. We therefore have [imath] p\,|\,(q+1),[/imath] say [imath] p\cdot k=q+1,[/imath] i.e. [imath] r(q+1)=rpk=p(p-1)[/imath] for some positive integer [imath] k\in \mathbb{Z}[/imath] and
[math]p=rk+1 \text{ and }q=t(rk+2)+1=rk^2+k-1 .[/math]If [imath] t\geq k[/imath] then [imath] rk^2+k-1=t(rk+2)+1\geq rk^2+ 2k+1[/imath] which isn't possible for positive [imath] k.[/imath] Hence we may assume [imath] t<k[/imath] or [imath] -k<-t.[/imath] Now
[math]\begin{array}{lll} 0&=rkt+2t-rk^2-k+2=r(kt-k^2)-(k-2t-2)\\ r&=\dfrac{k-2t-2}{k(t-k)}=\dfrac{2t+2-k}{k(k-t)}>0\\ 0&< 2t+2-k\text{ and thus }t<k<2(t+1)\\ k&\in \{t+1,\ldots,2t+1\}\, , \,k-t\in \{1,\ldots,t+1\}\\ r&=\dfrac{2t+2-k}{k(k-t)}\geq 1\\ 0&<k(k-t)\leq 2t+2-k < t+2< k+2\\ 0&<k-t< 1+\dfrac{2}{k} \end{array}[/math]Since both, [imath] t[/imath] and [imath] k[/imath] are positive, and [imath] 0<t<k,[/imath] the smallest possible number is [imath] k=2.[/imath] On the other hand, if [imath] k\geq 2,[/imath] then [imath] k-t \in ]0,2[.[/imath] and so [imath] k=t+1. [/imath] We have then in all cases
[math]r=\dfrac{2t+2-k}{k(k-t)}=\dfrac{2t+2-t-1}{t+1}=1[/math]and thus
[math]q=p(p-1)-1=p^2-p-1 \text{ prime. }[/math]as demanded.

So if I didn't make any mistakes, this reduced the problem to ...

If [imath] n [/imath] is peculiar then it has at most [imath] 2 [/imath] prime factors.

The original problem should be easier once we know what peculiar numbers look like.
 
Last edited:
Note: A number [imath] n [/imath] is peculiar if [imath] d\,|\,n\Longrightarrow d(d+1)\,|\,n(n+1). [/imath]

I can prove the original statement in post #1 (four different peculiar numbers are coprime) and the general conjecture from post #10 (a peculiar number looks like a product of two primes [imath] n=p\cdot q [/imath] where [imath] q=p^2-p-1 [/imath]
in case [imath] n [/imath] has at most two prime factors, but I have no idea how to prove that.

Does anybody else have an idea how to prove that peculiar numbers cannot have 3 different divisors?
 
Top