WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Arc length

Revision #487 → #1014 · back to history

addedArc length as integral of speed660fc93d46c2
addedArc length formula for differentiable curve851e801fce40
addedIndependence of parameterization549c5b9a1a8e
addedChordal distance70f5cc6a793d
addedRefinement does not decrease chordal distancee342935716f1
addedLength as limit of polygonal chainsd400db9ad3df
addedLimit length equals integral length10108a109593
addedRectifiable curve2dbc8ef940c3
addedSigned arc length28c1a51659c8
addedArc length for explicit function y=f(x)a305d09d31a7
addedCurves with closed-form arc length49112ed6cf36
addedQuarter of unit circle by numerical integrationb9035b176099
addedArc length integrand on a surface (first fundamental form)9846d31fe002
addedArc length in polar coordinatesd3d0f5574b1d
addedArc length in spherical coordinates4eb3c41774a7
addedArc length in cylindrical coordinatesc595dbeaa873
addedDefinition of pi via circumference84f0f36ec679
addedSemicircle arc length0bf5974ea768
addedDefinition of the radiancba78e01925c
addedArc length with angle in degrees37bf131e0f8d
addedArc length with angle in grads2a2c7220d1de
addedArc length with angle in turns67e4bef31ea4
addedGreat-circle arc length on Earth0c684e818fec
addedCurves of infinite length6b7ac1b9897a
addedKoch curve0a834851ff9a
addedGraph of x sin(1/x)5bb4663d1c1c
addedLength of a curve on a (pseudo-)Riemannian manifoldec03d15d4a10
addedCurve length is non-negativebbab149f6c01
addedArc length as proper time/distance in relativityba85f5707e46