>>237
a^xに関する2次不等式を解くだけだから、特にもっと簡単な解き方があるとも思えない。
あとは>>228さんの指摘にある通り。
a^2=a^3・a^(-1) なので左辺は簡単に因数分解できる。