For a slender elastic beam, the Euler-Bernoulli beam equation assumes small strain, small deflection slopes and cross-sections that remain plane and normal to the deflected centreline. A fibre at signed distance from the neutral axis has longitudinal strain , where is the centreline curvature. Hooke's law gives , with Young's modulus .
Choose the internal bending-moment sign so that . ThenHere is the second moment of area, with units , not the mass moment of inertia of a rotating body. For a uniform material under pure bending, zero axial resultant places the neutral axis through the section's centroid.
For small slopes, . Combining the moment-curvature relation with transverse force and moment balance gives, with a consistent load sign convention,For constant stiffness this becomes . The bending stiffness has units . Boundary conditions specify displacement and slope at a clamped end, or bending moment and shear force at a free end.
For a cantilever of length carrying a transverse end load , take deflection positive towards the load. The moment magnitude is , and integration with givesThe free-end moment vanishes and the tip shear supplies the applied load. For a rectangular section of width and bending thickness , , so increasing thickness strongly increases bending resistance. The model ceases to be reliable for large deflections, plastic strains or short thick beams where shear deformation matters.
The bending moment is the internal torque transmitted across a cut through an elastic beam, about the transverse bending axis. It balances the moments of the external forces on the isolated portion on one side of the cut. Its sign depends on the chosen convention, and its units are .
The relevant “moment of area” is the second moment of area of the cross-section about its neutral axis:where is perpendicular distance from that axis within the section. It has units and is a geometrical quantity, unlike a mass moment of inertia. For a homogeneous beam under pure bending, the neutral axis passes through the section's centroid, and its longitudinal strain is zero.
Here “centroid” means the vertex centroid, the arithmetic mean of the listed vertices, rather than the uniform-area centroid of the polygon's interior:The nonempty input restriction prevents division by zero; computing both sums and the length takes linear time.
centroid :: Polygon -> Point
centroid [] = error "centroid: empty vertex list"
centroid ps = (sx/n,sy/n)
where
(sx,sy) = foldr (\(x,y) (u,v) -> (x+u,y+v)) (0,0) ps
n = fromIntegral (length ps) Rectangular section second moment of area 2026-10-18
For a rectangular cross-section of horizontal width and vertical thickness , the second moment of area about its horizontal centroid axis is . Thus increasing vertical thickness is especially effective at reducing the curvature caused by a given bending moment.
Seidel coma pupil mapping 2026-10-14
Consider an original, explicitly normalized model of primary coma, rather than a prescription for a particular optical lens. Let be Cartesian coordinates in a circular optical pupil divided by its radius , with . Let be a signed small field angle divided by an arbitrary positive reference angle. With polar coordinates , , prescribe the wavefront errorHere is an arbitrary positive optical path difference scale, not a measured error. The cubic optical pupil dependence and linear field dependence are the classical Seidel form.[ref]
Coma aberration. Amateur Telescope Optics, §4.2, classical coma formula after equation 15 and equation 13: pupil-cubic and field-linear dependence
In the paraxial approximation, light ray direction errors follow the transverse gradient of wavefront error. For a reference sphere a distance from the exit optical pupil in a uniform image medium of refractive index , the corresponding image-error scale is . Choose image-error coordinate signs so the normalized displacement is ; reversing the convention reverses the plotted orientation. Image coordinates below are errors relative to the ideal image of this particular object point, rather than positions of different objects:The partial derivatives explain the asymmetry: opposite optical pupil points and land together, rather than on opposite sides of the ideal image. For , every is nonnegative, while can have either sign. The figures stipulate this single wavefront error, omit other optical aberrations and diffraction, and assign no instrument dimensions.
For a ring of fixed optical pupil radius , the double-angle formulas for trigonometric functions giveThus each ring maps into a circle of radius whose centre is displaced by . Doubling quadruples both sizes; for , the edge ring has centre and radius , while the half-radius ring has centre and radius . Superposing these displaced circles produces the comet-like envelope.
For uniform irradiance over the circular optical pupil, equal area samples give an equal-weight geometrical image. Its centroid is because and . Moving the coordinate origin to that centroid translates the image; it does not remove its asymmetric shape. Adding a linear term to likewise translates all light rays equally. These origin choices must be distinguished from changing the optical aberration itself.
The model's full transverse extent is along and along . Halving the field angle halves the blur, and reversing it reverses the pattern about the ideal image. This isolates why coma matters for an optical camera's usable field of view: collecting more light does not ensure that off-axis points remain compact. Near diffraction-limited resolution, a physical optics calculation of the point spread function is needed instead of interpreting the geometrical tip as an infinitely sharp image.[ref]
Coma aberration. Amateur Telescope Optics, §4.2, Figure 41: geometrical spots versus diffraction images
Three identical like point charges, initially at rest at an equilateral triangle's vertices, remain equilateral as they move away from the fixed centroid. Each resultant force is radial by symmetry. If the centroid radius is , its magnitude is . In a nonrelativistic model neglecting radiation, energy conservation gives the final speed for initial side and charge mass .
Stabilizer subgroup Created 2026-09-24 Updated 2026-10-14
For a group action of a group on a set , the stabilizer subgroup of consists of the transformations that leave fixed:It is a subgroup: the identity element fixes , products of transformations fixing fix , and the inverse element of a transformation fixing also fixes . A stabilizer subgroup is a subset of , whereas the orbit of a group action is a subset of . See Ackerman's algebra notes, definition 0.4.1.2.
For the square group actions defined under group action, direct calculation givesThe reflection fixes and individually. The reflection preserves the unoriented side of a polygon by exchanging its two vertices of a polygon. The half-turn rotation exchanges the two ends of the unoriented diagonal of a polygon while preserving that diagonal of a polygon. Thus fixing a side of a polygon or diagonal of a polygon as an object does not mean fixing every point on it; the latter condition uses a pointwise stabilizer. The four stabilizer subgroups have group orders , matching group orbit sizes through the orbit-stabilizer theorem.
A stabilizer subgroup records the transformations still available after imposing a constraint. Fixing a vertex of a polygon of the square leaves two choices; fixing its centroid leaves all eight. In a faithful group action, a stabilizer subgroup can still contain a nonidentity transformation, as shows: a faithful group action requires that only the identity element fix every point of simultaneously, not that every individual stabilizer subgroup be trivial. The two-point cyclic group example under group action has both stabilizer subgroups equal to the group kernel of its associated group homomorphism.
Steiner inellipse Created 2026-10-20 Updated 2026-10-25
Tetrahedron centroid-to-midpoint sum of squares Created 2026-10-14 Updated 2026-10-18
Place the centroid of a tetrahedron at the origin, so its four vertex vectors satisfy . Midpoints of opposite edges have opposite vectors, hence equal distances from the centroid. For the three opposite-edge pairs, choose midpoint vectors , . Expanding their squared lengths and using givesThe argument uses no regularity or equal-edge assumption on the tetrahedron.
Vertex centroid 2026-10-31
The arithmetic mean of a finite nonempty collection of vertices, treating each vertex as an equal point mass. For a polygon, this need not equal the uniform-area centroid of its interior. A translation or linear map commutes with this average; consequently rotating all vertices about their vertex centroid leaves that centroid fixed.
Volume of a solid with affine thickness 2026-10-18
Let a bounded planar region have positive area and centroid . If a solid has nonnegative thickness above , its volume integral givesThus the average of an affine function over a region is its value at the centroid. The proof is the linearity of integration. For a disk the centroid is its centre, making the formula particularly useful for a cylindrical bore cut through a solid whose width varies linearly with height.

