The possible singular points are . Near , put ; then
The numerator vanishes at , so the apparent pole cancels and is removable. Its extension value is , obtained from .
At , the first term has a simple pole with nonzero residue
The subtracted term is holomorphic there, so is a simple pole. At ,
so is a double pole. There are no other finite singularities.
A path-connected space has, for every pair , a continuous path with and . Every path-connected space is a connected space, because a separation of the target would pull a joining path apart and contradict connectedness of an interval.
A connected space cannot be expressed as with disjoint nonempty relatively open sets. Equivalently, the only subsets simultaneously relatively open and closed are and . A decomposition into such is a separation of the topological space.
In the subspace topology on , a subset is open in precisely when for some open set . A subset is closed in precisely when is open in , equivalently for some closed set .
A compact space is one for which every open cover has a finite subcover. Here the cover may use relatively open subsets of , or equivalently ambient open subsets covering it. The Heine-Borel theorem states that
Closedness and boundedness here refer to the ambient complex plane, not merely closedness in itself.
The union is bounded but is not a closed set: the points , , belong to the open disc and tend to , which lies in neither disc. Thus it is not compact by the Heine-Borel theorem.
Nevertheless it is connected, indeed path-connected. Every point of the open disc joins by a straight segment. The segment from to stays in the union, since its points before the endpoint belong to the open disc and the endpoint belongs to the closed disc. Every point of that closed disc joins inside it by convexity. Concatenating these paths joins any two points of the union. The fact that the two discs are disjoint does not imply disconnection: their contact point belongs to one of them. This illustrates connectedness at a one-sided contact point.
The disc is a closed set and is bounded in the complex plane, so it is compact by the Heine-Borel theorem. It is convex: the triangle inequality gives for all when both endpoints lie in it. Straight segments therefore supply paths, so it is path-connected and hence connected.
The integers are unbounded in the complex plane, so the Heine-Borel theorem shows they are not compact. They are also not connected: and are disjoint nonempty relatively open sets covering . Each integer is isolated, so the induced subspace topology is discrete.
Let count everyone present, including the host. The grouping, seating and departure conditions give the modular congruences
The first two imply , and oddness forces even. By the Chinese remainder theorem, the complete solution is
Because not every invitee attended, at most guests came, so . For , the only positive possibility is 39 people. It is feasible: seven groups of five and one of four; three tables of ten and one of nine; nineteen departing pairs and the host.
For , both 39 and 129 people are possible. The latter uses twenty-five groups of five and one of four, three tables of ten and eleven of nine, and sixty-four departing pairs. Thus the larger invitation count destroys uniqueness; it does not force a different attendance.
Take , and . Since are coprime integers, Bézout's identity gives , so . Their intersection is : it consists of integers divisible by both and , and coprimality makes this equivalent to divisibility by . Thus the Chinese remainder theorem gives
as a ring isomorphism. This includes or , where the corresponding factor is the zero ring.
The Chinese remainder theorem for two comaximal two-sided ideals of a ring states that the natural ring homomorphism induces
Indeed, the map has kernel of a ring homomorphism . Choose , with . Given target representatives , the element is congruent to modulo and to modulo , proving surjectivity. The first isomorphism theorem for rings gives the result. For a commutative ring, : if , then , while the reverse inclusion follows from the ideal properties.
Use the inner product with . The required first vector already has squared norm . Apply the Gram-Schmidt process to followed by . Since , its orthogonal remainder is . Its squared norm is . Therefore an orthonormal basis containing the specified vector is
The second vector may also be replaced by its negative.
A real inner product must be symmetric. Here and , forcing . For this value,
This is strictly positive for every nonzero vector. Bilinearity is already given, so symmetry and positive definiteness prove
The Gram-Schmidt process subtracts projections onto directions already constructed and then normalizes. Define recursively
where the empty sum for is zero. Assuming the preceding are orthonormal, taking the inner product of with , , gives zero. Moreover : otherwise would belong to the span of , contrary to linear independence. Normalization is therefore legitimate and produces an orthonormal basis. At each stage the first constructed vectors have the same span as the first original vectors.
Suppose, for a contradiction, that has no zero in the open disk. The strict boundary inequality implies no boundary zero either. Thus is holomorphic on a neighborhood of the closed disk: compactness and continuity keep nonzero in a sufficiently small neighborhood. Apply the Cauchy estimate to :
This contradicts the assumed strict inequality. If , the conclusion is immediate without taking a reciprocal. Therefore has a zero in the open disk. This is a local form of the minimum modulus principle.
On the circle, the integrand in the Cauchy derivative formula has modulus at most , and the circle has length . The ML inequality therefore gives
The maximum exists because the modulus of the continuous function attains a maximum on the compact circle. These are the Cauchy estimate.
For the positively oriented circle , the Cauchy derivative formula states
The hypothesis that the closed disk lies in the open holomorphy domain ensures the formula applies on and inside this circle.

There are unlisted articles, also show them or only show them.