tkz-euclid e 1.16 c AlterMundus

10.2 Intersection d’une droite et d’un cercle 54
10.2.2 Exemple plus complexe d’intersection droite-cercle
http://gogeometry.com/problem/p190_tangent_circle
E
D
A
O O ′
B
\begin{tikzpicture}[scale=1.25]
\tkzInit[xmin=0,xmax=8,ymin=-4,ymax=4] \tkzClip[space=.4]
\tkzDefPoint(0,0){A} \tkzDefPoint(8,0){B}
\tkzDefMidPoint(A,B) \tkzGetPoint{O}
\tkzDrawCircle(O,B)
\tkzDefMidPoint(O,B) \tkzGetPoint{O’}
\tkzDrawCircle(O’,B)
\tkzTangent[from=A](O’,B) \tkzGetSecondPoint{E}
\tkzInterLC(A,E)(O,B) \tkzGetSecondPoint{D}
\tkzDefPointBy[projection=onto A--B](D) \tkzGetPoint{F}
\tkzMarkRightAngle(D,F,B)
\tkzDrawSegments(A,D A,B D,F)
\tkzDrawSegments[color=red,line width=1pt,opacity=.4](A,O F,B)
\tkzDrawPoints(A,B,O,O’,E,D) \tkzLabelPoints(A,B,O,O’,E,D)
\end{tikzpicture}
tkz-euclide
AlterMundus