鋭角三角形 ABDABDABD の外心を OOO、R=ODR=ODR=OD とする。中点三角形による標準的な議論から、3つの単位円板が △ABD\triangle ABD△ABD を覆うことは、OOO が DDD 中心の単位円板内にある、すなわち R≤1R\le1R≤1 と同値である。