Метод деления пополам считается классическим доказательством теоремы Больцано-Вейерштрасса, потому что он основан на использовании свойства полноты множества действительных чисел в форме принципа вложенных отрезков. 13
Этот метод позволяет доказать, что из любой ограниченной числовой последовательности можно выделить сходящуюся подпоследовательность. 1