通过变量替换证 limit as x -> 0 of sin(kx)/x = k 。