nierówność z pierwiastkiem kwadratowym Coodlaty: W zadaniu należy pokazać, iż wyrażenie jest sprzeczne przy założeniu x<0 √x(x−9)>x ⋀ −√x(x−9)>x Łatwo pokazać, że pierwsza nierówność jest prawdziwa, jako że liczba pod pierwiastkiem jest dodatnia, a prawa strona nierówności ujemna. Druga nierówność na pewno jest sprzeczna, ale jak to uzasadnić rachunkowo? Próbowałem nawet różniczkować, ale nie wychodzi nic rozsądnego, proszę o pomoc.

Adamm: −√x²−9x>x √x²−9x<−x x²−9x<x² x>0 sprzeczność

PW: Zaraz, zaraz. Co tu dalej liczyć? Pytasz, czy prawdziwa jest koniunkcja o pierwszym członie fałszywym.

Adamm: PW jest fałszywy ponieważ? liczba nieujemna jest większa od ujemnej, pierwszy człon jest prawdziwy

PW: Masz rację, coś mi się we łbie przestawiło.