Ciao, se consideriamo in generale alfa un numero appartenente a R possiamo limitarci a considerare il limite solo destro per x --> 1+ (per ovvi motivi di campo di esistenza della base dell'esponenziale a denominatore); ciò non compromette i nostri ragionamenti perchè a noi interessa trovare l'ordine dell'infinitesimo anche solo unilaterale; dunque studiando il limite parametrico si ha:
\[\alpha \in R\]
\[\mathop {\lim }\limits_{x \to {1^ + }} \frac{{\sqrt {{x^2} - 1} }}{{{{(x - 1)}^\alpha }}} = \mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{{x^2} - 1}}{{{{(x - 1)}^{2\alpha }}}}} = \mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x - 1)(x + 1)}}{{{{(x - 1)}^{2\alpha }}}}} = \mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x + 1)}}{{{{(x - 1)}^{2\alpha - 1}}}}} = \]
\[ = \left\{ \begin{array}{l}
2\alpha - 1 > 0\;\;\; \to \;\;\;\mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x + 1)}}{{{{(x - 1)}^{2\alpha - 1}}}}} = \sqrt {\frac{2}{{{0^ + }}}} = + \infty \\
2\alpha - 1 < 0\;\;\; \to \;\;\;\;\mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x + 1)}}{{{{(x - 1)}^{2\alpha - 1}}}}} = \mathop {\lim }\limits_{x \to {1^ + }} \sqrt {{{(x - 1)}^{ - (2\alpha - 1)}}(x + 1)} = 0\\
2\alpha - 1 = 0\;\;\; \to \;\;\;\mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x + 1)}}{{{{(x - 1)}^{2\alpha - 1}}}}} = \mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x + 1)}}{{{{(x - 1)}^0}}}} = \mathop {\lim }\limits_{x \to {1^ + }} \sqrt {\frac{{(x + 1)}}{1}} = \sqrt 2
\end{array} \right.\]
il caso che a noi interessa è quello dove il limite è finito e diverso da zero, dunque:
\[2\alpha - 1 = 0\;\;\; \to \;\;\;\alpha = \frac{1}{2}\] sarà l'ordine dell'infinitesimo cercato!
Saluti.
