Den firkantede ulighed er en ulighed, der gælder for alle fire punkter i et metrisk rum, hvor trekantens ulighed er sand . Dens geometriske betydning er, at forskellen mellem to sider af en firkant ikke overstiger summen af de to andre sider [1] .
Lad os betegne afstanden mellem punkterne i det metriske rum og . Så gælder følgende ulighed for alle fire punkter i det metriske rum: .
Overvej de uligheder, der følger fra trekantens ulighed :
Træk fra begge dele af den første ulighed og fra begge dele af den anden ulighed .
Når , den firkantede ulighed bliver til den anden trekantsulighed: