\input{preamble-standalone.ltx} \begin{document} % Ex. No. 143 (Section 18.1.4 : Example with option \tkzname{ex}) \begin{tikzpicture}[scale=.75] \tkzDefPoints{ 0/0/A,4/0/B,0.8/4/C} \tkzDefCircle[ex](B,C,A) \tkzGetPoint{J_c} \tkzGetLength{rc} \tkzDefPointBy[projection=onto A--C ](J_c) \tkzGetPoint{X_c} \tkzDefPointBy[projection=onto A--B ](J_c) \tkzGetPoint{Y_c} \tkzGetPoint{I} \tkzDrawPolygon[color=blue](A,B,C) \tkzDrawCircle[R,color=lightgray](J_c,\rc pt) % possible \tkzDrawCircle[ex](A,B,C) \tkzDrawCircle[in,color=red](A,B,C) \tkzGetPoint{I} \tkzDefPointBy[projection=onto A--C ](I) \tkzGetPoint{F} \tkzDefPointBy[projection=onto A--B ](I) \tkzGetPoint{D} \tkzDrawLines[add=0 and 2.2,dashed](C,A C,B) \tkzDrawSegments[dashed](J_c,X_c I,D I,F J_c,Y_c) \tkzMarkRightAngles(A,F,I B,D,I J_c,X_c,A J_c,Y_c,B) \tkzDrawPoints(B,C,A,I,D,F,X_c,J_c,Y_c) \tkzLabelPoints(B,A,J_c,I,D,X_c,Y_c) \tkzLabelPoints[above left](C) \tkzLabelPoints[left](F) \end{tikzpicture} \end{document}