để xây dựng một chính thức bằng chứng, lưu ý rằng kể từ khi liên tục trên đoạn đóng [a.b], nó làm theo từ định lý giá trị cực đoan rằng f phải có một giá trị lớn nhất và một giá trị nhỏ nhất trên [a, b]. trường hợp, nơi liên tục trên [a, b] f là dễ dàng kể từ sau đó f'x = 0 với mọi x thuộc khoảng
đang được dịch, vui lòng đợi..