Hola Leonardo, como decía Lucía podés considerar el desarrollo con $d\alpha$ y $d\beta$ independientes y entonces el término que no se descarta es de orden 1 en cada variables. Ahora, si por alguna razón querés hacer un desarrollo en un sólo parámetro (por ejemplos haciendo $d\alpha$ y $d\beta$ proporcionales) entonces creo que tu intuición en correcta y tendrías que ir a orden 2 para ver todas las cancelaciones. Si llegás a hacer esa cuenta compartila, yo no la hice así que te respondo desde el olfato porque estás pensando en casos particulares del resultado general.