xに接する円とyに接する円が第一証言で接するとき
r+R=()^2+()^2の形になると思うのですが
これだけで円二つが第一象限にあることの必要十分条件になりますか?