One of the most important results in operator theory is Andô's [3] generalization of dilation theory for a single contraction to a pair of commuting contractions acting on a Hilbert space. While there are two explicit constructions (Schäffer [29] and Douglas [18]) of the minimal isometric dilation of a single contraction, there was no such explicit construction of an Andô dilation for a commuting pair (T 1 , T 2 ) of contractions, except in some special cases [2,16,17]. In this paper, we give two new proofs of Andô's dilation theorem by giving both Schäffer-type and Douglas-type explicit constructions of an Andô dilation with function-theoretic interpretation, for the general case. The results, in particular, give a complete description of all possible factorizations of a given contraction T into the product of two commuting contractions. Unlike the one-variable case, two minimal Andô dilations need not be unitarily equivalent. However, we show that the compressions of the two Andô dilations constructed in this paper to the minimal dilation spaces of the contraction T 1 T 2 , are unitarily equivalent.In the special case when the product T = T 1 T 2 is pure, i.e., if T * n → 0 strongly, an Andô dilation was constructed recently in [17], which, as this paper will show, is a corollary to the Douglas-type construction. We also show that their construction in this special case can be derived from a previous result obtained in [28].We define a notion of characteristic triple for a pair of commuting contractions and a notion of coincidence for such triples. We prove that two pairs of commuting contractions with their products being pure contractions are unitarily equivalent if and only if their characteristic triples coincide. We also characterize triples which qualify as the characteristic triple for some pair (T 1 , T 2 ) of commuting contractions such that T 1 T 2 is a pure contraction.