In this paper, we prove two versions of an arithmetic analogue of Bezout's theorem, subject to some technical restrictions. The basic formula proven is deg(V)h(X∩Y)=h(X)deg(Y)+h(Y)deg(X)+O(1), where X and Y are algebraic cycles varying in properly intersecting families on a regular subvariety VS⊂PSN. The theorem is inspired by the arithmetic Bezout inequality of Bost, Gillet, and Soulé, but improve upon it in two ways. First, we obtain an equality up to O(1) as the intersecting cycles vary in projective families. Second, we generalise this result to intersections of divisors on any regular projective arithmetic variety.
