pa je nenegativan kao umnožak dvaju takvih faktora.
Zato je i
(x−1)2(x+1)2x6−4x4+7x2≥0,
što je ekvivalentno s početnom nejednakosti, pa je tvrdnja zadatka dokazana.
Drugo rješenje.
Primijetimo najprije da su svi pribrojnici s lijeve strane nenegativni. Ako je ∣x∣≥2 onda je x2≥2 te je nejednakost zadovoljena.
Preostaje pokazati tvrdnju za x za koje je ∣x∣<2.
Za takav x vrijedi 0≤x2≤2, a to je ekvivalentno s −1≤x2−1≤1, odnosno vrijedi ∣x2−1∣≤1.
Lijeva strana zadnje nejednakosti nikad nije jednaka nuli iz uvjeta zadatka. Zato smijemo uzeti recipročnu vrijednost na obje (pozitivne) strane nejednakosti i zaključiti
∣x2−1∣1≥1.
Primjenom A–G nejednakosti na drugi i treći pribrojnik s lijeve strane nejednakosti iz teksta zadatka dobivamo