Tóm tắt
Đối với một hàm liên tục f : [a, b] → R, chúng tôi chứng minh rằng f có một điểm cố định nếu và chỉ nếu các khoảng [a0, b0]:= [a, b] và [an, bn]:= [an−1, bn−1] ∩ f([an−1, bn−1]) (n = 1, 2, · · ·) đều không rỗng. Nhiều phát biểu tương đương khác về sự tồn tại của các điểm cố định của f cũng đã được thu được và được sử dụng để suy diễn định lý giá trị trung gian và tính chất khoảng nằm kề nhau.