x-a=tなどとおけば、微分の定義式や三角関数の極限式が使える形になる。