| 1 |
|
|---|
| 2 |
verbatimtex |
|---|
| 3 |
%&latex |
|---|
| 4 |
\documentclass[12pt]{article} |
|---|
| 5 |
\usepackage[charter]{mathdesign} |
|---|
| 6 |
\usepackage{pifont} |
|---|
| 7 |
\begin{document} |
|---|
| 8 |
etex |
|---|
| 9 |
|
|---|
| 10 |
input geometriesyr16 |
|---|
| 11 |
figure(0,0,12u,8u); |
|---|
| 12 |
u:=8mm; |
|---|
| 13 |
pair O,C,D,H,A,I,J,K; |
|---|
| 14 |
O=u*(5,5); |
|---|
| 15 |
path cc,cd,ce; |
|---|
| 16 |
cc=cercles(O,2.75u); |
|---|
| 17 |
cd=cercles(O,5u); |
|---|
| 18 |
A=pointarc(cd,48); |
|---|
| 19 |
I=cc intersectionpoint segment(O,A); |
|---|
| 20 |
ce=perpendiculaire(O,A,I); |
|---|
| 21 |
J=cd intersectionpoint ce; |
|---|
| 22 |
K=symetrie(J,O,A); |
|---|
| 23 |
C=segment(O,J) intersectionpoint cc; |
|---|
| 24 |
D=segment(O,K) intersectionpoint cc; |
|---|
| 25 |
H=iso(C,D); |
|---|
| 26 |
trace droite(O,O+u*(1,0)) dashed evenly; |
|---|
| 27 |
trace droite(O,O+u*(0,1)) dashed evenly; |
|---|
| 28 |
trace segment(O,A); |
|---|
| 29 |
trace cc; |
|---|
| 30 |
trace cd dashed withdots; |
|---|
| 31 |
drawoptions(withcolor gris); |
|---|
| 32 |
trace droite(J,K); |
|---|
| 33 |
trace chemin(J,O,K); |
|---|
| 34 |
trace demidroite(A,C); |
|---|
| 35 |
trace demidroite(A,D); |
|---|
| 36 |
trace codeperp(O,C,A,5); |
|---|
| 37 |
trace codeperp(O,D,A,5); |
|---|
| 38 |
drawoptions(); |
|---|
| 39 |
path arcs[]; |
|---|
| 40 |
arcs0=cercles(O,1.75u) cutafter segment(O,A); |
|---|
| 41 |
arcs1=reverse(cercles(O,2u) cutbefore segment(O,D)); |
|---|
| 42 |
arcs2=cercles(O,1.25u) cutafter segment(O,C); |
|---|
| 43 |
drawarrow arcs0; |
|---|
| 44 |
drawarrow arcs1; |
|---|
| 45 |
drawarrow arcs2; |
|---|
| 46 |
label.rt(btex $\phi$ etex,point(0.25*length arcs0) of arcs0); |
|---|
| 47 |
label.rt(btex \ding{172} etex,point(0.5*length arcs1) of arcs1); |
|---|
| 48 |
label.urt(btex \ding{173} etex,point(0.5*length arcs2) of arcs2); |
|---|
| 49 |
label.urt(btex Observateur etex,A); |
|---|
| 50 |
label.llft(btex O etex,O); |
|---|
| 51 |
fin; |
|---|
| 52 |
end |
|---|
| 53 |
|
|---|
