This lecture is the introduction to the Ampère's Law Activity.
Start with an introduction to both Ampère's Law and total current:
$$\int{\vec{B}\cdot{\vec{dr}}}=\mu_{0}I_{encl}$$
Refresher about Proof by Contradiction (“Little Observer” arguments):
Finding the magnetic field using Ampère's Law is an inverse problem and can only be done when there is a sufficient amount of symmetry in the current distribution so that the field be pulled out of the flux integral.
In order to pull the field out of the integral, one must use the symmetry to make assumptions about the components and the dependence of the field (e.g. that there is only an azimuthal component and it is only dependent on the radius). To justify these assumptions, we build on the idea of proof by contradiction, where one assumes the opposite of what we want to show and demonstrates a contradiction.
The idea is to make arguments about the functional dependence and direction of the magnetic field by comparing the assumptions made about the field and what an observer placed near the current density in various locations and facing various directions would expect to see based on how she perceives the current distribution to change.
Example: Infinite sheet of current that extends infinitely in the $x$ and $y$ directions and has finite thickness in the $z$ direction.
This problem can drag on if followed through all the way to the end, so it is better to stop after the symmetry arguments and the Amperian loop is chosen. This takes them from an inverse problem to a point where you can pull B out of the integral. If students are really struggling with the integral or with finding the current, you can stop the class and continue working on the example.