The geometric representation of AM/GM is very cool, but the first animation seems wrong to me, it should be varying the value of `b`, not the location of the circle, for it to make sense, no?

Thanks for spotting this. I've mixed two ideas. Need to comeback to it. The smaller circle has to increase its size as b grows. As it is now it works because o triangle degeneration.