Consider the polynomial
f ( x ) = ( x 2 0 + x 1 3 + 1 ) 3 3 .
When fully expanded, how many terms have a non-zero coefficient?
Details and assumptions
As an explicit example, since ( x 2 + 1 ) 3 = x 6 + 3 x 4 + 3 x 2 + 1 , there are 4 terms with a non-zero coefficient.
You may use the fact that ( 2 3 3 ) = 5 2 8 , ( 2 3 4 ) = 5 6 1 and ( 2 3 5 ) = 5 9 5 .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
The first thing to note is that all nonzero terms upon expansion (even before combining like terms, if you were to distribute everything out) will have positive coefficients, so we do not have to worry about two like terms simplifying to 0. Essentially, the question is asking for the number of distinct exponents that can be formed upon expansion (we will ignore terms with a coefficient of 0).
Thus, we will consider only the exponents and not the coefficients. Upon expansion (you may wish to imagine using the Multinomial Theorem if you cannot easily understand the following), all exponents will have the form 2 0 a + 1 3 b + 0 c , where a + b + c ≤ 3 3 and a , b , c ∈ W . We have 0 c to account for the constant in the factored form, but for our purposes, it is redundant, so we reduce the problem to finding the number of distinct values that can be formed from the expression 2 0 a + 1 3 b where a + b ≤ 3 3 .
To do this, we will overcount and then subtract the overcounting. If we just consider the number of nonnegative integer pairs ( a , b ) while a + b ≤ 3 3 , we get ( 2 3 5 ) = 5 9 5 . If this is not clear, consider each case (eg: a + b = 0 has 1 solution, up to a + b = 3 3 has 3 4 solutions) and add them up.
Now we add the restriction of the expression 2 0 a + 1 3 b being distinct for each ( a , b ) . Since 2 0 and 1 3 are relatively prime, the first case of overcounting deals with the fact that 2 0 ⋅ 1 3 = 1 3 ⋅ 2 0 , which occurs from the pairs ( 1 3 , 0 ) and ( 0 , 2 0 ) . In fact, all cases of overcounting will occur from the pairs ( 1 3 n + m , k ) and ( m , 2 0 n + k ) , where k , m , n ∈ N . However, it is clear that for any n > 1 , we have a + b > 3 3 , so we only need to consider the case where n = 1 . We see that we must have the condition m + k ≤ 1 3 , and there are ( 2 1 5 ) = 1 0 5 ways for this to be satisfied.
Therefore, there will be 5 9 5 − 1 0 5 = 4 9 0 terms with a nonzero coefficient.
I think it should be a + b + c = 3 3 , then because c ≥ 0 we get a + b ≤ 3 3 ???
We can write f ( x ) as the product of 3 3 brackets: ( x 2 0 + x 1 3 + 1 ) ( x 2 0 + x 1 3 + 1 ) ( x 2 0 + x 1 3 + 1 ) . . . . ( x 2 0 + x 1 3 + 1 )
A term in the expansion of f ( x ) is obtained by choosing one term from each of the 3 3 brackets and multiplying these terms together. Let's say the term x 2 0 is chosen a times and the term x 1 3 is chosen b times. The power of the term obtained will be 2 0 a + 1 3 b .
The problem thus reduces to the following. Given two non-negative integers a and b such that a + b ≤ 3 3 , how many distinct values can 2 0 a + 1 3 b take?
We will solve this by first counting the total number of pairs of a and b , then subtracting the number of times two pairs give repeated values of 2 0 a + 1 3 b .
We start by counting the number of pairs of non-negative integers a and b such that a + b ≤ 3 3 . When a = 0 , b can range from 0 to 3 3 , giving 3 4 possible pairs. When a = 1 , b can range from 0 to 3 2 , giving 3 3 possible pairs.When a = 2 , b can range from 0 to 3 1 , giving 3 2 possible pairs. Continuing in this pattern, we will reach the case when a = 3 3 , b can only be 0 , giving 1 possible pair. Thus the total number of pairs is 3 4 + 3 3 + 3 2 + . . . + 1 = ( 2 3 5 ) = 5 9 5
Now we count the cases where 2 0 a + 1 3 b are not distinct. Consider the case when 2 0 a + 1 3 b = 2 0 a ′ + 1 3 b ′ , with a ′ > a (and therefore b ′ < b . This happens if and only if a ′ = a + 1 3 t and b ′ = b − 2 0 t for some positive integer t . We have 0 ≤ b ′ = b − 2 0 t ≤ 3 3 − 2 0 t so 3 3 − 2 0 t ≥ 0 , giving t ≤ 1 . Since t is positive, t can only be 1 .
Thus we see that a ′ = a + 1 3 and b ′ = b − 2 0 . We then proceed to count the number of duplicates. For convenience, we denote ( a , b ) ≡ ( a ′ , b ′ ) to show that this is a pair of duplicates.
When a = 0 we have the following duplicates: ( 0 , 2 0 ) ≡ ( 1 3 , 0 ) , ( 0 , 2 1 ) ≡ ( 1 3 , 1 ) , ( 0 , 2 2 ) ≡ ( 1 3 , 2 ) , . . . ( 0 , 3 3 ) ≡ ( 1 3 , 1 3 ) Altogether there are 1 4 pairs
Continuing in the same way, we see that when a = 1 there are 1 3 pairs, when a = 2 there are 1 2 pairs,... until when a = 1 3 there is 1 pair.
Thus the total number of duplicates is 1 4 + 1 3 + 1 2 + . . . + 1 = ( 2 1 5 ) = 1 0 5
The answer we need is thus equal to 5 9 5 − 1 0 5 = 4 9 0
Brilliant solution...
I thought it should be 504 because you should let one of each non-distinct solution to be a part of the solution. 490 means that non of the distinct solution is a part of the solution. 490 + 14 = 504
Log in to reply
5 9 5 solutions include the duplicates counted twice, so we need to subtract once to get the number of distinct values. You don't have to add back.
We can find the total number of terms since we can each of the 33 "powers" into a "20" box, a "13" box, or a "0" box. Basically, we find the number of pairs of integers ( a , b ) such that a + b ≤ 3 3 . This is ( 2 3 5 ) = 5 9 5 Now, we must account for overcounting. Since g cd ( 1 3 , 2 0 ) = 1 , the first number that can be expressed as a multiple of 13 plus a multiple of 20 in more than one way is 1 3 ⋅ 2 0 . 2 0 ⋅ 1 3 = 1 3 ⋅ 2 0 A second collision would occur if we have 1 3 m ⋅ 2 0 n , but since we only have 13 more powers to distribute on the left side, we cannot have m , n > 1 .
Now, we have 13 more powers to distribute among both sides. The number of ways to do this, similarly to how we distributed the 33 powers initially, is ( 2 1 5 ) = 1 0 5 The answer is 5 9 5 − 1 0 5 = 4 9 0 .
The exponents of the non-zero terms are precisely the set { 2 0 a + 1 3 b + 0 c ∣ a + b + c = 3 3 } = { 2 0 a + 1 3 b ∣ a + b ≤ 3 3 } . There are 3 4 ⋅ 3 5 / 2 = 5 9 5 such pairs ( a , b ) ; however, the values of 2 0 a + 1 3 b are not all unique.
Any pair ( a , b ) with b ≥ 2 0 generates the same exponent as the pair ( a + 1 3 , b − 2 0 ) . Therefore we limit ourselves to the cases with b < 2 0 . SInce 13 and 20 are coprime, all values of 2 0 a + 1 3 b are now guaranteed to be unique.
Count therefore all pairs ( a , b ) with 0 ≤ a , 0 ≤ b ≤ 1 9 , and a + b ≤ 3 3 ; that gives b = 0 ∑ 1 9 ( 3 4 − b ) = 2 0 ⋅ 3 4 − b = 0 ∑ 1 9 b = 2 0 ⋅ 3 4 − 2 3 4 ⋅ 3 5 = 4 9 0 .
Problem Loading...
Note Loading...
Set Loading...
Terms in the expansion of ( f ( x ) look like: ( x 2 0 ) i ⋅ ( x 1 3 ) j ⋅ 1 k where i + j + k = 3 3 .
So we need to find all the possible distinct values of 2 0 i + 1 3 j subject to the constraints 0 ≤ i + j ≤ 3 3 and 0 ≤ i , j .
Now, if we restrict j to the range [ 0 , 1 9 ] then we still include all possible values. This is because if there is some N = 2 0 i + 1 3 j with j ≥ 2 0 , then the value N = 2 0 ( i + 1 3 ) + 1 3 ( j − 2 0 ) is in the restricted range already, and i + 1 3 + j − 2 0 = i + j − 7 satisfies the constraint 0 ≤ i + j ≤ 3 3 .
Since 1 3 and 2 0 are coprime, we do not have any duplicate values of N in this range either.
Now, if j = 0 then i ∈ [ 0 , 3 3 ] , i.e. 34 possibilities.
And if j = 1 then i ∈ [ 0 , 3 2 ] , i.e. 33 possibilities.
Carry on to j = 1 9 implying i ∈ [ 0 , 1 4 ] which is 15 possibilities.
So the sum we want is 3 4 + 3 3 + . . . . + 1 5 = 4 9 0