>>721
三平方の定理を使うと円Dの半径は1になるから△DOCはDO=DC=3で二等辺三角形