EN
The paper presents some theorems about fixed points of nonexpansive mappings of certain convex subsets of Banach spaces, as well as examples of applications of these theorems, among others, to justify the correctness of the square roots approximation process in Heron’s algorithm (from the 1st century AD).