The matrix is
so
Here , so with . This is a Householder transformation: reflection in the plane . The component parallel to the normal vector changes sign, while the perpendicular component is fixed.
The second matrix acts by
Applying from part (e) then gives
The Householder transformation reflects in the plane . Its normal vector is perpendicular to , so the two reflecting planes meet at a right angle along the axis. Their composition is a rotation through about the axis, as is also immediate from the displayed rotation matrix.
Take any constant vector . Its curl is zero, so part (a) and the divergence theorem give
where is the outward unit normal vector. The scalar triple product identity rewrites the last integrand as . Since is arbitrary, equality of these scalar products implies the vector identity
First compute the curl directly:
Reflection symmetry in makes the last component integrate to zero. The middle component gives the hemisphere's volume, so
For an independent surface integral, the closed boundary consists of the curved hemisphere and its flat base. The right-hand side in part (b) is .
On the curved part use spherical coordinates with and . There,
The last component has zero angular integral. The first two components give
On the base, and the outward normal vector is . Thus . In polar coordinates its integral is
The first components cancel, and therefore both required sides equal
The same Maxwell equations give
where the last equality uses . Combining with part (ii),
The divergences of the symmetric gradients satisfy
Thus the local identity is . Integrate over the fixed volume and apply the divergence theorem componentwise:
Here uses the outward normal vector.
The Cauchy-Riemann equations are . They give the gradient identity
At a regular intersection, where , the two nonzero gradients are normal vectors to the two level sets, so their tangent directions are perpendicular. This is the orthogonality of regular real and imaginary level curves.
The regularity qualification is necessary: , so at a critical point both normals vanish and the curves need not have unique tangents. For example gives diagonal lines for and coordinate axes for , all meeting at the origin. Thus the conclusion is , rather than an unrestricted claim at critical points.
The orthogonal change of coordinates preserves the sphere equation, giving . Subtract it from the spheroid equation in part (b):
Thus the intersection consists of the two circles
Their common radius is . Transforming their centers back to the original coordinates gives
Their planes have equations , each with normal vector . The difference is parallel to this normal, proving that the line joining the centers is perpendicular to both planes. This is the intersection of a prolate spheroid and a concentric sphere in the regime between the short and long semiaxes.
Take the fixed source and receiver to be and on the same side of the mirror, with . In the uniform medium, the Fermat principle minimizes the length through a reflection point :
Its stationary equation is
The two fractions are the signed tangential components of the ray directions. Equality of their magnitudes gives , where both angles are measured from the normal vector to the mirror and lie in . Hence the law of reflection is
For uniqueness, differentiate once more:
Thus is a strictly convex function, its derivative increases from to , and it has exactly one stationary point, its global minimum. Explicitly,
Substitution gives , verifying the reflection angles and the existence of that unique solution. Equivalently it is the point where the line from to the mirror image crosses the mirror.
For a holomorphic function, the derivative supplied by complex differentiability must have the same value along real and imaginary increments. Those two computations give
Equating real and imaginary parts proves the Cauchy-Riemann equations:
Conversely, if the first partial derivatives are continuous near a point and obey these equations there, real differentiability gives
which proves complex differentiability under this regularity assumption.
The gradients of the real and imaginary parts have dot product
and . At every point with , the two level sets are regular curves, their gradients are nonzero normal vectors, and their tangent directions are therefore perpendicular.
The printed phrase "at every point" needs this regular-point qualification. At a critical point with , the level sets may cross or fail to have a unique tangent. For example, gives and : at the origin the zero level sets are respectively the diagonals and the coordinate axes. Thus the valid conclusion is .
Use and . When , completing the square gives
Thus, with ,
If , this is a circle with centre and radius . If , it is the single point , sometimes called a degenerate circle of radius zero. If , it is the empty set, because a squared complex modulus cannot be negative.
When and , write and . The remaining equation is
which is a straight line with normal vector . It passes through zero exactly when . Finally, when , the equation has no solutions if and every complex number is a solution if .
The complete classification of a real complex-circle equation therefore includes two degeneracies in addition to ordinary circles, straight lines and the empty set:
For the three advertised alternatives to be exhaustive, one must exclude the identically zero equation and either exclude or explicitly allow radius-zero circles. This is a qualification of the unrestricted coefficients, not a reason to discard the genuine circle and straight line cases used next.
In SI units, Gauss's law for a closed surface with outward unit normal vector is
Spherical symmetry and the absence of an imposed external field make the electric field radial, . For (with the physical radius ),
Outside the charge distribution this becomes . Applying Gauss's law on spheres gives
Both formulas agree at , and the first tends to zero at the origin. Thus the total charge is . Negative reverses the field direction. If the radius is zero the distribution vanishes; a negative value of gives no nonnegative-radius support under the printed piecewise inequalities and likewise gives the zero distribution.
Orient the body boundary counterclockwise. Its outward normal vector satisfies , so the pressure force on the body has complex component
For steady incompressible flow and irrotational flow, Bernoulli's principle gives . The constant-pressure integral vanishes. Write . The impermeability condition makes velocity tangent to , implying . Thus along the boundary, and
This proves the Blasius force theorem, with force measured per unit length perpendicular to the flow plane.
For a circle of radius , Milne-Thomson's circle theorem replaces an incident analytic potential by , making the stream function constant on the circle. Its reflected singularities must lie inside the circle; here the physical source lies outside. With and , this yields, up to additive constants,
The interior image source and sink have equal and opposite strengths, so there is no extra net source inside the body. No independent vortex term is added. The potential may have logarithmic branches, but the velocity and pressure are single-valued.
Only and lie inside . The residues of are
Their sum is . The residue theorem and the preceding force formula therefore give
The force points towards the external source. Reflection symmetry across the horizontal axis independently checks the vanishing vertical component.
Follow the branch of a light ray that undergoes one internal specular reflection in the spherical drop. At entry, refraction turns its direction by . The internal specular reflection turns it by , because the radius is the normal vector and the incidence and reflection angles are both . At exit the second refraction contributes another . Thus the total deviation angle is
Snell's law at entry gives , taking the surrounding air's refractive index as one. The same internal angle at successive encounters follows from the isosceles triangles formed by each chord and the two radii. Internal specular reflection here need not be total internal reflection; the transmitted branch at that encounter does not belong to the one-reflection trajectory.
Fermat's principle states that the travel time, or equivalently the optical path length in a stationary medium, is stationary under small variations of the path with endpoints held fixed. It need not be a global minimum.
Let a light ray join a point at height above a plane interface to a point at depth below it, with horizontal separation . If the crossing point is horizontally from the first endpoint, its optical path length is
Setting its derivative to zero gives
The two geometric ratios are the sines of the incident and refracted angles, measured from the interface normal vector. Hence Snell's law is
In the Huygens-Fresnel principle construction, after a time the incident disturbance advances while the secondary disturbance in the second medium advances . The two right triangles share the segment along the interface. Hence
Here both angles are measured from the normal vector, and are phase velocities. This is Snell's law. For , no real transmitted angle exists when
This is total internal reflection; equality is the limiting grazing geometry. The statement concerns an ideal transparent interface, not material absorption or losses at a nearby second boundary.
Let be the internal angle to the optical axis in the straight step-index optical fiber. At its flat entrance, Snell's law gives . At the side wall a meridional ray has angle of incidence . The limiting total internal reflection condition is . Thus the optical fiber acceptance angle satisfies
The numerical aperture expression assumes the square root is at most one for air; otherwise all forward launch angles are admitted by this ideal ray test. Strictly confined meridional rays lie inside the limiting cone.
For and , and . A light ray at internal angle travels distance along a guide of axial length . In the nondispersive approximation its travel time is . Therefore
Here and ; using gives and . The halving applies to the external launch angle, not to . For actual short pulses the group refractive index replaces the prefactor in ; the source supplies no optical dispersion data. The difference calculated here is geometrical intermodal dispersion in a nondispersive geometrical optics model.
Bending lowers the outer-wall angle of incidence, allowing a previously guided light ray to escape into the cladding. To calculate a definite meridional ray bend threshold, continue the on-axis launch assumption and take a meridional ray in the plane of the circular bend. Its initial internal angle to the centreline tangent obeys . Its straight path has distance from the bend centre. At the outer wall of radius , elementary right-triangle geometry gives
At the loss threshold, this equals . Solving for the centreline radius gives
For this launch, violates the total internal reflection condition at the outer wall; is the limiting case. A real optical fiber has gradual bend loss governed by its electromagnetic wave modes, rather than a universal abrupt cutoff.
Launch dependence. The final sentence does not separately specify the entry position or orientation of the bend relative to the incident light ray. For a planar launch displaced by from the centreline toward the outer wall, replace the numerator of by . For example, a launch at the inner edge, , instead gives
Thus is the result for the stated on-axis continuation; it is not an entry-independent threshold. No missing figure is needed for these explicitly specified ray models.
The Huygens-Fresnel principle treats every point of an advancing wavefront as a source of secondary spherical waves; their forward envelope constructs the next wavefront. Consider two points where an oblique plane wavefront meets a plane interface a distance apart. After its first point reaches , let time elapse until the second reaches . In medium 1, the incident travel distance is . Meanwhile, a secondary wave from has travelled distance in medium 2. The tangent from to that secondary wavefront gives . Therefore
Here are the angle of incidence and angle of refraction, measured from the interface normal vector, and are the refractive indices at the common frequency. This is Snell's law.
The distance from the origin to the incident straight light ray is (taking ). At its intersection with the sphere, let and be the angle of incidence and angle of refraction, measured from the radial normal vector. Elementary right triangle geometry gives . By Snell's law,
The refracted straight light ray inside the sphere has distance from the origin. Therefore
The angle describes the normal vector of the new line; it need not equal the propagation angle. The existence of a crossing requires . A signed convention for gives the same line equation after choosing the orientation of its normal vector consistently.
Take coordinate across the slit and observation angle from its normal vector. Under Fraunhofer diffraction, the relative optical path difference from is . Uniform coherent illumination makes the complex amplitude proportional to the aperture integral:
The light intensity is proportional to , so
The central value is the continuous limit of the sinc function. The first minima satisfy , if . Infinite slit height removes spreading in the other transverse direction; this expression describes the slit-width direction.
Strictly, distance alone does not ensure Fraunhofer diffraction: one also needs , so that quadratic aperture-dependent wave phase is negligible, or observation in a suitable focal plane. For example, , and have but ; the Fresnel diffraction correction is then substantial. The displayed result uses the intended far-field regime of the question and the usual scalar aperture approximation.
The electric field within a conductor in electrostatic equilibrium vanishes. The normal electric field boundary condition, with outward normal vector , therefore gives . Directly below the monopole, :
For the electric dipole,
The exact finite-separation answer is
whose Taylor series agrees with the boxed leading term. Although the real point charges have zero total electric charge, their unequal distances leave negative induced surface charge density immediately beneath them.
A two-dimensional embedded submanifold is a subset which near every point can be straightened by a smooth local coordinate change in the ambient space to an open piece of the coordinate plane . Equivalently locally it has a regular smooth parametrization of rank two, with the induced local topology.
A tangent vector at is the derivative of a smooth curve in the submanifold with . These derivatives form the two-dimensional tangent space . A normal vector is a vector orthogonal to every tangent vector. Its space is , which has in the three-dimensional ambient Euclidean space.