Nelisivuinen epäyhtälö on epäyhtälö, joka pätee kaikkiin neljään metrisen avaruuden pisteeseen, jossa kolmio-epäyhtälö on tosi . Sen geometrinen merkitys on, että nelikulmion kahden sivun ero ei ylitä kahden muun sivun summaa [1] .
Merkitään metrisen avaruuden pisteiden välinen etäisyys ja . Sitten metriavaruuden mille tahansa neljälle pisteelle pätee seuraava epäyhtälö: .
Harkitse kolmion epäyhtälöstä seuraavia epäyhtälöitä :
Vähennä ensimmäisen epäyhtälön molemmista osista ja toisen epäyhtälön molemmista osista .
Kun , Nelisivuinen epätasa-arvo muuttuu toiseksi kolmion epätasa-arvoksi: