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

我，本作品著作权人，特此采用以下许可协议发表本作品：

已授权您依据自由软件基金会发行的无固定段落及封面封底文字（Invariant Sections, Front-Cover Texts, and Back-Cover Texts）的GNU自由文件许可协议1.2版或任意后续版本的条款，复制、传播和／或修改本文件。该协议的副本请见“GNU Free Documentation License”。http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

	本文件采用知识共享署名-相同方式共享 3.0 未本地化版本许可协议授权。
	您可以自由地： 共享 – 复制、发行并传播本作品 修改 – 改编作品 惟须遵守下列条件： 署名 – 您必须对作品进行署名，提供授权条款的链接，并说明是否对原始内容进行了更改。您可以用任何合理的方式来署名，但不得以任何方式表明许可人认可您或您的使用。 相同方式共享 – 如果您再混合、转换或者基于本作品进行创作，您必须以与原先许可协议相同或相兼容的许可协议分发您贡献的作品。
	本许可协议标签作为GFDL许可协议更新的组成部分被添加至本文件。http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

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)

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