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

我，本作品的著作權持有者，決定用以下授權條款發佈本作品：

已授權您依據自由軟體基金會發行的無固定段落、封面文字和封底文字GNU自由文件授權條款1.2版或任意後續版本，對本檔進行複製、傳播和／或修改。該協議的副本列在GNU自由文件授權條款中。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