𝜆 > 0, 𝑛 ≥ 1, A le centre du disque Bn, B le centre du disque Bn+1, Rn le rayon du disque Bn et Rn+1

le rayon du disque Bn+1.

1 2 1 2 𝜆2
Le disque 𝐵𝑛 = 〈(𝑥, 𝑦) ∈ 𝑅 2 ; (𝑥 − 𝑛) + (𝑦 − 𝑛) ≤ 𝑛2 〉

1 2 1 2 𝜆2
Le disque 𝐵𝑛+1 = 〈(𝑥, 𝑦) ∈ 𝑅 2 ; (𝑥 − ) + (𝑦 − ) ≤ 〉
𝑛+1 𝑛+1 (𝑛+1)2

𝜆 𝜆 1 1 1 1 𝜆 𝜆
1. 𝐵𝑛+1 ⊂ 𝐵𝑛 ⟹ 𝐴𝐵 + 𝑛+1 ≤ 𝑛 avec 𝐴 (𝑛 , 𝑛), 𝐵 (𝑛+1 , 𝑛+1), 𝑅𝑛 ≤ 𝑛 et 𝑅𝑛+1 ≤ 𝑛+1

1 1 2 1 1 2 𝜆 𝜆
⟹ √( − ) +( − ) + ≤
𝑛+1 𝑛 𝑛+1 𝑛 𝑛+1 𝑛
1 1 2 𝜆 𝜆
⟹ √2 (𝑛+1 − 𝑛) + 𝑛+1 ≤ 𝑛
1 1 𝜆 𝜆
⟹ √2 |(𝑛+1 − 𝑛)| + 𝑛+1 ≤ 𝑛
1 1 𝜆 𝜆
⟹ √2 (𝑛 − 𝑛+1) + 𝑛+1 ≤ 𝑛

𝑛+1−𝑛 𝜆 𝜆
⟹ √2 ( )+ ≤
𝑛(𝑛+1) 𝑛+1 𝑛
1 𝜆𝑛 𝜆
⟹ √2 (𝑛(𝑛+1)) + 𝑛(𝑛+1) ≤ 𝑛
√2+𝜆𝑛 𝜆
⟹ ≤
𝑛(𝑛+1) 𝑛
√2+𝜆𝑛 𝜆(𝑛+1)
⟹ 𝑛(𝑛+1)
≤ 𝑛(𝑛+1)
⟹ √2 + 𝜆𝑛 ≤ 𝜆𝑛 + 𝜆
⟹ √2 ≤ 𝜆
𝜆 > 0 et 𝜆 ≥ √2 alors 𝜆 ≥ √2

2. Tous les disques sont inclus dans le disque B1 selon la démonstration qui vient d’être faite
si 𝜆 ≥ √2 (𝐵𝑛+1 ⊂ 𝐵𝑛 ⊂ 𝐵𝑛−1 ⊂ ⋯ ⊂ 𝐵1 ). Et donc B qui est l’union est fermé dans B1 pour
𝜆 ≥ √2.