Но это не очень смотрится. И действительно, можно сделать сильно красивее — и при этом получится более известная формулировка теоремы Штурма про количество перемен знака и разность между ними в точках b и a. А для этого нам потребуется выйти на плоскость — но это я сделаю в следующий раз; а на сегодня я прекращаю дозволенные речи.