# [SOLVED] Tough Combinations Problem

• May 4th 2010, 01:11 PM
chickeneaterguy
[SOLVED] Tough Combinations Problem
EDIT: solved.
• May 4th 2010, 03:16 PM
undefined
Quote:

Originally Posted by chickeneaterguy
I may be missing something very obvious but this problem seems a bit tough to me. Help?

Find as many odd integers n less than 200 as you can for which C(n,floor(n/2)) is not divisible by the square of a prime.

I haven't solved the problem, but I think I know how to begin.

For reference, "k is not divisible by the square of a prime" is the same as "k is squarefree." Also, the term squareful is the same as nonsquarefree.

The discussion on this post is very relevant. We can compare prime factorisations of the numerator and denominator of $\binom{n}{\lfloor n/2 \rfloor}=\frac{n!}{\lfloor n/2 \rfloor! \cdot \lceil n/2 \rceil!}$. For a particular prime, we are interested in whether the exponent in the numerator minus the exponent in the denominator is greater than or equal to 2, in which case the result is squareful. If there is no prime with this property, then the result is squarefree.

For ease of notation, let $k_1=\lfloor n/2 \rfloor$ and $k_2=\lceil n/2 \rceil$.

We can consider each prime power $p^\alpha$ separately, in which case we are comparing the quantities $\bigg\lfloor \frac{n}{p^\alpha} \bigg\rfloor$ and $\bigg\lfloor \frac{k_1}{p^\alpha} \bigg\rfloor + \bigg\lfloor \frac{k_2}{p^\alpha} \bigg\rfloor$.

I've only done some preliminary hand calculations and pattern searching and have not proven anything so far. With more time, I'm pretty confident a pattern would emerge which could then be proven. If you're not required to write a proof and are allowed to write a computer program, a naive algorithm will run very quickly for an upper bound of 200.
• May 4th 2010, 03:18 PM
chickeneaterguy
I THINK the answers are 1,3,5,7,11,17,19,23. I did it through excel. I only used primes up to 1000 though.
• May 4th 2010, 04:00 PM
undefined
Quote:

Originally Posted by chickeneaterguy
I THINK the answers are 1,3,5,7,11,17,19,23. I did it through excel. I only used primes up to 1000 though.

It is not possible to have a prime greater than 200 in any of the calculations here.

I wrote out a naive program, and in addition to your numbers I also got 71, but no others.
• May 4th 2010, 04:12 PM
Plato
Quote:

Originally Posted by undefined
It is not possible to have a prime greater than 200 in any of the calculations here.

I wrote out a naive program, and in addition to your numbers I also got 71, but no others.

71 does not work.
$\binom{71}{\left\lfloor {\frac{{71}}{2}} \right\rfloor}=221256270138418350000$
That number has four ‘trailing zeros’, so both $2^4~\&~5^4$ are factors.
• May 4th 2010, 04:16 PM
chickeneaterguy
C(71, 35) = 221256270138418389602

C&#x28;71,35&#x29; - Wolfram|Alpha

Confused...(Wondering)
• May 4th 2010, 04:28 PM
gmatt
This is a silly problem if there is no underlying pattern, its too trivial to solve with a computer and if it comes down to brute forcing by hand its just tedious.
• May 4th 2010, 04:31 PM
Plato
Quote:

Originally Posted by chickeneaterguy
C(71, 35) = 221256270138418389602

C&#x28;71,35&#x29; - Wolfram|Alpha

Confused...(Wondering)

You are correct. And 71 does work.
I did not set my CAS correctly.
• May 4th 2010, 04:44 PM
chickeneaterguy
hey...I have this spreadsheet as I did mine through excel. Can someone explain to me(or maybe just look) at what's wrong with this since I'm not getting 71 as an answer?
• May 4th 2010, 05:07 PM
Plato
Quote:

Originally Posted by chickeneaterguy
hey...I have this spreadsheet as I did mine through excel. Can someone explain to me(or maybe just look) at what's wrong with this since I'm not getting 71 as an answer?

That is most likely the same problem I had with my computer algebra system.
Excel is not a symbolic algebra system.
Wolfram|alpha is.
Ask it to factor that number.
• May 4th 2010, 05:13 PM
chickeneaterguy
Quote:

Originally Posted by Plato
That is most likely the same problem I had with my computer algebra system.
Excel is not a symbolic algebra system.
Wolfram|alpha is.
Ask it to factor that number.

Okay, thanks.
• May 4th 2010, 05:17 PM
undefined
Quote:

Originally Posted by chickeneaterguy
hey...I have this spreadsheet as I did mine through excel. Can someone explain to me(or maybe just look) at what's wrong with this since I'm not getting 71 as an answer?

Confirming what Plato said, when I highlighted the cell with C(71,35) and changed the number format to remove scientific notation, I got

221256270138418000000

221256270138418389602

So it is a precision issue.
• May 4th 2010, 05:23 PM
chickeneaterguy
Quote:

Originally Posted by undefined
Confirming what Plato said, when I highlighted the cell with C(71,35) and changed the number format to remove scientific notation, I got

221256270138418000000