Барабарсыздыкты далилдөө

Барабарсыздыкты далилдөө — берилген барабарсыздык бардык мүмкүн болгон маанилеринде теңдеш аткарыла тургандыгын аныктоо.

Барабарсыздыкты далилдөөнүн жалпы ыкмасы жок. Ошондой болсо да айрым ыкмалар менен далилденет. Анын бирин төмөнкү мисалдан көрүүгө болот. (a+b)/2≥ экендигин далилдегиле, мында а≥0, b≥0. Далилдөө: (a+b)/2 - айырмасын түзүп, аны түрүндө жазууга болот. Мындан экендиги келип чыгат, демек барабарсыздык далилденди.