Start from:
abs(x-9) = abs(sqrtx-3)abs(sqrtx+3)|x−9|=∣∣√x−3∣∣∣∣√x+3∣∣
for x > 0x>0, so:
abs(sqrtx-3) = abs(x-9)/(sqrtx+3)∣∣√x−3∣∣=|x−9|√x+3
For any number epsilon > 0ε>0 choose now delta_epsilon < 3epsilonδε<3ε.
For x in (9-delta_epsilon,9+delta_epsilon)x∈(9−δε,9+δε) we have;
abs(x-9) < delta_epsilon|x−9|<δε
and, as sqrtx√x is positive:
sqrtx +3 > 3√x+3>3
so:
abs(sqrtx-3) = abs(x-9)/(sqrtx+3) < delta_epsilon/3 < (3epsilon)/3 = epsilon∣∣√x−3∣∣=|x−9|√x+3<δε3<3ε3=ε
Thus:
x in (9-delta_epsilon,9+delta_epsilon) => abs(sqrtx-3) < epsilonx∈(9−δε,9+δε)⇒∣∣√x−3∣∣<ε
which proves that:
lim_(x->9) sqrtx = 3