-
Notifications
You must be signed in to change notification settings - Fork 1
/
Construction.txt
40 lines (31 loc) · 1.42 KB
/
Construction.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
circumcenter "otri" O : Point # MethodName, CMDName, Output Variable, Output Type. No whitespace is allowed in any of these names
A B C : Point Point Point # Input variable, Input type. (please make sure no repeated varible is used)
l1 = perp_bis A B, l2 = perp_bis A C, O = inx_line_line l1 l2 #Constructions
# this line is left for DD. Methods are separated by empty lines.
incenter "itri" I : Point
A B C : Point Point Point
l1 = angle_bis A B C, l2 = angle_bis A C B, I = inx_line_line l1 l2
orthocenter "htri" H : Point
A B C : Point Point Point
lab = line A B, lac = line A C, l1 = perp_line C lab, l2 = perp_line B lac, H = inx_line_line l1 l2
centroid "gtri" G : Point
A B C : Point Point Point
mab = mid_pt A B, mac = mid_pt A C, l1 = line C mab, l2 = line B mac, G = inx_line_line l1 l2
reflection_to_point "rfpt" C : Point
A B : Point Point
C = parallelogram B A A
perp_foot "foot" Q : Point
P l : Point Line
l1 = perp_line P l, Q = inx_line_line l l1
perp_foot2 "foot" Q : Point
l P : Line Point
l1 = perp_line P l, Q = inx_line_line l l1
point_reflection_to_line "rfln" Q : Point
l P : Line Point
F = perp_foot P l, Q = reflection_to_point F P
point_reflection_to_line2 "rfln" Q : Point
P l : Point Line
Q = point_reflection_to_line l P
another_inx_line_circle "ilc" Q : Point # Q is the other intersection point of circle OA and AB
O A B : Point Point Point
l = line A B, F = perp_foot O l, Q = parallelogram A F F