Triangle Congruence
Author: Peter Wiles

Triangle 1

Reveal Third Side of Triangle 1

Reveal Triangle 1

Triangle 3

Reveal Two Angles and Side Between for Triangle 3

Reveal Triangle 3

Triangle 5

Reveal Two Sides and Angle Between for Triangle 5

Reveal Triangle 5

Triangle 4

Reveal Two Angles and Side Not Between For Triangle 4

Reveal Triangle 4

Triangle 6

Reveal Two Sides and Angle Not Between for Triangle 6

Reveal Trianlge 6

Triangle 2

Reveal Three Angles of Triangle 2

Reveal Triangle 2

Reveal Two Sides of Triangle 1

A_1 = (-6.4209859214470715, -9.207950032478413)
B_1 = (3.4935490675794796, -9.280055741489514)
C_1 = (-3.5367575610029847, -4.55713180126232)
Triangle_1, c_1, a_2, b_1 = Polygon(A_1, B_1, C_1)
A = (4.683293266262666, -4.088444692690152)
B = (17.482056615733303, -4.0163389836790495)
d_3 = Line(A, B)
C = (10.632014259678598, 7.015834495019589)
e_3 = Line(A, C)
f_3 = Line(C, B)
g = Circle(A, c_1)
G, H = Intersect(g, d_3)
h = Segment(A, H)
k = Circle(A, b_1)
I, J = Intersect(k, e_3)
i = Segment(A, J)
p = Circle(B, a_2)
K, L = Intersect(p, f_3)
j = Segment(B, K)
poly2, e_1, f_1, d_1 = Polygon(C, A, B)
l = false
m = false
C_3 = (-3.861233251552945, -4.485026092251218)
A_3 = (-6.240721648919318, -10.253482813139392)
B_3 = (0.4651092891131863, -10.217429958633844)
Triangle_3, f, d, e = Polygon(C_3, A_3, B_3)
A1 = 0
q = Circle(A_3, A1)
A2 = 0
r = Circle(A_3, A2)
s = Circle(A, d)
A_7, B_7 = Intersect(s, d_3)
n = Segment(A, B_7)
α = Angle(B_3, A_3, C_3)
β = Angle(C_3, B_3, A_3)
A''_1 = Rotate(A, -(β), B)
γ = Angle(A''_1, B, A)
t = Ray(B, A''_1)
B''_1 = Rotate(B, α, A)
δ = Angle(B, A, B''_1)
a_1 = Ray(A, B''_1)
o = false
u = false
A_5 = (-7.538624411119155, -9.604531432039474)
B_5 = (4.575134702746013, -9.82084855907278)
C_5 = (-7.178095866063645, -5.4584531639010985)
Triangle_5, a_3, b_2, c_2 = Polygon(A_5, B_5, C_5)
g_1 = Circle(A, a_3)
C_7, D = Intersect(g_1, d_3)
h_1 = Segment(A, D)
k_1 = Circle(A, c_2)
E, F = Intersect(k_1, e_3)
i_1 = Segment(A, F)
ε = Angle(B_5, A_5, C_5)
B''_2 = Rotate(B, ε, A)
ζ = Angle(B, A, B''_2)
j_1 = Ray(A, B''_2)
v = false
w = false
C_4 = (1.9793291783463327, -4.809501782801179)
A_4 = (-7.7549415381524645, -9.676637141050573)
B_4 = (-2.4912247803420042, -9.604531432039472)
Triangle_4, b_3, c_3, a_4 = Polygon(C_4, A_4, B_4)
η = Angle(B_4, A_4, C_4)
θ = Angle(C_4, B_4, A_4)
A''_2 = Rotate(A, -(θ), B)
ι = Angle(A''_2, B, A)
l_1 = Ray(B, A''_2)
κ = Angle(A_4, C_4, B_4)
B'' = Rotate(B, -(κ), C)
λ = Angle(B'', C, B)
m_1 = Ray(C, B'')
p_1 = Circle(A, c_3)
M, N = Intersect(p_1, d_3)
n_1 = Segment(A, N)
z = false
o_1 = false
A_6 = (-6.003307714840462, -7.7646929337808555)
C_6 = (-2.923859034408617, -5.999245981484364)
B_6 = (2.700386268457355, -7.8379415612674705)
Triangle_6, b, a, c = Polygon(A_6, C_6, B_6)
q_1 = Circle(A, b)
O, P = Intersect(q_1, e_3)
r_1 = Segment(A, P)
s_1 = Circle(A, c)
Q = Intersect(s_1, d_3, 2.0)
t_1 = Segment(A, Q)
μ = Angle(C_6, B_6, A_6)
A'' = Rotate(A, -(μ), B)
ν = Angle(A'', B, A)
d_2 = Ray(B, A'')
u_1 = false
v_1 = false
C_2 = (-3.1401761614419246, -6.3597745265398755)
A_2 = (-5.614444281495729, -7.184057258429553)
B_2 = (-2.4119085004297935, -7.178174323815885)
Triangle_2, t_2, r_2, s_2 = Polygon(C_2, A_2, B_2)
ξ = Angle(C_2, B_2, A_2)
ο = Angle(B_2, A_2, C_2)
ρ = Angle(A_2, C_2, B_2)
A' = Rotate(A, -(ξ), B)
σ = Angle(A', B, A)
B'_1 = Rotate(B, ο, A)
τ = Angle(B, A, B'_1)
B' = Rotate(B, -(ρ), C)
υ = Angle(B', C, B)
e_2 = Ray(B, A')
f_2 = Ray(A, B'_1)
g_2 = Ray(C, B')
w_1 = false
B_9 = false
z_1 = false