Number theoryDifficulty 7.0National Olympiad, round 2Prove itHungary
Let the irrational number α=1−2a1−2a2−2a3−…1111, where coefficients a1, a2, … are positive integers, infinitely many of which are greater than 1. Prove that for every positive integer N at least half of the numbers ⌊α⌋,⌊2α⌋,…,⌊Nα⌋ are even. ⌊x⌋ denotes the floor function of x, which is the greatest integer less than or equal to x.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.