geosolver/tasks at master · mdatsev/geosolver · GitHub

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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
t := triangle(a, b, c)
perimeter(t, 5)
dist(a, b) == 1
dist(a, c) == 2
dist(b, c) = ?


c := circle(a, r)
area(c, 314)
r = ?


t := triangle(A, B, C)
dist(A, B) == 3
dist(B, C) == 4
dist(A, C) == 5
A \E C D
angularbisector(A,B,C,D)
angle(C,B,D) = ?


t := triangle(a, b, c)
angle(a, c, b, 90)
dist(a, c) == 3
dist(b, c) == 4
h := altitude(c, line(a, b))
dist(c, h) = ?


t := triangle(a,b,c)
c1 := mid(a,b)
a1 := mid(b,c)
b1 := mid(c,a)
t1 := triangle(a1,b1,c1)
perimeter(t1, 13)
dist(a, b) / dist(b, c) ==  3/4
dist(b, c) / dist(c, a) == 4/6
dist(a, b) = ?


t := triangle(a,b,c)
a1 := mid(b,c)
b1 := mid(c,a)
m := intersect(a,a1,b,b1)
dist(a,m)/dist(m,a1) = ?