\begin{tikzpicture}[scale=1.7]
                  \clip(-.5,-.5) rectangle (3,3);
                  \tkzDefPoint(0,0){o}
                  \tkzDefPoint(2,0){a}
                  \tkzDrawCircle[dashed,color=blue](o,a)
                  \tkzDefPoint(0:1.5){p}
                  \tkzDefPoint(55:1.2){q}
                  \tkzDefPoint(0:2.667){p*}
                  \tkzDefPoint(55:3.333){q*}
                  \tkzDefMidPoint(q,q*)\tkzGetPoint{mq}
                  \tkzDefMidPoint(p,p*)\tkzGetPoint{mp}
                  \tkzCircumCenter(p,q,p*)\tkzGetPoint{zo}
                  \tkzLabelPoint[below](o){\(0\)}
                  \tkzLabelPoint[below](p){\(p\)}
                  \tkzLabelPoint[above](q){\(q\)}
                  \tkzLabelPoint[above](q*){\(q^*\)}
                  \tkzLabelPoint[below](p*){\(p^*\)}
                  \tkzMarkAngle[size=.2 cm](p,o,q)
                  \tkzLabelAngle[pos=.3](p,o,q){\(\gamma\)}
                  \draw (q)++(235:.2) arc(235:285:.2cm) node[below right=-1pt and -10pt]{\(\alpha\)};
                  %\draw (q)++(275:.2) arc(275:315:.2cm);
                  \draw (p)++(-.4,0) arc(180:150:.4cm);
                  \draw (q*)--(o)--(p*);
                  \draw (mq)--(zo)--(mp);
                  \draw (p)--(zo)--(q);
                  \tkzMarkRightAngle[size=.1](q,mq,zo)
                  \tkzMarkAngle[size=.2 cm](mq,zo,q)
                  \tkzLabelAngle[pos=-.3](mq,zo,q){\(\alpha\)}
                  \tkzMarkAngle[size=.4 cm](p,zo,mp)
                  \tkzLabelAngle[pos=.5](p,zo,mp){\(\beta\)}
                  \tkzMarkRightAngle[size=.1](p,mp,zo)
                  \hypsegment{q}{p}{o}{a}
                  \draw (5:1) node{\(\beta\)};
                  \draw (25:1.1) node{\(c\)};
                  \draw (.75,-.1) node{\(a\)};
                  \draw (68:.6) node{\(b\)};
                  \tkzDrawPoints[fill=red](o,p,q)
                  \tkzDrawPoints(p*,q*,mq,mp,zo)
                  \tkzLabelPoint[below](mp){\(m_p\)}
                  \tkzLabelPoint[left](mq){\(m_q\)}
                  \tkzLabelPoint[right](zo){\(z_0\)}
                  \draw (1.4,1.05) node{\(R\)};
                  \draw (20:1.8) node{\(R\)};
                  \end{tikzpicture}