Choose a unit vector pointing downhill and a perpendicular unit vector pointing outward from the inclined plane. The gravitational weight points vertically downward. Its scalar projections onto these directions give
The angle between the downward vertical and the inward normal is : the inward component uses cosine, and the downhill component uses sine. These are two components of one force. They replace its vertical arrow in a component calculation; adding them to that same arrow would count gravitational weight twice.
Figure 1.
Actual contact forces and a separate decomposition of gravitational weight on an inclined plane
. Original geometry for a block sliding downhill at . Left: its free-body diagram shows gravitational weight, normal force, and uphill kinetic friction. Right: the gravitational weight is resolved into downhill and inward-normal components; the dashed arrow is their sum. Arrow lengths are illustrative. Details.
Continued contact with a stationary straight inclined plane gives zero perpendicular acceleration. The perpendicular component of Newton's second law therefore gives
This is why the normal force generally differs from : it balances the inward component, rather than the whole gravitational weight. An extra lifting force, a curved surface, or motion of the support would require a new perpendicular balance.[ref]
The same geometry explains the ramp's usefulness. A frictionless block pulled uphill at constant velocity needs a parallel force . Travelling a distance raises it through height , so the pulling work is , its gain in gravitational potential energy. The smaller force costs a larger displacement; the work-energy theorem keeps the accounting consistent.
Green theorem with holes 2026-10-18
On the punctured plane , consider the vector field
With , its partial derivatives satisfy
Thus the field has zero scalar curl everywhere it is defined. Nevertheless, on any counterclockwise circle with ,
The radius cancels exactly.
Applying Green theorem to the enclosed disk would be invalid: is undefined at the origin, inside that disk. Zero curl on the path alone is insufficient.[ref]
Now take the annulus . Its positive boundary orientation is counterclockwise on the outer circle and clockwise on the inner circle. The complete boundary line integral is therefore
Here Green theorem applies: an open set containing the closed annulus can avoid the origin. The inner contribution remains even for an arbitrarily small positive inner radius. Decreasing the hole's area does not decrease this line integral.
Figure 1.
Zero curl away from an excluded origin: the outer circle contributes two pi, the clockwise inner circle minus two pi, and the annulus boundary sum is zero
. Details.
The cancellation has a useful proof picture. Cut the annulus along two radial segments into two half-annuli. Each piece has a single simple closed curve as its boundary; along each cut, the two induced boundary orientations oppose, so those line integrals cancel when the two applications of Green theorem are added. Only the outer and inner circles remain.[ref]
Locally, a choice of angle in polar coordinates has gradient . Globally, following a circle once increases that angle by , so it cannot be a single-valued potential of a conservative vector field on the punctured plane. The nonzero closed-path line integral also rules out such a potential by the fundamental theorem for line integrals.
On a simply connected open region, a continuously differentiable planar vector field with zero scalar curl does have a global potential. The hole is what separates the local derivative condition from the global conclusion.[ref]
Gyroscope vector geometry Created 2026-10-14 Updated 2026-10-18
Choose a fixed support point and nonrotating axes in an inertial frame. All angular momenta, torques, and moments of inertia below refer to . Let point along the axle from toward the centre of mass, and let point vertically upward. Write for their angle. For a rapidly spinning symmetric top, the dominant angular momentum is , where is signed and is the axial principal moment of inertia. The sign of the axial angular velocity follows the right-hand rule.
Figure 1.
A fixed wheel support separates the downward gravitational force from the transverse torque and sideways precession
. Details.
With mass , centre of mass distance , and constant gravitational acceleration , the gravitational force and its torque are
An ideal support applies a force at , so its lever arm and torque about vanish. At the instant the axle lies in the plane with a positive component, the gravitational torque points along . It adds toward , rather than along the downward force. The dot product identity shows why perpendicular torque changes direction without instantly changing magnitude. This vector balance and the slow-turning relation are developed in Chapter 20: Rotation in space (sections 20-2 and 20-3, equations 20.13–20.15).
For steady precession about the vertical, and . Equating the two cross products gives
The angular momentum tip traces a circle of radius : its sideways speed is . Both that radius and the gravitational lever arm contain , explaining its cancellation for . Exactly vertical alignment has zero gravitational torque and no distinguishable azimuthal precession to infer by this cancellation. Positive gives positive precession, counterclockwise viewed from above; reversing the spin reverses the slow precession. [ref]
Half-turn 2026-10-25
A rotation through an angle of . In three dimensions, a half-turn about a straight line with unit vector fixes its parallel component and negates its orthogonal complement, giving the rotation matrix by orthogonal projection.
Half-wave plate 2026-10-14
A half-wave plate reverses the relative sign of the two components. For initial linear polarization at angle to the fast axis, the outgoing line is at modulo . The input therefore rotates by .
For small angles about the downward vertical and prescribed pivot position , a simple pendulum obeys the displayed forced-oscillator equation. Off resonance, its harmonic particular solution is , with . At exact resonance, a pendulum initially vertical with zero angular velocity has in the undamped linear model. The growing envelope eventually violates the small-angle assumption; damping and nonlinear frequency shifts matter in a real pendulum.
For a harmonic oscillator with Hamiltonian , where , define
These action-angle variables are defined for , with a local angle modulo . A proof of canonicity is and , which give using the Poisson bracket. Substitution gives . Hamilton's equations then prove and . The action integral around the corresponding phase space ellipse is , so is the usual normalized action variable. The angle is undefined at the zero-energy origin.
Holomorphic function Created 2026-09-24 Updated 2026-10-18
A complex-valued function is holomorphic on an open set when it has a complex derivative at every point of . Requiring a derivative throughout a neighbourhood is much stronger than complex differentiability at a point. It forces locally convergent Taylor series and derivatives of every order, as follows from the Cauchy integral formula and Cauchy derivative formula.
To see the restriction in real coordinates, write and . The real and imaginary increment quotients must agree, giving the Cauchy-Riemann equations
Conversely, if have continuous partial derivatives on and satisfy the Cauchy-Riemann equations there, then is a holomorphic function. The equations at a lone point, without a differentiability hypothesis for the real coordinate map, are insufficient. Their role is to force the Jacobian matrix to have the special form
Such a matrix represents multiplication by a complex number; it has only two free real entries. [ref]
For , and , so and . Directly,
At , multiplication by scales lengths by its modulus and rotates by its argument . A horizontal increment gives the exact displacement ; a vertical increment gives . The first-order predictions and are perpendicular, and the errors have modulus .
At every nonzero , this local rotation and scaling makes a local conformal map. At zero, the first-order map vanishes: becomes , so the argument doubles and the origin is a critical point. Globally and have the same square. Local preservation of angles therefore coexists with global folding, a useful warning when using holomorphic functions as coordinate changes.
Horizontal coordinate system Created 2026-10-06 Updated 2026-10-13
A horizontal coordinate system describes a viewing direction using altitude above the observer's astronomical horizon and azimuth around it. Here azimuth starts at true north and increases through east: north is , east , south , and west , with . True north is the northward intersection of the celestial meridian with the astronomical horizon, rather than an uncorrected magnetic-compass reading. Other origins and directions are legitimate, but their formulae must be converted consistently. [ref].
Construct a local orthonormal basis of east , north , and upward , with . The upward unit vector points to the zenith; the horizontal plane is perpendicular to it. For a ground instrument, a freely hanging weight establishes the local vertical through gravity. In an elementary spherical-Earth model, this vertical is radial; precision work distinguishes it from the normal to a reference surface. With the observer as origin, write a direction's unit vector as
Its local components obey . Conversely, and modulo one turn, except where . The quadrant-aware arctangent takes east as its first argument and north as its second. A synthetic direction with and has . Thus its horizontal component has norm ; its altitude is not the angle of the projected arrow in the horizontal plane.
Figure 1.
Analytical illustration of north-through-east azimuth and altitude in a local orthogonal frame; synthetic direction
. Details.
A horizontal coordinate system depends on the observer's site and the observation time. The Earth's rotation changes the local axes relative to a fixed distant direction, while changing the site changes the zenith and the astronomical horizon. This makes the horizontal coordinate system directly useful for pointing an optical telescope and checking whether terrain blocks a target. A pair of angles without a site, time, azimuth convention, and geometric or refracted interpretation is an incomplete pointing instruction.
For a check against an equatorial coordinate system, let be the observer's geographical latitude, the direction's declination, and its west-positive hour angle, obtained from local sidereal time minus right ascension. In the spherical-Earth, unrefracted fixed-direction model, projection onto the local orthonormal basis gives
Taking the dot product with the upward unit vector gives the last formula; the other two follow by the same projection. Recover altitude and azimuth from as above, using radians inside software trigonometric functions. The minus sign in is essential: a negative hour angle puts this synthetic direction east of the celestial meridian. [ref].
For illustrative geographical latitude and invented declination , hour angle gives and . At , the same altitude accompanies : the direction is now westward. At , it is due south with altitude , agreeing with at upper meridian transit. These are analytical checks, not present positions of any star. For nearby objects, the direction must also be referred to the observer; simply rotating a geocentric direction omits the change of viewing position. Catalogue-to-observation refinements are described under equatorial coordinate system.
Hour angle 2026-10-06
The hour angle of a direction is the westward angle from the upper celestial meridian to its hour circle. In a consistent equinox convention, modulo one turn, where is right ascension and LST is local sidereal time.
Hyperbolic angle 2026-10-14
A hyperbolic angle is twice the signed area enclosed by the two rays from the origin to and and the intervening arc of the unit hyperbola. Counterclockwise traversal is positive: gives an ordinary area above the horizontal axis, and gives signed area below it. This parallels the unit circle, whose sector has area for an angle measured in radians.
To check the area interpretation, write and . Green's theorem expresses the signed area as a line integral; the straight radial edges contribute zero, leaving
Thus is an area parameter, rather than the ordinary angle of the ray. For , that ordinary angle is ; it stays below even as the hyperbolic angle grows without bound.
Inclined plane Created 2026-10-14 Updated 2026-10-18
An inclined plane is a flat surface tilted through an angle above horizontal. A ramp exchanges a smaller lifting force for a longer travel distance; for a released body, it reduces the downhill component of gravitational weight and makes the resulting acceleration easier to measure. Its simplest dynamical model is a nonrotating block on a stationary, rigid surface, with constant mass , uniform gravitational acceleration of magnitude , and . Assume continued contact, negligible drag force, no tipping, and no applied pull. The only forces are gravitational weight, the normal force, and any tangential friction.
The central distinction is between a block resting on the inclined plane and one already sliding. Static friction supplies the force needed to maintain rest, up to its bound; kinetic friction has a prescribed magnitude in the ideal constant-coefficient model. These laws are empirical approximations whose range depends on the contacting surfaces.[ref]
A university laboratory places an aluminium block on a Teflon-lined wooden board. For its inclined plane stage, the pulley and block string are removed; a rope and hook connect the board to a crank. The block is placed gently near the sheet's middle without prior sliding. Smooth cranking raises the board; a – protractor reads the smallest angle at which sliding begins. Four readings are taken without added load, then four each with , , and added symmetrically at two screws. Removing the string isolates gravity-driven onset; gentle placement and smooth raising avoid premature disturbance.[ref]
Infer under the assumptions of static friction on an inclined plane. Repetition tests onset scatter; added loads test coefficient constancy. No measured onset values are supplied here.
For a replication, additionally check the protractor zero with a level board, retain the same contact face and surface region, and observe whether tipping or rolling precedes sliding. These are proposed additional controls. A finite angle resolution and the disturbance needed to detect first motion limit the estimate; a slow ramp does not by itself establish perfectly rigid, dry, or direction-independent contact. At the model's threshold, differentiating the tangent function gives , with in radians. A hypothetical measurement error would therefore correspond to approximately in the inferred coefficient at first order. This sensitivity calculation is not an uncertainty reported by the laboratory.
Inclinometer 2026-10-14
An inclinometer measures tilt relative to the vertical established by gravity, usually reporting an angle from the perpendicular horizontal plane. A weighted-string inclinometer compares a sighting tube with a freely hanging reference; its scale must be oriented so a level sight gives zero altitude. A raw protractor may instead indicate the complementary angle, so check the markings rather than assuming that every instrument has the same scale. [ref].
Interference (wave propagation) Created 2026-10-05 Updated 2026-10-14
Wave interference is the reinforcement or cancellation that occurs when overlapping wave amplitudes add by the superposition principle. For two monochromatic waves of the same frequency, mutual optical coherence means that their relative wave phase is stable during the observation. Equal wave phases give constructive interference; a half-cycle phase difference gives the destructive interference intensity minimum. Wave amplitudes add before their squares determine wave intensity. [ref].
Consider two overlapping beams in a homogeneous medium, with the same polarization of an electromagnetic wave and individual local time-averaged light intensities . Their phase difference is measured in radians. In the scalar detection convention, the combined local time-averaged wave intensity is
The last term records wave interference; adding alone misses it. The formula describes irradiance when both fields propagate along the same direction, or when the same detector geometry factor is included in all three intensities. For crossing beams it describes the squared electric field response, proportional to scalar wave intensity; a specified component of the Poynting vector also requires the propagation geometry. The ideal crossing plane waves below make that distinction explicit.
For equal individual light intensities , the cosine half-angle identity gives
The constructive interference intensity is at modulo , and the destructive interference intensity is zero at modulo . At phase quadrature, , it is . With and in the same arbitrary wave intensity unit, the maximum is , the minimum is , and the phase quadrature value is : unequal wave amplitudes cannot cancel completely.
Figure 1.
Two-beam wave intensity versus phase difference: equal beams reach 4 and 0; unequal beams reach 2.25 and 0.25
. Details.
Both curves use the same wave intensity unit and a horizontal angle in radians. The dashed levels are the averages over a full phase difference cycle. Equal beams have interferometric visibility one; the unequal example has interferometric visibility .
A spatially varying phase difference turns the same law into interference fringes. Take two ideal plane electromagnetic waves with common wavelength , equal individual light intensities , and propagation directions at angles and from the axis in the plane, with . Both have linear polarization along , perpendicular to both propagation directions. Choose equal initial wave phases; their wavevectors and phase difference are
Here is the wavenumber and the angular frequency. The common and time terms cancel, so the interference fringes stay at fixed for every . Their interference fringe spacing is
Set the length unit to , so that , and take : then . The constructive interference intensity bands lie at integer ; the destructive interference intensity bands lie at half-integer .
Figure 2.
Ideal crossing plane waves at : stationary interference fringes with spacing one wavelength
. Details.
The grid covers and ; both axes are dimensionless lengths in wavelength units. The colour scale is from zero to four, using the same single-beam normalization as the equal-beam curve above. This is an ideal plane wave superposition, with no slits or point sources and no near-field approximation. For these -polarized plane electromagnetic waves in vacuum, the longitudinal time-averaged Poynting vector obeys ; the plotted scalar therefore differs from the irradiance through a plane normal to by that common factor. This relation follows by adding the magnetic fields as well as the electric fields.
The bright peaks do not create energy. Averaging over one interference fringe spacing, or equivalently over one full phase difference cycle, gives
because the integral of the cosine is zero, with sine as its antiderivative. Equal beams thus average to , despite bright bands at . For the crossing-wave geometry, the average longitudinal energy flux is correspondingly . Bright and dark regions redistribute the incoming energy; conservation of energy concerns the full energy flux, rather than the height of one peak.
Wave interference is useful because phase differences convert small changes in optical path length into measurable changes of wave intensity, as in a Mach-Zehnder interferometer. Its beauty is that the same superposition principle produces both complete cancellation and fourfold brightening; adding more coherent contributions also produces the narrow peaks of a diffraction grating. Feynman's treatment connects this many-source pattern directly to addition of complex amplitudes. [ref].
A short proof outline uses local real fields with parallel linear polarizations. Write and for the same positive conversion factor . Averaging over many wave periods while the phase difference stays fixed uses and , giving the stated law. Equivalently, add the complex amplitudes and take the squared complex modulus. [ref].
For different fixed linear polarizations in a common transverse plane, the cross term acquires the dot product of their real unit vectors, equal to for relative angle . Orthogonal linear polarizations remove the cross term in polarization-insensitive scalar detection; different orientations generally only reduce it. A common polarizer can select overlapping components and recover wave interference. Likewise, rapid random variation of the phase difference removes the observed cross term only when the detector's time average has . Slowly varying wave phases can instead move resolved interference fringes, and biased or incompletely sampled wave phases can leave residual contrast. Finite optical coherence therefore depends on the observation time as well as the fields.
The real image of the specimen supplied to the microscope eyepiece or a recording surface. In the example above, a bare detector placed at records an image five times the specimen's length, inverted. It does not record a fifty-times image: that number compares viewing angles under the stated reference convention. An optical camera receiving the eyepiece's outgoing light needs its own optical lens to form a further real image, with a recording scale determined by that added image formation.
Inverse function theorem Created 2026-09-24 Updated 2026-10-14
The inverse function theorem answers a practical question: can nearby outputs be used to recover nearby inputs uniquely and smoothly? Its useful surprise is that a nonlinear function can be tested using its linear derivative. If the first-order changes preserve all input directions, then, on a sufficiently small region, the nonlinear map can also be reversed. This is the basis for treating a nonlinear map as a coordinate transformation.
Precisely, let be continuously differentiable on an open subset of Euclidean space, let , and put . If is an invertible linear map, there are open neighbourhoods of and of such that is a bijection with a continuously differentiable inverse function . Thus this restriction is a diffeomorphism. In coordinates the test is , using the Jacobian determinant. The derivative of a local inverse map is obtained by inverting the Jacobian matrix, at the corresponding input. [ref]
For a one-dimensional example, has . Near , the inverse function is , and the inverse function rule gives . But has no inverse function on the whole real line, since and give the same output. The theorem supplies a local restriction, not global injectivity. At zero, the derivative test fails; the nonnegative branch still has a square root inverse, but that inverse has no finite derivative at zero. [ref]
Here is a two-dimensional example with an invertible derivative everywhere and infinitely repeated outputs:
The exponential function turns into a positive radius, while is the angle in polar coordinates. Restricting, for example, to and produces the reversible patch pictured below. On its image, with Cartesian coordinates and , the inverse function is
The arctangent selects the angle near zero. Without an angle restriction, for every integer , so there is no single global inverse function. This map is a local diffeomorphism but is not injective.
Figure 1.
A small rectangular coordinate patch maps reversibly to a curved sector, despite global angle repetition
. Details.
The short proof idea is to correct a guessed input using the inverse linear response. With , solving is equivalent to finding a fixed point of
At , the derivative vanishes. Continuity makes a contraction mapping on a sufficiently small closed ball, which it maps into itself when is sufficiently close to . The contraction mapping theorem then gives existence and uniqueness there. Establishing the smooth dependence on completes the inverse theorem. This explains why the nonlinearity can be tolerated: its correction has a small local slope.[ref]
Irradiance 2026-10-14
Irradiance measures incident radiant flux per actual receiving area. Its units match radiant exitance, but it counts the incoming side of the radiation exchange. Measure incoming angles from the unit normal pointing toward the incident hemisphere. Then
For distributed uniformly over , . If the receiving plane is tilted in the same broad uniform parallel beam, the incident power per actual area is halved to . This receiving-surface cosine factor is geometric and does not assume Lambertian reflectance. Together, irradiance and radiant exitance describe how radiation supplies and removes energy at a surface, while radiance preserves the directional information.
Isosceles triangle 2026-10-20
An isosceles triangle has two equal sides. Its angles opposite those sides are equal: reflecting the triangle across the bisector of the angle between the equal sides exchanges them and fixes the opposite side as a set. A triangle formed by two radii of one circle is therefore isosceles.
Lambertian reflectance 2026-10-13
Lambertian reflectance is the ideal diffuse-reflection model with direction-independent outgoing radiance, the frequency-integrated specific intensity. If a fraction of incident radiant flux is reflected, a surface receiving irradiance has reflected radiance . The reflected outward power per area is by the same hemispherical integral used for radiant exitance. Its radiant intensity still acquires the projected area factor in Lambert's cosine law.
For and , the reflected radiance is . A patch of area reflects in total, and its radiant intensities at and are respectively and . The radiance stays fixed as the view changes, provided the illumination stays fixed. Changing the incident angle can change irradiance and therefore the reflected radiance.