Resumen

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

Licencia

Yo, el titular de los derechos de autor de esta obra, la publico en los términos de la siguiente licencia:

Se autoriza la copia, distribución y modificación de este documento bajo los términos de la licencia de documentación libre GNU, versión 1.2 o cualquier otra que posteriormente publique la Fundación para el Software Libre; sin secciones invariables, textos de portada, ni textos de contraportada. Se incluye una copia de la dicha licencia en la sección titulada Licencia de Documentación Libre GNU.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

	Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 3.0.
	Eres libre: de compartir – de copiar, distribuir y transmitir el trabajo de remezclar – de adaptar el trabajo Bajo las siguientes condiciones: atribución – Debes otorgar el crédito correspondiente, proporcionar un enlace a la licencia e indicar si realizaste algún cambio. Puedes hacerlo de cualquier manera razonable pero no de manera que sugiera que el licenciante te respalda a ti o al uso que hagas del trabajo. compartir igual – En caso de mezclar, transformar o modificar este trabajo, deberás distribuir el trabajo resultante bajo la misma licencia o una compatible como el original.
	Esta etiqueta de licencia fue agregada a este archivo como parte de la actualización de la licencia GFDL.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

Source

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)

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