In this paper we first prove certain formulas concerning rational inner fun
ctions in one and two complex variables, and then use these formulas to giv
e operator theoretic consequences, in particular Ando's inequality for two
commuting contractions on Hilbert space.
The work in this paper is closely related to earlier work by Jim Agler in [
Ag-1], [Ag-2], [Ag-3].