Cousin's Proof
In his 1895 “Sur les fonctions de n variables complexes,” Pierre Cousin [7] extended the HeineBorel Theorem to arbitrary covers. On page 22, he wrote:
Define a connected space S bounded by a simple or complex closed contour; if to each point of S there corresponds a circle of finite radius, then the region can be divided into a finite number of subregions such that each subregion is interior to a circle of the given set having its center in the subregion.
Before we examine the proof, we mention a few points:

According to Dugac, this memoir was completed on October 28, 1893 (two years before Borel), but was not published until 1895 [8, p. 97]. It is very unlikely that Cousin was aware of Borel’s statement and he certainly did not make any reference to it. It appears that Cousin has at least some claim of priority for the theorem.

Cousin’s statement is a higherdimensional version of the HeineBorel Theorem. Circles of finite radius would be equivalent to open intervals in one dimension.

As Cousin did not work with the real number line in his proof, the form of completeness he used is not precisely one of those listed in our Introduction. However, there are higherdimensional analogues of these characterizations. Specifically, Cousin made use of the following higherdimensional version of the nested interval property:
Every nested sequence of closed, bounded sets in \({\mathbb R}^2\) has a nonempty intersection.

It would be more accurate to refer to his “circles” as “disks” because they do not consist just of the boundary.

No mention of countability of the cover is made, nor is it required, for this proof.
Cousin started immediately with a description of his proof technique, just as we teach our students to do, and proceeded by contradiction. He used the “divide and conquer” technique that probably appears elsewhere in a real analysis course.
Diagram 2: In this diagram we see the “divide and conquer” method that Cousin employed in his proof.
Cousin took the region S and divided it into \(n>1\) subregions (\(n\) an integer). If the entire region required an infinite number of circles to cover it, then at least one of the subregions must also require an infinite number of circles to cover it. Cousin called that subregion S_{1}. It is the light grey, lower right quadrant of Diagram 2.
We suppose, in fact, the lemma is false: we divide S into squares using parallels to the coordinate axes, in a way that the number of obtained regions is at least equal to a certain integer n; there is at least one of these regions S_{1}, for which the lemma is still false.
Cousin then iterated the process, dividing S_{1} into n subsubregions. At least one of these subsubregions must require an infinite number of circles to cover it. He called this region S_{2} (the slightly darker grey, lower left quadrant of S_{1} in Diagram 2.) By continuing in this fashion, he created an infinite sequence of nested closed square regions S_{1 }, S_{2 }, … , S_{p }, … (the successively darker grey regions in Diagram 2.) He then applied the nested interval property to show there is a point M that is common to each of these S_{p}, and that M is in the interior or boundary of S.
Subdividing S_{1 }into squares and portions of squares in number at least equal to n, I deduce S_{2}, in the same way that S_{1 }is deduced from S; in following the reasoning, I arrive at an indefinite series of squares or portions of squares S_{1 }, S_{2 }, … , S_{p }, … ; it is clear that S_{p}, for p increasing indefinitely, has for a limit a point M interior to S or on its perimeter; ...
Because M is in each S_{p}, and each S_{p} cannot be covered by a finite number of circles, certainly each S_{p} cannot be covered by a single circle. However, as Cousin noted, this is impossible, because M is in S and so some circle of positive radius covers it (the blue circle in Diagram 2). That circle will contain some S_{n} and all subsequent S_{n+k}, which is a contradiction to the way that the S_{p} were constructed.
... one arrives at this conclusion that one can find a square S_{p }surrounding M or adjacent to M which is not contained in the interior of one of the circles of the statement; however this is impossible because to the point M corresponds a circle of finite radius having this point for a center.
The following may be helpful when considering using Cousin’s proof in a class.
Background:

A discussion of completeness in the form of the nested interval property applied to nested, closed, bounded, connected twodimensional regions will be required.
Benefits:

This proof has the benefit of using the “divide and conquer” technique with which students may be familiar, particularly from BolzanoWeierstrass or one of the corollaries that we discussed above. If they have not already seen this technique, it is more likely it will appear in their studies than the “numbers of the second type” technique employed by Borel.

Glancing through introductory analysis, topology, and set theory textbooks shows it is common to see a proof of the HeineBorel Theorem using a technique similar to the one utilized by Cousin. Presenting Cousin’s proof as the germ of the texbook technique may be helpful for students. Recall that Borel also published a proof using this “divide and conquer” technique in [3]. While appearing years after Cousin’s paper, interested instructors may consider examining Borel’s presentation as well.

This proof does not require the covering to be countable.

Even if the course requires only the onedimensional theorem, it makes for a nice student project to study a higherdimensional analogue.

Cousin provided a wellwritten proof that is easy to follow. His strategy is clearly presented at the beginning and the contradiction is noted at the end.
Drawback:

Although Cousin’s statement is equivalent to the HeineBorel Theorem, it certainly is not in the form that students will be using in a basic analysis course. The theorem will need to be translated into the onedimensional case for most of the applications.
Impressions:
We believe that this proof would be particularly applicable if the HeineBorel Theorem is being taught in a pointset topology course or in an advanced calculus class where domains of functions are often twodimensional or higher.