Definice absolutní hodnoty z rozdílu reálnách čísel a využití při řešení rnerovnic.