Ampère's law states that the line integral of B around any closed Amperian loop equals μ₀ times the total current enclosed: ∮ B · dl = μ₀I_enc. It is the magnetic analog of Gauss's law — mathematically equivalent to Biot-Savart for steady currents but far more powerful when symmetry is present. It is used to find B inside a solenoid (B = μ₀nI), a toroid, or near a long straight wire without integration.
Study the three canonical applications: infinite straight wire, infinite solenoid, and toroid. For each, identify the Amperian loop shape (circle or rectangle) that exploits symmetry to simplify ∮ B · dl before evaluating I_enc.
When you learned the Biot-Savart law, you could calculate the magnetic field from any current distribution — in principle. In practice, the vector integral is demanding: for each infinitesimal current element you compute a cross product, then integrate over the entire current path. Ampère's law offers a dramatically simpler route for symmetric configurations, analogous to the relationship between Coulomb's law and Gauss's law in electrostatics.
Ampère's law states that the line integral of B around any closed loop equals μ₀ times the total current threading through the loop: ∮ B · dl = μ₀I_enc. Like Gauss's law, this is always true — it is an exact statement of magnetostatics, not an approximation. The integral on the left sums up B · dl along the chosen path, and I_enc counts all currents passing through any surface bounded by that loop. The freedom to choose any loop is what makes the law powerful.
The strategy is the same as for Gauss's law: choose an Amperian loop whose geometry matches the symmetry of the current distribution so that B is constant in magnitude and parallel (or perpendicular) to dl everywhere on the loop. For a long straight wire, a circular loop of radius r centered on the wire gives ∮ B · dl = B(2πr), immediately yielding B = μ₀I/(2πr). For an infinite solenoid, a rectangular loop with one side inside and one outside gives BL = μ₀nIL, so B = μ₀nI inside and zero outside — the same result that would require a much harder Biot-Savart integration.
It is worth being precise about what "symmetry is required" means. Ampère's law is not a tool that "only works with symmetry" — it is always correct. The symmetry requirement is about calculation: without it, B is not constant along the loop, the integral cannot be factored, and you cannot extract B analytically. For asymmetric configurations, Biot-Savart remains the tool of choice.
Finally, the version of Ampère's law here (∮ B · dl = μ₀I_enc) applies only to magnetostatics — steady, non-changing currents. Maxwell's great insight was that changing electric fields also produce magnetic fields, and he added a displacement current term (μ₀ε₀ dΦ_E/dt) to generalize the law. This modified form is one of Maxwell's four equations and is the foundation of electromagnetic wave theory.