experiment Coulomb: the torsion pendulum

Rests on

• assumes equation 30.21 eq:elast-hooke-isotropic ¶
• assumes equation 28.2 eq:osc-sho ¶
• tests equation 30.55 eq:elast-torsion-constant ¶
• tests phenomenon 30.60 Coulomb's law of torsion ¶
  • depends_on definition 30.31 The engineering moduli ¶
    • depends_on definition 30.20 Pressure and deviatoric stress ¶
      • depends_on proposition 30.19 The stress tensor is symmetric ¶
        • depends_on definition 30.17 Traction ¶
        • depends_on theorem 30.18 Cauchy: the stress tensor exists ¶
        • proves proof ch:13-continuum-elasticity@proof-8 ¶
      • depends_on theorem 5.79 Spectral theorem for a self-adjoint operator ¶
        • depends_on corollary 5.72 Existence of an eigenvalue over $\C$ ¶
        • depends_on definition 5.41 Adjoint ¶
        • depends_on theorem 5.40 Rank–nullity ¶
        • proves proof ch:03-linear-algebra-representations@proof-31 ¶
    • depends_on equation 30.21 eq:elast-hooke-isotropic ¶ ↺
  • depends_on equation 30.21 eq:elast-hooke-isotropic ¶ ↺
  • proves proof ch:13-continuum-elasticity@proof-31 ¶

Supports

Nothing declares a dependency on this node yet.