Newton's Three Laws
Teach me

① Law of inertia

F_net = 0 ⇔ dv/dt = 0

Zero net force means velocity is constant — any constant, not necessarily zero. Rest (v = 0) is just one special case. On the puck, mg and N cancel: balanced forces ⇒ no change of motion.

② F = ma

a = F_net/m ; x = x₀ + v₀t + ½at²

Kernel-verified checks: forces +6 N and −2 N on m = 2 kg ⇒ Fnet = 4 N and a = 2 m/s². From rest, 4 N on 1 kg for 2 s ⇒ v = 8 m/s and x = 8 m. Same F on double m ⇒ half a.

③ Action–reaction

F on A = −(F on B) ⇒ |a_A|/|a_B| = m_B/m_A

+5 N on B ⇒ −5 N on A, always — on the two different bodies. From rest, mAvA + mBvB = 0 (total momentum stays zero).

⚠ The counterfactuals (for contrast)

v = F/k (k = 2 N·s/m) ; F_X ∝ m_X

⚠ Aristotle (scenes ①–②): force sustains velocity — F = 0 ⇒ instant rest. ⚠ "Heavier pushes harder" (scene ③): body X pushes with 5 N·mX/m̄ — an unequal pair, so Σp is not conserved. Both are implemented exactly so you can watch them fail.