Eu, titular dos direitos de autor desta obra, publico-a com a seguinte licença:
É concedida permissão para copiar, distribuir e/ou modificar este documento nos termos da Licença de Documentação Livre GNU, versão 1.2 ou qualquer versão posterior publicada pela Free Software Foundation; sem Secções Invariantes, sem textos de Capa e sem textos de Contra-Capa. É incluída uma cópia da licença na secção intitulada GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
partilhar – copiar, distribuir e transmitir a obra
recombinar – criar obras derivadas
De acordo com as seguintes condições:
atribuição – Tem de fazer a devida atribuição da autoria, fornecer uma hiperligação para a licença e indicar se foram feitas alterações. Pode fazê-lo de qualquer forma razoável, mas não de forma a sugerir que o licenciador o apoia ou subscreve o seu uso da obra.
partilha nos termos da mesma licença – Se remisturar, transformar ou ampliar o conteúdo, tem de distribuir as suas contribuições com a mesma licença ou uma licença compatível com a original.
Esta marca de licenciamento foi adicionada a este ficheiro durante a atualização da licença 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)