摘要：Background: The Brouard-Carey equality describes the symmetries between the distribution of life lived and life left in stationary populations. This result was formally proved for populations of infinite size and continuous time, and a subsequent attempt to prove it for populations of finite size is invalid. Objective: We attempt to provide a formal mathematical proof of the Brouard-Carey equality for finite stationary populations. Conclusions: The symmetries between life lived and life left in finite stationary populations can only be proved if time is explicitly discretized. The proof is more complex than in a continuous-time framework, but it conforms with the kinds of data usually available to researchers. Contribution: The main contribution of this paper is to offer a complete and formal proof of the symmetries between life lived and life left for finite stationary populations in a discrete-time framework. This result is a useful tool for the study of human and non-human populations when the assumption of stationarity is acceptable, especially when subject ages are unknown, but individuals are followed-up until death.
