Thanks for the response. I completely agree with the method. However, the text from which I'm working does not address indeterminate forms until a later chapter. It's been a few years since I've done any sincere studying in math, so I'm trying to play along by not using knowledge the book has yet to teach me. That being said, I can't make the assumption about the numerator tending to 0, since it comes from a discussion on existence of limits in indeterminate form.
Any other ideas?
Here is a way to think intuitively about the problem. The given function does not exist when x = 0. If a limit exists at all when x is near 0, then the function is not shooting off toward infinity. Right?
But that must mean that the function is NOT acting as though it is being divided by something close to 0. How can that be true? Why it must be because something is effectively canceling x. In short, we are looking for a function that at points close to x = 0 is equal to the given function but does not involve division by 0. Consequently, that other function will exist at x = 0. And what Halls is doing is systematically finding a function that (at points close to 0 but not equal to 0) is equal to the given function and also exists at x = 0.
My explanation makes no pretence of mathematical rigor, but what Halls did was as rigorous as you can imagine.
\(\displaystyle x = 0\ and\ \sqrt{ax + b} - 2 = 1 * x \implies \sqrt{(a * 0) + b} - 2 = 1 * 0 \implies \sqrt{b} = 2 \implies b = 4.\)
\(\displaystyle x \ne 0\ and\ \sqrt{ax + 4} - 2 = 1 * x \implies \left(\sqrt{ax + 4} - 2\right) * \left(\sqrt{ax + 4} + 2\right) = x\left(\sqrt{ax + 4} + 2\right) \implies (ax + 4) - 4 = x\left(\sqrt{ax + 4} + 2\right) \implies\)
\(\displaystyle ax = x\left(\sqrt{ax + 4} + 2\right) \implies a = \sqrt{ax + 4} + 2 \implies 1 = \dfrac{a}{\sqrt{ax + 4} + 2}.\)
But \(\displaystyle \sqrt{(a * 0) + 4} + 2 = \sqrt{4} + 2 = 2 + 2 = 4 \ne 0.\)
\(\displaystyle So\ f(x) = \dfrac{a}{\sqrt{ax + 4} + 2} \exists\ at\ x = 0.\)
\(\displaystyle f(0) = 1 \implies 1 = \dfrac{a}{\sqrt{(a * 0) + 4} + 2} = \dfrac{a}{4} \implies a = 4.\)
In other words,
\(\displaystyle x \ne 0 \implies \dfrac{\sqrt{4x + 4} - 2}{x} = f(x) = \dfrac{4}{\sqrt{4x + 4} + 2}.\)
That is easily checked by cross-multiplying.
And f(x) exists at x = 0 and has a limit of 1. So the other function has a limit of 1 at x = 0 even though it does not exist there. You can prove it if you want using the delta-epsilon method.