Tekintsük a következő állítást: „Ha \( x > 7 \), akkor \( f(x) > 0 \).”
a) Bontsuk fel a zárójelet, és alkalmazzuk a hatványozás azonosságait: $$ 2^{2x} - 6 \cdot 2^x + 9 = 2 \cdot 2^x + 9 $$ Rendezzük nullára az egyenletet, és vonjuk össze a megfelelő tagokat: $$ (2^x)^2 - 8 \cdot 2^x = 0 $$ Ebből szorzattá alakítással (kiemelve $2^x$-et): $$ 2^x (2^x - 8) = 0 $$ Mivel $2^x > 0$ minden valós $x$ esetén, az első tényező nem lehet nulla. Tehát: $$ 2^x - 8 = 0 \implies 2^x = 8 \implies \mathbf{x = 3} $$ A kapott megoldást visszahelyettesítve az eredeti egyenletbe, az azonosság teljesül.
b) Az állítás igaz.
Az $f(x) = x^2 - 9x + 14 = 0$ másodfokú egyenlet gyökei $x = 2$ és $x = 7$. Mivel a másodfokú tag együtthatója pozitív (felfelé nyitott parabola), a függvény a gyökein kívül vesz fel pozitív értékeket, vagyis $x < 2$ vagy $x > 7$ esetén $f(x) > 0$. Így ha $x > 7$, akkor $f(x) > 0$ valóban teljesül.
c) A megfordítás: Ha $f(x) > 0$, akkor $x > 7$.
A megfordított állítás hamis. Egy ellenpélda: legyen $x = 0$. Ekkor $f(0) = 14 > 0$, de a feltételünk ($x > 7$) nem teljesül, hiszen $0 \not> 7$.