Image:Butterfly theorem.svg

[edit] Summary

Illustration for article en:Butterfly theorem. Created by Gustavb using Eukleides

[edit] Licensing

I, the author of this work, hereby publish it under the following license: Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". العربية | Česky | Deutsch | English | Español | Français | Italiano | 日本語 | 한국어 | Nederlands | Polski | Português | Slovenčina | Svenska | עברית +/-

[edit] Source

[edit] Butterfly_theorem.euk

box(-1.2,-1.1,1.2,1.1,2.2)
thickness(1.2)

E = circle(point(0,0),1)

A = point(E,120:)
C = point(E,60:)
P = point(E,170:)
D = point(E,210:)
B = point(E,330:)

M = intersection(line(C,D),line(A,B))
G = line(M, P)
Q P intersection(G, E)
X = intersection(line(A,D),line(P,Q))
Y = intersection(line(C,B),line(P,Q))

draw(P,Q)
draw(E)
draw(A,D,C,B,A)
draw("$A$",A,.05,120:)
draw("$C$",C,.05,50:)
draw("$P$",P,.05,190:)
draw("$Q$",Q,.05,20:)
draw("$D$",D,.05,210:)
draw("$B$",B,.05,310:)
draw("$M$",M,.1,90:)
draw("$X$",X,.05,135:)
draw("$Y$",Y,.05,60:)

mark(B,M,C,simple,.4); mark(Q,M,C,simple,.46)
mark(A,M,D,simple,.4); mark(P,M,D,simple,.46)
mark(C,D,A,simple,.5); mark(C,D,A,simple,.44); mark(C,D,A,simple,.38)
mark(C,B,A,simple,.5); mark(C,B,A,simple,.44); mark(C,B,A,simple,.38)

[edit] Instructions

1. Create EPS
   

   $ euk2eps Butterfly_theorem.euk
   

2. Outline fonts
   

   $ eps2eps -dNOCACHE Butterfly_theorem.eps Butterfly_theorem2.eps
   

3. Fix bounding box
   

   $ ps2epsi Butterfly_theorem2.eps Butterfly_theorem.eps
   

4. Convert to Sketch
   

   $ pstoedit -f sk Butterfly_theorem.eps Butterfly_theorem.sk
   

5. Convert to SVG
   

   $ skconvert Butterfly_theorem.sk Butterfly_theorem.svg
   

6. Fix Butterfly_theorem.svg with Inkscape