In Spivak's Calculus chapter 3, there is a part which essentially states:
$\textrm{if} ~~~ r(x)=x^2\ \textrm{such that} \ -17\leq x\leq \frac{\pi}{3}\\ \textrm{then} ~~~ r(x+1)=x^2+2x+1=r(x)+2x+1\ \textrm{such that} \ -17\leq x\leq \frac{\pi}{3}-1$
Why is the domain of $r(x+1)$ reduced by 1?
And would the domain of $r(x+a)$ be reduced by $a$?
I have tried searching Google for this, which returns little other than programming related topics. I have also attempted sketching the graphs of both curves which has (wrongly?) convinced me that the domain should be $-18\leq x \leq \frac{\pi}{3}-1$.
Spivak writes:
An assertion is an equality that is supposed to be true. In this case.
$$ r(x+1) = r(x) + 2x + 1 \quad \text{if } -17 \le x \le \frac{\pi}{3} - 1 $$
So he reduced the domain to ensure that $r$ does not run out of the domain when used with $r(x+1)$. E.g. $x = \frac{\pi}{3}$ would turn the LHS to $r(\frac{\pi}{3}+1)$ which is not in the prior defined domain of $r$.
Valid would be the intersection of the domains for $r(x+1)$, which is $[-18,\frac{\pi}{3}-1]$ and for $r(x)$ which is $[-17,\frac{\pi}{3}]$, meaning $[-17,\frac{\pi}{3}-1]$.