phenomenon 18.12 Uniformly accelerated motion
open in the book ·
parts/03-classical-mechanics/01-kinematics.tex:315
· p. 722
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
-
depends_on
definition 18.11
Acceleration
¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
-
depends_on
definition 7.16
Limit
¶
- depends_on definition 7.2 Absolute value ¶
- depends_on definition 7.9 Real function ¶
- depends_on definition 7.9 Real function ¶ ↺
-
depends_on
definition 7.16
Limit
¶
-
depends_on
definition 18.10
Velocity
¶
- depends_on definition 7.26 Derivative of a function at a point ¶ ↺
- depends_on definition 18.9 Position ¶
- depends_on definition 13.9 Tangent vector to a curve ¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
- depends_on equation 18.7 eq:kin-const-acc-itinerary ¶
- proves proof ch:01-kinematics@proof-1 ¶
Supports
-
depends_on
phenomenon 20.1
phen:parabolic-trajectory
¶
- assumes experiment Absolute Ballistic Gravimetry (1995–present) ¶
-
depends_on
theorem 20.2
Parabolic trajectory
¶
-
depends_on
corollary 20.3
Range, apex, time of flight
¶
- depends_on example 20.4 ex:projectile-everyday ¶
- depends_on phenomenon 20.6 Air drag ¶
-
depends_on
proposition 20.9
Linear resistance: exact motion, and the lost range
¶
- depends_on remark 20.11 What has no closed form, and what to do about it ¶
- depends_on phenomenon 20.6 Air drag ¶ ↺
- depends_on remark 20.5 rem:projectile-idealisation ¶
-
depends_on
corollary 20.3
Range, apex, time of flight
¶
- tests experiment Galileo's Inclined Planes ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
cites |
→ | Discorsi e dimostrazioni matematiche intorno a due nuove scienze | derived | parts/03-classical-mechanics/01-kinematics.tex:321 |
cites |
→ | A new generation of absolute gravimeters | derived | parts/03-classical-mechanics/01-kinematics.tex:325 |
depends_on |
→ | Acceleration | declared | parts/03-classical-mechanics/01-kinematics.tex:327 |
depends_on |
→ | eq:kin-const-acc-itinerary | declared | parts/03-classical-mechanics/01-kinematics.tex:327 |
depends_on |
← | phen:parabolic-trajectory | declared | parts/03-classical-mechanics/03-exp-projectile-motion.tex:78 |
proves |
← | ch:01-kinematics@proof-1 | declared | parts/03-classical-mechanics/01-kinematics.tex:330 |