Salut,
Pour la première, je vois que des méthodes passablement bourrines alors que je pense qu'il y a plus simple.
Pour a>1 fixé et x>a, tu peut encadrer assez finement ln(t) pour t entre 1+1/x et 1+1/a, par exemple en prenant comme majorant la tangente en t=0 à la courbe comme majorant et la corde entre (1,0) et (a,ln(1+1/a)) comme minorant. En intégrant cet encadrement, tu devrait en déduire un encadrement de
})
assez précis pour avoir un équivalent de
})
lorsque x tend vers l'infini.
Idem pour l'autre coté où je pense que tu as intérêt à raisonner pour a<1 fixé puis encadrer ln(t) pour t entre ax² et x² et de nouveau intégrer l'encadrement obtenu. Je pense que de nouveau tu en déduit un équivalent
})
lorsque x tend vers l'infini.
Et comme à mon avis ces deux équivalents sont de "nature différentes", tu n'aura plus qu'à garder le plus grand des deux.