Too hard question
Moderators: kiore, Blip, The_Metatron
Evolving wrote:The trouble with Thommo's proof A and Scott's proof is that it doesn't work if the multiple of 3 is even (or, equivalently, if the two odd numbers are primes).
Thommo wrote:Calilasseia wrote:I'm tempted to suggest that the above problem is a special case for a more general theorem. Viz:
Every sequence of k consecutive integers, when multiplied together, produces another integer that is divisible by (k!).
How to prove this conjecture is currently exercising my mind somewhat.
Same ways as given before. The induction is easy, for example.
Base case: 1 x 2 x ... x k = k! by definition.
Induction step: Assume true for n:
n+1 x n+2 x ... x n+k = k! x c
Then n+2 x n+3 x ... x n+k x n+k+1 = k! x c x(n+k+1)/(n+1) = k(k! x c) + k! x c which is divisible by k!.
Pulsar wrote:Edit: Thommo, I think there's a mistake in your proof:
k! x c x(n+k+1)/(n+1) = k! x c + (k! x c)k/(n+1)
Thommo wrote:Pulsar wrote:Edit: Thommo, I think there's a mistake in your proof:
k! x c x(n+k+1)/(n+1) = k! x c + (k! x c)k/(n+1)
Yes, there is. I spotted that just before I went out earlier.
I think you need instead to observe that for all factors i <= k if im divides (n+1) then im+1 divides (n+i+1) instead, which is considerably less elegant.
Thanks for pointing out the error.
Thommo wrote:I'm not sure how we'd use that? We know they are all integers as the numbers are products of integer factors, it's trivial that dividing by one of those factors, namely (n+1) produces an integer, no?
Thommo wrote:Ahhh, I get it now, thanks.
I'm not sure it does though - all binomial coefficients C(n,k) are products of k or more consecutive numbers divided by k!
newolder wrote:@spike, The question as asked has two solutions (roots) for n. 10 and -9 are those roots but since -9 is not a physical number of sweets that one can hold in a bag, the solution n=10 is taken as physical.
newolder wrote:How does -9 sweets correspond to a collection of magnetic antimatter sweets?
Users viewing this topic: No registered users and 1 guest