The object of the paper concerns a consistent formulation\ud
of the classical Signorini’s theory regarding the frictionless\ud
contact problem between two elastic bodies in the\ud
hypothesis of small displacements and strains. The employment\ud
of the symmetric Galerkin boundary element method,\ud
based on boundary discrete quantities, makes it possible to\ud
distinguish two different boundary types, one in contact as\ud
the zone of potential detachment, called the real boundary,\ud
the other detached as the zone of potential contact, called\ud
the virtual boundary. The contact-detachment problem is\ud
decomposed into two sub-problems: one is purely elastic,\ud
the other regards the contact condition. Following this methodology,\ud
the contact problem, dealtwith using the symmetric\ud
boundary element method, is characterized by symmetry and\ud
in sign definiteness of the matrix coefficients, thus admitting\ud
a unique solution. The solution of the frictionless contact-\ud
detachment problem can be obtained: (i) through an\ud
iterative analysis by a strategy based on a linear complementarity\ud
problem by using boundary nodal quantities as check\ud
quantities in the zones of potential contact or detachment;\ud
(ii) through a quadratic programming problem, based on a\ud
boundary min-max principle for elastic solids, expressed in\ud
terms of nodal relative displacements of the virtual boundary\ud
and nodal forces of the real one