A posteriori error estimates for the obstacle problem are established in the framework of the hypercircle method. To this end, we provide a general theorem of PragerSynge type. There is nowno generic constant in the main term of the estimate. Moreover, the role of edge terms is elucidated, and the analysis also applies to other types of a posteriori error estimators for obstacle problems.