Mixed correlation function and spectral curve for the 2-matrix model

We compute the mixed correlation function in a way which involves only the orthogonal polynomials with degrees close to $n$, (in some sense like the Christoffel Darboux theorem for non-mixed correlation functions). We also derive new representations for the differential systems satisfied by the biorthogonal polynomials, and we find new formulae for the spectral curve. In particular we prove the conjecture of M. Bertola, claiming that the spectral curve is the same curve which appears in the loop equations.