on note i le centre du petit cercle et j le centre du grand cercle
on projette i et j sur ac on obtien i' et j'
on a alors :
r/R=ci/cj=(cj-ji)/cj
=1-ji/cj
JI=r+R ET cj=R/tan(30)
d ou r/R=1-(r+R)*tan(30)/R
=1-(r/R+1)tan(30)
r/R(1+tan(30))=1-tan(30)
d ou r/R=(1-tan(30))/(1+tan(30))