For how many integers y is 2 5 ( y − 3 ) + y + 4 1 8 also an integer?
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.
Great solution!
One improvement to make is to consider how to motivate the consideration of "y can be even or odd" and why that is relevant to the problem. It's not clear how this could be generalized to other cases. E.g. if the denominator was 10, does this mean that we have to consider 10 cases of 1 0 n + k ?
Log in to reply
You mean when 1 0 5 ( y − 3 ) ?
Log in to reply
Yes, or more generally, for a constant k , and the fraction k x f ( x ) .
Log in to reply
@Calvin Lin – 1 0 5 ( y − 3 ) = 2 y − 3 , so it reverts back to the way i solved it, to split it into 2 cases of y being even or odd.
I am afraid my solution is only useful for small values of k , else it becomes tedious.
Log in to reply
@Tay Yong Qiang – Ah well, 10 was a bad specific case to use since it cancelled out. What if the denominator was 14.
Like you said, your solution is useful for small cases of k , after which it will become tedious to check. Sometimes, it's better to have a few number of cases which lead to a lot of values to check, as opposed to having a lot of cases with a few values to check, since there is more work done to deal with each case, then there is to check if a specific value works.
Can you please tell me that how do we know that (y+4) is of the form 4r?
Log in to reply
@Yash Gadhia , because 1 8 = 2 ⋅ 3 2 so for y + 4 1 8 to be 2 h , we have to include 4 in the denominator to cancel out the 2 in the numerator and still have a factor of 2 remaining in the denominator.
Most people would think that we must have y + 4 ∣ 1 8 , and thus y + 4 = ± 1 , ± 2 , ± 3 , ± 6 , ± 9 , ± 1 8 . Then, checking that 2 5 ( y − 3 ) is an integer means that y is odd, and thus we have y + 4 = ± 1 , ± 3 , ± 9 which gives us 6 solutions.
However, they made the assumption that both of these terms must individually be integers, which need not be true. For example, with y = 0 , we get 2 − 1 5 + 4 1 8 = − 3 . We're missing out solutions where we have fractions summing up to integers, and these account for 6 more solutions making a total of 12.
How can we properly answer this problem?
Combining the fractions, we want N = 2 ( y + 4 ) 5 y 2 + 5 y − 2 4 to be an integer. If the denominator was only a monic linear term, we know how to deal with it using the remainder factor theorem . However, the leading coefficient of 2 introduces some complications for us.
Let's do some wishful thinking and get rid of it by multiplying by 2. IE
N
=
2
(
y
+
4
)
5
y
2
+
5
y
−
2
4
is an integer
⇒
2
N
=
(
y
+
4
)
5
y
2
+
5
y
−
2
4
is an (even) integer. (Note the single direction implication, where we get double implication if the integer is even). In this case, we know that we simply need
y
+
4
3
6
to be an integer, or that
y
+
4
=
±
1
,
2
,
3
,
4
,
6
,
9
,
1
2
,
1
8
,
3
6
.
Now, with these possible values of
y
, we test and see which ones of them give us an even
2
N
.
Note: Comparing with the other solutions, I do have a lot more values that need to be checked / rejected. However, as I do not have multiple cases, the initial thought analysis doesn't have to be reapplied to various cases/sub-cases.
I think there's a typo, the numerator should be 5 y 2 + 5 y − 2 4 instead.
Nice tricky problem.
My solution is merely streamlining some of the others.
If
y
is odd, then
y
+
4
must be an odd divisor of
1
8
, so that
y
+
4
=
±
1
,
±
3
,
±
9
.
If
y
=
2
x
is even, then
y
+
4
1
8
=
2
x
+
4
1
8
=
x
+
2
9
=
2
k
for an odd
k
, meaning that
x
+
2
is an even divisor of 18, so
x
+
2
=
±
2
,
±
6
,
±
1
8
and
y
+
4
=
±
4
,
±
1
2
,
±
3
6
. We have
1
2
solutions in all.
For simplicity, let y + 4 = x , so 2 5 ( y − 3 ) + y + 4 1 8 becomes 2 5 ( x − 7 ) + x 1 8 . Also, let L = 2 5 ( x − 7 ) and R = x 1 8 . Since the numerator of L is an integer, and the denominator 2, L will either end with a .5 or .0 after the decimal point. For the sum of L and R to be an integer, the R must therefore end in either a .5 or a .0 also.
Then, it must be true that x 1 8 = 2 I for some integer I . It follows that x is an integer factor of 36. So all satisfying values of x are among ± 1 , ± 2 , ± 3 , ± 4 , ± 6 , ± 9 , ± 1 2 , ± 1 8 , ± 3 6 .
For L to have no remainder, 5 ( x − 7 ) ∣ 2 ⟹ x is odd. Only a few values in the list are odd. Each one is a factor of 18, so R also has no remainder. Therefore, x = ± 1 , ± 3 , ± 9 all yield integers.
If x is even, L has .5 occur after the decimal, so R must as well. Then x is not a factor of 18. Therefore, values x = ± 4 , ± 1 2 , ± 3 6 all yield integers.
There are therefore 12 distinct values of x . Since x − 4 = y , there are also 12 distinct values of y .
PS: Rather than talking about numbers as ending with .5s or .0s, there is a more formal was uses a − ⌊ a ⌋ to show mathematically everything I talk about with .5s combining to make integers etc, however, I believe it would have convoluted my solution, especially when my goal is simply to share my course of action, as I believe it can be easily understood exactly what I mean when I talk about .5s and .0s.
Good clear explanation. The answer is a subset of the divisors of 36, and additional analysis allows us to reduce the need for testing.
Problem Loading...
Note Loading...
Set Loading...
Relevant wiki: Quadratic Diophantine Equations - Solve by Factoring
2 5 ( y − 3 ) + y + 4 1 8 = 2 ( y + 4 ) 5 y 2 + 5 y − 2 4
∵ 2 ( y + 4 ) is even, 5 y 2 + 5 y − 2 4 is even ⇒ 5 y 2 + 5 y is even ⇒ y ( y + 1 ) is even.
∴ y can be even or odd.
When y is odd, 2 5 ( y − 3 ) is an integer, hence y + 4 1 8 is also an integer, so we consider integer factors of 18.
∵ y + 4 is odd, the solutions include all odd factors of 18, that gives us 6 solutions.
When y is even, 2 5 ( y − 3 ) = 2 k , where k is an odd integer
∴ y + 4 1 8 = 2 h , for some odd integer h , so that the sum would be an integer.
Let y + 4 = 4 r ⇒ y + 4 1 8 = 4 r 1 8 = 2 1 ⋅ r 9
r 9 has to be an odd integer. ∴ r = ± 1 , ± 3 , ± 9 , which correspondingly gives us 6 integer solutions of y .
Therefore, we have 6 + 6 = 1 2 integer solutions of y .