The Bolzano-Poincaré type theorems (Q642238)

Summary: In 1883--1884, Henri Poincaré announced a result about the structure of the set of zeros of a function \(f : I^n \rightarrow\mathbb R^n\), or alternatively the existence of solutions of the equation \(f(x) = 0\). In the case \(n = 1\), the Poincaré theorem is well known as the Bolzano theorem. In 1940 Miranda rediscovered the Poincaré theorem. Except for a few isolated results it is essentially a non-algorithmic theory. The aim of this article is to introduce an algorithmical proof of the theorem ``On the existence of a chain'' and for \(n = 3\) an algorithmical proof of the Bolzano-Poincaré theorem and to show the equivalence of the Poincaré theorem, the Brouwer theorem and the theorem ``On the existence of a chain''.