r00
a = free a; b = free b; c = free c; d = on_tline d c a b; e = free e; f = on_tline f e c d ? para a b e f
r01
o = free o; a = free a; b = eqdistance b o o a; c = eqdistance c o o b; d = eqdistance d o o c ? cyclic a b c d
r02
p = free p; q = free q; a = free a; b = free b; c = free c; d = on_aline0 d p q a b p q c ? para a b c d
r03
a = free a; b = free b; p = free p; q = on_circum q a b p ? eqangle p a p b q a q b
r04
a = free a; b = free b; q = free q; p = eqangle3 p a b q a b ? cyclic a b p q
r05
a = free a; b = free b; c = free c; p = on_circum p a b c; r = on_circum r a b c; q = on_circum q a b c, on_aline0 q c a c b r p r ? cong a b p q
r06
a = free a; b = free b; c = free c; e = midpoint e a b; f = midpoint f a c ? para e f b c
r07
a = free a; b = free b; c = free c; d = on_pline d c a b; o = on_line o a c, on_line o b d ? eqratio3 a b c d o o
r08
a = free a; b = free b; c = free c; d = on_tline d c a b; e = free e; f = free f; g = free g; h = on_tline h g e f ? eqangle a b e f c d g h
r09
c = free c; d = free d; p = free p; q = free q; a = free a; b = free b; m = free m; n = on_aline0 n c d a b p q m; e = free e; f = free f; r = free r; u = on_aline0 u c d e f p q r ? eqangle a b e f m n r u
r10
a = free a; b = free b; c = free c; d = free d; m = free m; n = free n; p = free p; q = eqratio q a b c d m n p; e = free e; f = free f; r = free r; u = eqratio u c d e f p q r ? eqratio a b e f m n r u
r11
a = free a; b = free b; c = free c; d = eqratio6 d b c a b a c, on_line d b c ? eqangle6 a b a d a d a c
r12
a = free a; b = free b; d = free d; c = on_line c b d, on_aline0 c a b a d a d a ? eqratio6 d b d c a b a c
r13
o = free o; a = free a; b = eqdistance b o o a ? eqangle o a a b a b o b
r14
a = free a; b = free b; o = iso_triangle_vertex_angle o a b ? cong o a o b
r15
a = free a; b = free b; c = free c; o = circle o a b c; x = on_tline x a a o ? eqangle a x a b c a c b
r16
a = free a; b = free b; c = free c; o = circle o a b c; x = on_aline0 x c b c a a b a ? perp o a a x
r17
a = free a; b = free b; c = free c; o = circle o a b c; m = midpoint m b c ? eqangle a b a c o b o m
r18
a = free a; b = free b; c = free c; o = circle o a b c; m = on_line m b c, on_aline0 m a b a c o b o ? midp m b c
r19
a = free a; b = free b; c = on_tline c b b a; m = midpoint m a c ? cong a m b m
r20
o = free o; a = free a; b = on_circle b o a; c = on_circle c o a, on_line c o a ? perp a b b c
r21
a = free a; b = free b; c = free c; d = on_pline d c a b, on_circum d a b c ? eqangle a d c d c d c b
r22
a = free a; b = free b; m = midpoint m a b; o = on_tline o m a b ? cong o a o b
r23
a = free a; p = free p; q = free q; b = eqdistance b p a p, eqdistance b q a q ? perp a b p q
r24
a = free a; b = free b; p = iso_triangle_vertex p a b; q = iso_triangle_vertex q a b, on_circum q a b p ? perp p a a q
r25
a = free a; b = free b; c = free c; m = midpoint m a b; d = on_line d c m, eqdistance d m c m ? para a c b d
r26
a = free a; b = free b; c = free c; d = on_pline d b a c, on_pline d a b c; m = midpoint m a b ? midp m c d
r27
o = free o; a = free a; b = free b; c = on_line c a o; d = eqratio d o a a c o b b, on_line d o b ? para a b c d
r28
a = free a; b = free b; c = on_pline0 c a b a ? coll a b c
r29
a = free a; b = free b; c = free c; d = free d; m = midpoint m a b; n = midpoint n c d ? eqratio m a a b n c c d
r30
p = free p; q = free q; u = free u; v = on_tline v u p q; a = free a; b = free b; c = free c; d = on_aline0 d p q a b u v c ? perp a b c d
r31
p = free p; q = free q; u = free u; v = eqdistance v u p q; a = free a; b = free b; c = free c; d = eqratio d p q a b u v c ? cong a b c d
r32
a b c = triangle a b c; p = free p; q = eqdistance q p a b; r = eqdistance r p a c, eqdistance r q c b ? contri* a b c p q r
r33
a = free a; b = free b; c = free c; q = free q; p = eqdistance p q b a; r = eqdistance r q b c, on_aline0 r b a b c q p q ? contri* a b c p q r
r34
a = free a; b = free b; c = free c; q = free q; r = free r; p = on_aline0 p b c b a q r q, on_aline0 p c b c a r q r ? simtri a b c p q r
r35
a = free a; b = free b; c = free c; q = free q; r = free r; p = on_aline0 p b a b c q r q, on_aline0 p c a c b r q r ? simtri2 a b c p q r
r36
a = free a; b = free b; p = free p; q = eqdistance q p a b; r = free r; c = on_aline0 c q p q r b a b, eqangle3 c a b r p q ? contri a b c p q r
r37
a = free a; b = free b; p = free p; q = eqdistance q p a b; r = free r; c = on_aline0 c q r q p b a b, eqangle3 c a b r q p ? contri2 a b c p q r
r38
a = free a; b = free b; c = free c; q = free q; r = free r; p = eqratio p b c b a q r q, eqratio p c b c a r q r ? simtri* a b c p q r
r39
a = free a; b = free b; c = free c; p = free p; q = free q; r = eqratio r b a b c q p q, on_aline0 r b a b c q p q ? simtri* a b c p q r
r40
a = free a; b = free b; c = free c; p = free p; q = eqdistance q p a b; r = eqratio r b a b c q p q, eqratio6 r p q c a c b ? contri* a b c p q r
r41
a = free a; b = free b; c = free c; d = on_pline d c a b; n = on_line n b c; m = eqratio6 m a d n b n c, on_line m a d ? para m n a b
r42
a = free a; b = free b; c = free c; d = on_pline d c a b; m = on_line m a d; n = on_line n b c, on_pline n m a b ? eqratio6 m a m d n b n c
r50
a b = segment a b; m = midpoint m a b ? rconst m a a b 1/2