리드스톤 정리

1. 개요 Introduction

리드스톤 정리(Lidstone's theorem)는 1905년 조지 J. 리드스톤이 처음 발표한 것으로[5], 생명보험계약에서 보유 중인 장래법 준비금(prospective reserve)이 기초율(technical basis)의 한 가지 또는 여러 요소가 바뀔 때 증가할지 감소할지를 판정할 수 있는 충분조건을 제시한다. 리드스톤은 생명표의 1년 확률을 사용하는 이산시간(discrete-time) 틀에서 결과를 얻었다. 이 틀에서 정리는 이후 확장되었고([1–3]), 1985년 노르베르크(Norberg)가 연속시간(continuous time)으로 일반화하였다[6]. 여기서는 노르베르크의 연속시간 버전을 따른다.

2. 설정과 틸레의 미분방정식 Setting and Thiele's Equation

기초율을 일정한 이력(force of interest) δ와 연령 y에서의 사력(force of mortality) μ_y로 둔다. 어떤 사람이 연령 x에서 기간 n년의 생명보험에 가입한다고 하자. 연령 x+t에서 사망 시 지급되는 사망보험금을 b_t, 만기보험금을 b_n이라 한다. 보험료율은 연령 x+t에서 π_t이며, 가입 시점에 일시납 보험료 π₀가 있을 수도 있다. 연령 x+t에서의 장래법 준비금을 V_t로 표시한다.

보험료와 준비금을 같은 기초율로 계산한다고 가정하면, 준비금은 다음 틸레의 미분방정식(Thiele's differential equation)을 만족한다.

이제 새로운 이자·사망률 모수 δ′와 μ′_y로 주어지는 새 기초율을 도입한다. 이는 새로운 순보험료 π′_t와 새로운 장래법 준비금 V′_t를 낳으며, V′_t 역시 (새 모수로 쓴) 틸레의 방정식을 만족한다.

3. 임계함수 The Critical Function

리드스톤은 임계함수(critical function)를 도입했는데, 여기서는 이를 c_t로 표기한다. 두 기초율의 차이로부터 다음과 같이 정의된다.

이 함수는 “새 기초율과 옛 기초율의 차이”—보험료 차이, 사망률 차이가 위험보험금에 작용하는 부분, 그리고 이자율·사망률 차이가 준비금에 작용하는 부분—를 한데 모은 것이다. 정리의 결론은 바로 이 c_t의 부호 변화 패턴으로 표현된다.

4. 정리의 진술 Statement of the Theorem

비공식적으로 말하면, 리드스톤 정리는 다음과 같다. 옛 기초율과 새 기초율로 계산한 준비금이 가입 시점과 만기 시점에서 서로 같고(초기 일시납 π₀와 만기금 b_n을 적절히 감안할 때), 임계함수가 보험기간 동안 부호를 단 한 번만 바꾼다면, 새 준비금 V′_t는 보험기간 내내 옛 준비금 V_t보다 항상 작거나, 또는 항상 크다.

더 정확히는[6], V_n− = V′_n−이고(즉 양 끝에서 준비금이 일치), 임계함수 c_t가 부호를 바꿀 수 있는 시점이 (0, n) 안에 단 하나 t₀만 존재한다고 하자. 그러면 다음이 성립한다.

그리고 위 부등호들을 모두 강부등호(strict)로 바꿔도 결과는 그대로 성립한다. 즉 임계함수가 “처음엔 음, 나중엔 양” 패턴이면 새 준비금이 더 작고, 반대 패턴이면 더 크다.

5. 따름정리와 직관 Corollaries and Interpretation

이 정리는 균등 보험금·균등 보험료·증가하는 준비금을 가진 계약, 예컨대 양로보험(endowment assurance)에 대해 여러 따름정리를 갖는다[6]. 가장 유용한 두 가지는 다음과 같다.

• 이자율을 올리면(내리면) 준비금은 내려간다(올라간다). 즉 이력(force of interest)의 증가/감소는 준비금의 감소/증가를 낳는다.
• 모든 연령에서 사망률을 올리면(내리면), 그 차이 μ′_y−μ_y가 0이 아니고 비증가(nonincreasing)인 경우, 준비금은 내려간다(올라간다).

6. 적용 범위와 한계 Scope and Limitations

리드스톤 정리는 본질적으로 준비금이 평가 기초율의 요소들에 얼마나 민감한지를 검정하는 도구다. 다만 이 정리는 단일 탈퇴 사망모형(single-decrement mortality model)이라는 특수한 경우에만 적용되며, 이를 일반화한 모형—예컨대 마르코프형 질병–사망 모형(장해보험 참조)—으로 명백히 확장되지는 않는 것으로 보인다. Kalashnikov & Norberg[4]는 틸레 방정식들을 직접 미분하고 그 결과 나오는 편미분방정식을 수치적으로 풀어 이 한계를 넘어서는 작업을 수행하였다.

참고 및 관련 표제어

부록. 이 글에 나온 용어 (배경지식 보충)

• 리드스톤 정리 (Lidstone's theorem) — 기초율을 바꿨을 때 준비금이 증가/감소하는 방향을 임계함수의 부호 변화로 판정하는 충분조건.
• 장래법 준비금 (prospective reserve) — 현 시점 이후 미래 순지출(보험금−보험료)의 기대 현재가치로 정의한 책임준비금.
• 기초율 (technical basis) — 보험료·준비금 계산에 쓰는 이자율·사망률 등 가정의 집합.
• 이력 (force of interest, δ) — 연속복리에서의 순간 이자율.
• 사력 (force of mortality, μ_y) — 연령 y에서의 순간 사망 강도(사망률의 연속시간 버전).
• 틸레의 미분방정식 (Thiele's differential equation) — 준비금의 시간 변화를 이자·보험료·사망위험 항으로 기술하는 미분방정식.
• 임계함수 (critical function, c_t) — 두 기초율의 차이를 모아 만든 함수. 그 부호 변화로 준비금 대소가 결정된다.
• 양로보험 (endowment assurance) — 사망보험금과 만기보험금을 함께 갖춘 보험. 준비금이 시간에 따라 증가하는 대표 상품.
• 단일 탈퇴 모형 (single-decrement model) — 사망이라는 한 가지 탈퇴 원인만 있는 모형. 리드스톤 정리가 적용되는 범위.
• 보수적 기초율 (conservative basis) — 낮은 이자율·높은 사망률처럼 회사에 안전하게 더 많은 준비금을 쌓게 하는 가정.

한국보험시장 현황 Korea Market Practice

리드스톤 정리는 기초율(이율·위험률)을 더 보수적으로 강화하면 책임준비금이 더 빨리·더 크게 쌓인다는 결과다. 국내 전통적 준비금 산출에서 보수적 기초율(낮은 예정이율·높은 위험률)을 쓰면 준비금이 두터워지는 현상이 이에 해당하며, 건전성·계약자 보호의 근거가 된다.

IFRS17은 보수적 기초율 대신 최선추정+위험조정(RA)으로 측정하므로, 보수성은 RA와 CSM 구조로 옮겨졌다. 그럼에도 '가정을 보수적으로 잡을수록 부채가 커진다'는 리드스톤의 직관은 가정 민감도·준비금 적정성 판단에 여전히 유효하다.