\begin{tikzpicture}[scale=1.8] \clip(-1.2,-1.2) rectangle (2,2); \def\x{1.2} \tkzDefPoint(0,0){o} \tkzDefPoint(2,0){a} \tkzDrawCircle[dashed,color=blue](o,a) \tkzDefPoint(0:\x){v1}\tkzDefPoint(0:4/\x){v1*}\tkzDefMidPoint(v1,v1*)\tkzGetPoint{C1} \tkzDefPoint(50:1.7){v3}\tkzDefPoint(50:4/1.7){v3*} \tkzDefPoint(90:1.2){v5}\tkzDefPoint(90:4/1.2){v5*} \tkzInterCC(o,a)(C1,v1)\tkzGetPoints{u}{u1} \tkzDrawArc(C1,u)(u1) \tkzDefCircle[orthogonal through =v3 and v3*](C1,v1) \tkzGetPoint{C2} \tkzInterCC(C2,v3)(C1,v1)\tkzGetPoints{v2*}{v2} \tkzClipCircle(o,a) \tkzDrawCircle[thin,color=gray](C2,v2) \tkzDefCircle[orthogonal through =v3 and v3*](C2,v2) \tkzGetPoint{C3} \tkzDrawCircle[thin,color=gray](C3,v3) \tkzDefCircle[orthogonal through =v5 and v5*](C3,v3) \tkzGetPoint{C4} \tkzDrawCircle[thin,color=gray](C4,v5) \tkzInterCC(C4,v5)(C3,v3)\tkzGetPoints{v4*}{v4} \fill[color=blue!10](o)--(v1) to [bend left=15] (v2) to [bend left=30] (v3) to [bend left=25] (v4) to [bend left=20] (v5) to (o); \tkzDrawSegment(o,v1)\tkzLabelSegment[above](o,v1){\(a\)} \tkzDrawArc[color=black](C1,v2)(v1) \tkzDrawArc[color=black](C2,v3)(v2) \tkzDrawArc[color=black](C3,v4)(v3) \tkzDrawArc[color=black](C4,v5)(v4) \tkzDrawSegment(v5,o) \draw[gray] (v5)--(0,2) (v1)--(a); \tkzDrawPoints[fill=red](o,v1,v2,v3,v4,v5) \tkzLabelPoint(v1){\(v_1\)} \tkzLabelPoint[right](v2){\(v_2\)} \tkzLabelPoint[below right](v3){\(v_3\)} \tkzLabelPoint[right](v4){\(v_4\)} \tkzLabelPoint[above left](v5){\(v_5\)} \tkzLabelPoint[below](o){\(v_0\)} \draw (40:1.35) node{\(b\)}; \draw (70:1.25) node{\(c\)}; \draw (1.2,-.6) node{\(A\)}; \draw (1.8,.35) node{\(B\)}; \draw (.5,1.75) node{\(C\)}; \draw (-.6,1.2) node{\(D\)}; \end{tikzpicture}