x 2 = ⌊ x ⌋ 1 + ⌊ 2 x ⌋ 1
If the largest real number x that satisfies the equation above can be expressed in the form q p , where p and q are relatively prime positive integers, find p + q .
Notation: ⌊ ⋅ ⌋ denotes the floor function .
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.
In case you're wondering where the fact ⌊ 2 x ⌋ = ⌊ x ⌋ + ⌊ x + 2 1 ⌋ came from. Please check out Hermite's Identity .
x 2 2 ⌊ x ⌋ ⌊ 2 x ⌋ ⌊ x ⌋ ⌊ 2 x ⌋ − ⌊ x ⌋ 2 ⟹ { x } = ⌊ x ⌋ 1 + ⌊ 2 x ⌋ 1 = ⌊ x ⌋ ⌊ 2 x ⌋ ⌊ 2 x ⌋ + ⌊ x ⌋ = x ( ⌊ 2 x ⌋ + ⌊ x ⌋ ) = ( ⌊ x ⌋ + { x } ) ( ⌊ 2 x ⌋ + ⌊ x ⌋ ) = { x } ( ⌊ 2 x ⌋ + ⌊ x ⌋ ) = ⌊ 2 x ⌋ + ⌊ x ⌋ ⌊ x ⌋ ( ⌊ 2 x ⌋ − ⌊ x ⌋ ) Using x = ⌊ x ⌋ + { x } where { x } is the fractional part of x .
Note that 0 ≤ { x } < 1 . And the largest possible x is when { x } < 1 :
⌊ 2 x ⌋ + ⌊ x ⌋ ⌊ x ⌋ ( ⌊ 2 x ⌋ − ⌊ x ⌋ ) ⌊ x ⌋ ( ⌊ 2 x ⌋ − ⌊ x ⌋ ) ⟹ x < 1 < ⌊ 2 x ⌋ + ⌊ x ⌋ < 3
For x slightly less than 3,
x 2 ⟹ x = 2 1 + 5 1 = 1 0 7 = 7 2 0
Therefore, p + q = 2 0 + 7 = 2 7 .
This is great!
Problem Loading...
Note Loading...
Set Loading...
Relevant Wiki: Hermite's Identity
Let x = a + r where a ∈ Z and 0 ≤ r < 1
⟹ ⌊ x ⌋ = a
⟹ ⌊ 2 x ⌋ = ⌊ x ⌋ + ⌊ x + 2 1 ⌋ = 2 a
if 0 ≤ r < 2 1
or
⌊ 2 x ⌋ = ⌊ x ⌋ + ⌊ x + 2 1 ⌋ = 2 a + 1
if 2 1 ≤ r < 1
Case 1: if 0 ≤ r < 2 1
The equation becomes,
a + r 2 = a 1 + 2 a 1
⟹ a = 3 r
If a ≥ 2 , then r ≥ 3 2 > 2 1 which is impossible
So a = 1 and r = 3 1 giving us x = 3 4
Case 2: if 2 1 ≤ r < 1
Then the equation becomes
a + r 2 = a 1 + 2 a + 1 1
⟹ a 2 + a = 3 a r + r
If a ≥ 3 , then r ≥ 5 6 > 1 which is impossible
So we are left with a = 1 and a = 2
If a = 1 then r = 2 1 and x = 2 3
If a = 2 then r = 7 6 and x = 7 2 0
∴ The largest value is x = 7 2 0 and p + q = 2 7 .