MathDB
Rationals and irrationals again

Source: Indian IMOTC 2005 Day 3 Problem 1

September 23, 2005
number theory unsolvednumber theory

Problem Statement

Let 0<a<b0 <a <b be two rational numbers. Let MM be a set of positive real numbers with the properties: (i) aMa \in M and bMb \in M; (ii) if xx M\in M and yMy \in M, then xyM\sqrt{xy} \in M. Let MM^*denote the set of all irrational numbers in MM. prove that every c,dc,d such that a<c<d<ba <c <d<b, MM^* contains an element mm with property c<m<dc<m<d