定理是代数拓扑的早期成就，还是更多更一般的不动点定理的基础，在泛函分析中尤其重要。在1904年，首先由Piers Bohl 证明"n" = 3 的情况（发表于《纯綷及应用数学期刊》之内）。后来在1909年，鲁伊兹·布劳威尔（）再次证明。在1910年，雅克·阿达马提供一般情况的证明，而布劳威尔在1912年提出另一个不同的证明。这些早期的证明皆属于非构造性的间接证明，与数学直觉主义理想矛盾。现在已知如何构造（接近）由布劳威尔不动点定理所保证的不动点，见例子 (Karamadian 1977) 和 (Istrăţ