I don't get why the interval is divided into three pieces. Wouldn't the same reasoning work if the interval were divided into just two pieces and you always select the sub-interval not containing the Nth algebraic number?