Non-biodegradable

Find the largest possible integer value of N N such that gcd ( N , 2033 ) = 1 \gcd(N, 2033) = 1 and N 2033 \frac{N}{2033} cannot be written as the sum of two positive rational numbers, each with denominators strictly less than 2033.

Details and assumptions

As an explicit example, since 170 2033 = 1 214 + 3 38 \frac{ 170} { 2033} = \frac{1}{214} + \frac{ 3 }{38 } , hence the answer is not 170.


The answer is 88.

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.

2 solutions

Mark Hennings
Nov 18, 2013

Suppose that N N N \in \mathbb{N} with ( N , 2033 ) = 1 (N,2033) = 1 . Note that 2033 = 19 × 107 2033 = 19\times107 . Since Z / 19 Z \mathbb{Z}/19\mathbb{Z} is a field, we can find 1 j 18 1 \le j \le 18 such that N j 12 107 Nj \, \equiv\, 12 \, \equiv\, 107 modulo 19 19 .

  1. If N 108 N \ge 108 then N j 107 N Nj - 107 \in \mathbb{N} is congruent to 0 0 modulo 19 19 , and hence we can write N j = 107 + 19 c Nj = 107 + 19c for some c N c \in \mathbb{N} . Thus N 2033 = 1 19 j + c 107 j \frac{N}{2033} \; = \; \frac{1}{19j} + \frac{c}{107j} and (since 1 j 18 1 \le j \le 18 ) we deduce that 1 19 j , 107 j < 2033 1 \,\le\, 19j\,,\,107j\,<\, 2033 .

  2. If N 54 N \ge 54 and N ≢ 12 N \not\equiv 12 modulo 19 19 , then we must have j 2 j \ge 2 . But then N j 107 N Nj - 107 \in \mathbb{N} is congruent to 0 0 modulo 19 19 , and hence we can write N j = 107 + 19 c Nj = 107 + 19c for some c N c \in \mathbb{N} . Thus N 2033 = 1 19 j + c 107 j \frac{N}{2033} \; = \; \frac{1}{19j} + \frac{c}{107j} and, again, 1 19 j , 107 j < 2033 1 \,\le\, 19j\,,\,107j\,<\, 2033 .

The numbers 54 N 107 54 \le N \le 107 which are congruent to 12 12 modulo 19 19 are 69 , 88 , 107 69,88,107 , and 107 107 is not coprime to 2033 2033 . Thus we know that, for any integer N 89 N \ge 89 which is coprime to 2033 2033 , N 2033 \frac{N}{2033} can be written in the desired form. It remains to confirm that 88 88 cannot be dealt with similarly.

Suppose that we can write 88 2033 = a b + c d \frac{88}{2033} \,=\, \frac{a}{b} + \frac{c}{d} where a , b , c , d N a,b,c,d \in \mathbb{N} , ( a , b ) = ( c , d ) = 1 (a,b) = (c,d) = 1 and 1 b , d < 2033 1 \le b,d < 2033 . Then 88 b d = 2033 ( a d + b c ) 88bd = 2033(ad + bc) , and hence both 19 19 and 107 107 divide 88 b d 88bd , and hence both divide b d bd . Since b , d < 2033 b,d < 2033 , we deduce that 19 19 must divide one of b , d b,d , with 107 107 dividing the other. Without loss of generality, assume that 19 19 divides b b , and that 107 107 divides d d , so that b = 19 u b = 19u and d = 107 v d = 107v where u , v N u,v \in \mathbb{N} are such that ( a , 19 u ) = ( c , 107 v ) = 1 (a,19u) = (c,107v) = 1 and 1 u < 107 1 \le u < 107 and 1 v < 19 1 \le v < 19 . Then 88 u v = 107 a v + 19 b u 88uv = 107av + 19bu . From this we deduce that u 107 a v u | 107av . Now 1 u < 107 1 \le u < 107 , so ( u , 107 ) = 1 (u,107) = 1 . Moreover ( u , a ) = 1 (u,a)= 1 . Thus we deduce that u v u|v . Similarly v 19 b u v | 19bu . Now 1 v < 19 1 \le v < 19 , so ( v , 19 ) = 1 (v,19) = 1 . Moreover ( v , b ) = 1 (v,b) = 1 . Thus we deduce that v u v | u . Hence it follows that u = v u=v , so that 88 u = 107 a + 19 b 88u = 107a + 19b where 1 u < 19 1 \le u < 19 . Then 12 u 88 u 107 a 12 a ( 19 ) 12u \; \equiv \; 88u \; \equiv \; 107a \; \equiv \; 12a \qquad \qquad (19) so we deduce that u a u \equiv a modulo 19 19 . From this it is clear that a u a \ge u , and hence that 107 a + 19 b > 107 a > 88 u 107a + 19b \; > \; 107a \; > \; 88u which is impossible. Thus we deduce that 88 2033 \frac{88}{2033} cannot be expressed in this way, and hence the answer to the question is 88 88 .

A computer search showed me the need for one of the two fractions to be of the form 1 19 j \frac{1}{19j} ; once I had that to aim for, the rest fell into place.

I first proved that the two fractions were a/107k and b/19k, then used brute-force

Avi Eisenberg - 7 years, 6 months ago

How do you prove that the first addend was 1/19j? How could you prove the numerator is 1 and nothing else?

bobby jim - 7 years, 6 months ago

Good solution! How much time did you spend in this question? looks long...

Nupur Prasad - 7 years, 6 months ago

The more general statement is that if 0 < p < q 0 < p < q are primes, then

Claim: N p q \frac{N}{pq} can be written as the sum of 2 positive rationals with denominators strictly less than p q pq if and only if there exist integers k , a , b k, a, b such that

1 k p , a 1 , b 1 , N k = q a + p b 1 \leq k \leq p, a \geq 1, b \geq 1, Nk = q a + p b

As such, the answer would be N = q p N = q-p .

Calvin Lin Staff - 7 years, 6 months ago
Avi Eisenberg
Nov 19, 2013

So first I restated the problem: N z = 19 x + 107 y , 1 < = z < = 18 , x > 0 , y > 0 Nz=19x+107y,1<=z<=18,x>0,y>0 To change the question into this, first set a b + c d = N 2033 \frac{a}{b}+\frac{c}{d}=\frac{N}{2033} , where ( a , b ) (a,b) and ( c , d ) (c,d) are each coprime. Now I will prove that b*d is a multiple of 2033. If it is not, then by adding the two fractions together with b*d as denominator and setting it equal to N / 2033 N/2033 , N must not be coprime to 2033. Now, using the coprimality of a and b, you can show that b is a factor of d. Using the coprimality of c and d, you can show that d is a factor of b. That proves b=d, which then will reduce to my restatement above, where x=a,y=c,and z=b and d. N cannot be more than 113 because then setting z=18 z N zN is more than 2033, which leads to there being at least 19 options for y, at least one of which must lead to a solution.Then trial and error lead me to 88. I know this isn't so clear, but it's how I did it.

Interesting solution! May I clarify how you "us[ed] the coprimality of a and b, [to] show that b is a factor of d", since that condition does not hold in the example given in the question ( 1 214 + 3 38 = 170 2033 \frac{1}{214} + \frac{3}{38} = \frac{170}{2033} )...

Jau Tung Chan - 7 years, 6 months ago

Log in to reply

I meant that setting a 19 b + c 107 d = N 2033 \frac{a}{19b}+\frac{c}{107d}=\frac{N}{2033} leads to my conclusion. My mistake. If b d b*d is a multiple of 2033, then one must be a multiple of 19 and the other of 107, otherwise they cannot both be lower than 2033. I left out that step.

Avi Eisenberg - 7 years, 6 months ago

Log in to reply

Ahh I see. Thanks!

Jau Tung Chan - 7 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...