Kosinilause

Kosinilause ylläolevalle kolmiolle:
(Sivu1)²=(Sivu2)²+(Sivu3)²-2(Sivu2)(Sivu3)cos(α)

Tästä saadaan ratkaistua Sivu3:n pituus. Merkitään Sivu3:a x:llä.

x² - 2(Sivu2)cos(α)x + (Sivu2)² - (Sivu1)² = 0

Kulma = 0.8203047484373349 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
Pituus_{Sivu1} = 9.4 (slider from 0 to 15, step 0.1)
A = (-37.80825628967977, 9.709149466749682)
Pituus_{Sivu2} = 12.200000000000001 (slider from 0 to 15, step 0.1)
B = Point(Circle[A, Pituus_{Sivu2}])
C = Rotate(B, Kulma, A)
a = Ray(A, C)
α_3 = Angle(B, A, C)
c = Circle(B, Pituus_{Sivu1})
D, E = Intersect(c, a)
Sivu1 = Segment(E, B)
Sivu2 = Segment(A, B)
h(x) = x^(2) - 2 Sivu2 x cos(α_3) + Sivu2^(2) - Sivu1^(2)
Sivu1' = Segment(D, B)
Sivu3' = Segment(A, D)
Sivu3 = Segment(A, E)
F = (-18.734542164061665, 13.002452625129786)
G = Point(Circle[F, Sivu2])
Sivu2_1 = Segment(F, G)
H = Rotate(G, Kulma, F)
β = Angle(G, F, H)
d = Circle(G, Pituus_{Sivu1})
e = Ray(F, H)
I, J = Intersect(d, e)
Sivu3_1 = Segment(F, J)
Sivu1_1 = Segment(J, G)
K = (-18.414359912552488, 5.272338267265376)
L = Point(Circle[K, Pituus_{Sivu2}])
Sivu2_2 = Segment(K, L)
M = Rotate(L, Kulma, K)
γ = Angle(L, K, M)
f = Circle(L, Pituus_{Sivu1})
g = Ray(K, M)
N, O = Intersect(f, g)
Sivu3_2 = Segment(N, K)
Sivu1_2 = Segment(N, L)
T4: "Muodostuu toisen asteen yhtälö, jonka kuvaaja on oikealla ja ratkaisut:" + "
Sivu3 = " + Sivu3_1 + " tai Sivu3 = " + Sivu3_2
α_1 = Angle(G, F, J)
α_2 = Angle(L, K, N)
α = Angle(B, A, E)
δ = Angle(F, J, G)
ε = Angle(K, N, L)