File: reflections.euk

package info (click to toggle)
xeukleides 0.9.2rev2-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k, sarge
  • size: 356 kB
  • ctags: 374
  • sloc: ansic: 2,767; yacc: 814; lex: 455; makefile: 78; sh: 45
file content (15 lines) | stat: -rw-r--r-- 456 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
% A problem about reflections
% Copyright (c) Christian Obrecht 2001

x interactive(3.5,.1,"A",right)
y interactive(1,.1,"A",up)

A B C isosceles(6,45:) ; M = point(x,y)
AB = line(A,B) ; AC = line(A,C)
N = reflection(M,AB) ; P = reflection(M,AC)
I = projection(M,AB) ; J = projection(M,AC)

color(lightgray) ; draw(A,N,P)
color(black) ; draw(A,B,C) ; draw(M)
draw(segment(M,N),dotted) ; draw(segment(M,P),dotted)
mark(M,I,B,right,.8) ; mark(M,J,C,right,.8)