Định lý Brouwer được phát biểu năm 1912 bởi nhà luận lý học Hà Lan Luizen Egbertus Jan Brouwer và còn có tên là Nguyên lý điểm bất động Brouwer. Đây là một trong những định lý toán học quan trọng của thế kỉ 20, ngày nay vẫn đang được tiếp tục mở rộng. Chứng minh nguyên thủy của Brouwer sử dụng phương pháp tôpô (phương pháp bậc của ánh xạ liên tục). Ngày nay đã có ít nhất năm cách chứng minh khác nhau cho nguyên lý nổi tiếng này và hàng chục định lý tương đương với nó đã được tìm ra.