Let be a commutative ring, let be the polynomial ring over , and let be an element of . Then we can define a homomorphism of by constructing the evaluation homomorphism from to taking to itself and taking to .
To see that is an automorphism, observe that
is the identity on
and takes to , so by the uniqueness of the evaluation homomorphism,
is the identity.