Les diagonales (AJ) et (CB) du quadrilatère ABJC sont perpendiculaires. Les côtés AB et CA ont la même longueur. Si un quadrilatère a deux côtés consécutifs de même longueur alors c'est un losange. Si un quadrilatère a ses diagonales perpendiculaires, alors c'est un losange. Donc, le quadrilatère ABJC est un losange.
