practice problems pending

 Problem 1. Let (a) be a positive real number. Prove that one of the positive real numbers

[
a,;2a,;3a,...;(n-1)a
]
is at most (1/n) distant from a positive integer.

S1.
Let's test for n = 2
The list is simply: 'a'.
And any real positive number is at most 1/2 away from a positive integer.
So it works for n = 2.

Let 1 <= k <= n-1.
We want to show that at least one k.a is at most 1/n away from a positive integer.
Let {k.a} be the fractional part of k.a.
Distance of {k.a} from a positive integer is min( {ka}, 1 - {ka}).
To understand, see the number line:

0______{ka}_______1
Its distance from 0 is {ka} and 1 - {ka} from 1.

Let's prove by contradiction.
Let's say for each 'k', 1 <= k <= n-1, {k.a}is more than 1/n away from the nearest integer.

Like this:
0___1/n___{ka}___1 - 1/n____1

So {ka} is always between 1/n and (n-1)/n.
Distance between 1/n and (n-1)/n is (n-2)/n.
So there are (n-2) gaps each of length 1/n.

Using pigeonhole argument, fractional parts of  a, 2a ... (n-1)a, once fitted into these gaps would result in at least 2 of them in the same gap.
Let those 2 be i.a and j.a where i < j.

So {ia} and {ja} are in the same gap.
=> | {ia} - {ja} | < 1/n

Now, let's consider ja - ia where 1 <= i < j <= n-1
k = j-i will also be between 1 and n-1
So k.a. will belong to our original sequence.

k.a = [ja] + {ja} - [ia] - {ia}
= ([ja] - [ia]) + ({ja} - {ia})
Let [ja] - [ia] be an integer 'm'.

ka - m = {ja} - {ia}
=>
|ka - m| < 1/n
=> distance of ka from an integer m is less than 1/n which is contradiction to what we assumed.
So original assumption was false.
H.P.

Problem 2. Let (n) be a positive integer not divisible by (2) or (5). Prove that there exists a multiple of (n) consisting only of the digit (1).
S2.
1
11
....
11111...11 ('n' digits)

Divide all of them by 'n'. Possible remainders are 0 .... n-1.
If you get remainder 0, you are done.
Else at least 2 of them share the same remainder.
1111(j times) - 1111(k times) = 0 mod n.
= 1111(j-k times) followed by 0000 = 0 mod n
Since n is not divisible by 2 or 5, for it to divide LHS it has to divide 1111(j-k times) H.P.



Comments

Popular posts from this blog

Simon's factoring trick(complete the rectangle)

IOQM 2024 Paper solutions (Done 1-21, 29)

IOQM 2023 solutions