Hogy lehet az alábbi függvények szürjektivitását igazolni?

Ma kezdtük meg a szürjektivitást, és az igazolásra egy elég egyszerű módot mutatott a tanárnő:

f:A->B

Függvény esetén f(x)-et egyenlővé tesszük egy Y számmal, majd kifejezzük az egyenletből az x-et. Felírván a feltételt, miszerint x eleme A-nak, ezt egyenlővé tesszük a fent kifejezett értékkel, majd addig számolunk, amíg meg nem kapjuk, hogy mely szám lehet Y. Ha ez megegyezik a B halmazzal, akkor a függvény szürjektív. Ez egy igen elegáns megoldás, de a házi két esetében nem sikerült alkalmaznom:

1. f:N*->{-1,+1};f(x)=(-1)^n

2. f:R->[-1,∞), f(x)=x^2+2x

Második esetben arra gondoltam, hogy mivel a függvény csúcspontja pont -1, ezért minden annál nagyobb értéket felvesz, így a megoldások halmaza pont a [-1,∞) intervallum lesz, vagyis a függvény szürjektív. A megoldás szépséghibája, hogy nem túl általános, és ha egy hasonlóval találkozom, amit nem tudok így megoldani, végem. Második esetben fogalmam nincs, mit tegyek: Bár nyilvánvaló a szürjektivitás, nem próbálhatom végig minden term. számra, kifejezni pedig nem tudom, mert a logaritmus alapja -1 lenne, ami nem lehet.

Köszönöm előre is a segítséget.