M

simplify
M1 ((x)) ≔ 8 ――― → 8

⎛ ⎛⎛ 3 ⎞ ⎞⎞
⎜ x ⋅ ⎜⎜―⋅ ((1 - x))⎟ + 2 ⋅ ((3))⎟ ⎟
⎛1 ⎛⎛ 3 ⎞ ⎞⎞ ⎜ ⎝⎝ 1 ⎠ ⎠ ⎟ simplify x3 - 3 ⋅ x2
M2 ((x)) ≔ 8 + ⎜―⋅ x ⋅ ⎜⎜―⋅ ((1 - x))⎟ + 3⎟⎟ ⋅ ⎜――――――――― ⎟ ――― → -――――+ 8
⎝ 2 ⎝⎝ 1 ⎠ ⎠⎠ ⎜ ⎛ 3 ⎞ 2
3 ⋅ ⎜―⋅ ((1 - x))⎟ + 3 ⋅ ((3)) ⎟
⎜⎝ ⎝1 ⎠ ⎟⎠

⎛3⎞ ⎛ 2 ⎞ simplify 3 ⋅ x
M3 ((x)) ≔ 8 + ⎜―⎟ ⋅ ⎜x + ―⎟ ――― → ――+ 9
⎝2⎠ ⎝ 3⎠ 2

⎛3⎞ ⎛ 5⎞ simplify 23 ⋅ x + 21
M4 ((x)) ≔ 8 + ⎜―⎟ ⋅ ⎜x + ―⎟ + ((10)) ⋅ ((x)) ――― → ――――
⎝2⎠ ⎝ 3⎠ 2

⎛3⎞ ⎛ 8⎞ ⎛1 ⎛ 3 ⎞⎞ ⎛ 1 ⎞ simplify 23 ⋅ x
M5 ((x)) ≔ 8 + ⎜―⎟ ⋅ ⎜x + ―⎟ + ((10)) ⋅ ((x + 1)) + ⎜―⋅ ((x)) ⋅ ⎜―― ⋅ ((x))⎟⎟ ⋅ ⎜―⋅ x⎟ ――― → x 3 + ――― + 22
⎝2⎠ ⎝ 3⎠ ⎜2 ⎜ 1 ⎟⎟ ⎝ 3 ⎠ 2
⎜ ―
⎜ 2 ⎟⎟
⎝ ⎝ ⎠⎠

⎛3⎞ ⎛ 19 ⎞ ⎛ 3⎞ ⎛3⎞ ⎛ 1⎞ ⎛ x ⎞ simplify x ⋅ ((6 ⋅ x + 49))

M6 ((x)) ≔ 8 + ⎜―⎟ ⋅ ⎜x + ―― ⎟ + ((10)) ⋅ ⎜x + ―⎟ + ⎜―⎟ ⋅ ⎜x + ―⎟ + ((x ⋅ 3)) ⎜―⎟ ――― → ―――――+ 28
⎝2⎠ ⎝ 6 ⎠ ⎝ 2⎠ ⎝4⎠ ⎝ 3⎠ ⎝2⎠ 4

⎛ ⎛⎛ 3 ⎛ 1 ⎞⎞ ⎞⎞
⎜ x ⋅ ⎜⎜―― ⋅ ⎜―- x⎟⎟ + 2 ⋅ ((3))⎟ ⎟
⎜ ⎜⎜ 1 ⎝ 2 ⎠⎟ ⎟⎟
⎛3⎞ ⎛ 25 ⎞ ⎛ 5⎞ ⎛3⎞ ⎛ 4⎞ ⎛ 1⎞ ⎛1 ⎛⎛ 3 ⎛ 1 ⎞⎞ ⎞⎞ ⎜ ⎜⎜ ― ⎟ ⎟⎟
⎝⎝ 2 ⎠ ⎟ simplify 6 ⋅ x + 61 ⋅ x + 167
2
⎠
M7 ((x)) ≔ 8 + ⎜―⎟ ⋅ ⎜x + ―― ⎟ + ((10)) ⋅ ⎜x + ―⎟ + ⎜―⎟ ⋅ ⎜x + ―⎟ + ((1 ⋅ 3)) ⋅ ⎜x + ―⎟ + ⎜―⋅ x ⋅ ⎜⎜―― ⋅ ⎜―- x⎟⎟ + 3⎟⎟ ⋅ ⎜―――――――――― ――― → ―――――――- x 3
⎝2⎠ ⎝ 6 ⎠ ⎝ 2⎠ ⎝4⎠ ⎝ 3⎠ ⎝ 2⎠ ⎜2 ⎜⎜ 1 ⎝ 2 ⎠⎟ ⎟⎟ ⎜ ⎛ 3 ⎛1 ⎞⎞ ⎟ 4
⎜ ⎜⎜ ― ⎟ ⎟⎟ ⎜ 3 ⋅ ⎜―― ⋅ ⎜―- x⎟⎟ + 3 ⋅ ((3)) ⎟
⎝ ⎝⎝ 2 ⎠ ⎠⎠ ⎜ ⎜ 1 ⎝2 ⎠⎟ ⎟
⎜ ―
⎜ 2 ⎟ ⎟
⎝ ⎝ ⎠ ⎠

m1 m2 m3

m31 ((x)) ≔ 0 ―
→ 0
m11 (x) ≔ 0 ―
→ 0 m21 (x) ≔ 0 ―
→ 0

m12 ((x)) ≔ 0 ―
→ 0 m22 ((x)) ≔ 0 ―
→ 0 m32 ((x)) ≔ -1 ⋅ ((x)) ―
→ -x

m13 (x) ≔ 0 ―
→ 0 m23 (x) ≔ -1 ⋅ (x) ―
→ -x m33 (x) ≔ -1 ⋅ (x + 1) ―
→ -x - 1

m14 (x) ≔ 0 ―
→ 0 m24 (x) ≔ -1 ⋅ (x + 1) ―
→ -x - 1 m34 (x) ≔ -1 ⋅ (x + 2) ―
→ -x - 2

m15 (x) ≔ -1 ⋅ (x) ―

→ -x m25 (x) ≔ -1 ⋅ (x + 2) ―
→ -x - 2 m35 (x) ≔ -1 ⋅ (x + 3) ―
→ -x - 3

⎛ 1⎞ 1 ⎛ 5⎞ 5 ⎛ 7⎞ 7
m16 ((x)) ≔ -1 ⋅ ⎜x + ―⎟ ―
→ -―- x m26 ((x)) ≔ -1 ⋅ ⎜x + ―⎟ ―
→ -―- x m36 ((x)) ≔ -1 ⋅ ⎜x + ―⎟ ―
→ -―- x
⎝ 2⎠ 2 ⎝ 2⎠ 2 ⎝ 2⎠ 2

⎛ 3⎞ 3 ⎛ 7⎞ 7 ⎛ 9⎞ 9
m17 (x) ≔ -1 ⋅ ⎜x + ―⎟ ―
→ -―- x m27 (x) ≔ -1 ⋅ ⎜x + ―⎟ ―
→ -―- x m37 (x) ≔ -1 ⋅ ⎜x + ―⎟ ―
→ -―- x
⎝ 2⎠ 2 ⎝ 2⎠ 2 ⎝ 2⎠ 2
 1 1
― ―
1 1 1 1 2 1 2
15191
Δ1 ≔ ⌠ M1 ((x)) ⋅ m11 ((x)) d x + ⌠ M2 ((x)) ⋅ m12 ((x)) d x + ⌠ M3 ((x)) ⋅ m13 ((x)) d x + ⌠ M4 ((x)) ⋅ m14 ((x)) d x + ⌠ M5 ((x)) ⋅ m15 ((x)) d x + ⌠ M6 ((x)) ⋅ m16 ((x)) d x + ⌠ M7 ((x)) ⋅ m17 ((x)) d x ―
→ -―――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 192
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
15953
Δ2 ≔ ⌠ M1 ((x)) ⋅ m21 ((x)) d x + ⌠ M2 ((x)) ⋅ m22 ((x)) d x + ⌠ M3 ((x)) ⋅ m23 ((x)) d x + ⌠ M4 ((x)) ⋅ m24 ((x)) d x + ⌠ M5 ((x)) ⋅ m25 ((x)) d x + ⌠ M6 ((x)) ⋅ m26 ((x)) d x + ⌠ M7 ((x)) ⋅ m27 ((x)) d x ―
→ -―――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 64
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
111823
Δ3 ≔ ⌠ M1 (x) ⋅ m31 (x) d x + ⌠ M2 (x) ⋅ m32 (x) d x + ⌠ M3 (x) ⋅ m33 (x) d x + ⌠ M4 (x) ⋅ m34 (x) d x + ⌠ M5 (x) ⋅ m35 (x) d x + ⌠ M6 (x) ⋅ m36 (x) d x + ⌠ M7 (x) ⋅ m37 (x) d x ―
→ -―――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 320
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
8
δ11 ≔ ⌠ m11 ((x)) ⋅ m11 ((x)) d x + ⌠ m12 ((x)) ⋅ m12 ((x)) d x + ⌠ m13 ((x)) ⋅ m13 ((x)) d x + ⌠ m14 ((x)) ⋅ m14 ((x)) d x + ⌠ m15 ((x)) ⋅ m15 ((x)) d x + ⌠ m16 ((x)) ⋅ m16 ((x)) d x + ⌠ m17 ((x)) ⋅ m17 ((x)) d x ―
→ ―
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
20
δ12 ≔ ⌠ m11 (x) ⋅ m21 (x) d x + ⌠ m12 (x) ⋅ m22 (x) d x + ⌠ m13 (x) ⋅ m23 (x) d x + ⌠ m14 (x) ⋅ m24 (x) d x + ⌠ m15 (x) ⋅ m25 (x) d x + ⌠ m16 (x) ⋅ m26 (x) d x + ⌠ m17 (x) ⋅ m27 (x) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
26
δ13 ≔ ⌠ m11 (x) ⋅ m31 (x) d x + ⌠ m12 (x) ⋅ m32 (x) d x + ⌠ m13 (x) ⋅ m33 (x) d x + ⌠ m14 (x) ⋅ m34 (x) d x + ⌠ m15 (x) ⋅ m35 (x) d x + ⌠ m16 (x) ⋅ m36 (x) d x + ⌠ m17 (x) ⋅ m37 (x) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
20
δ21 ≔ ⌠ m21 (x) ⋅ m11 (x) d x + ⌠ m22 (x) ⋅ m12 (x) d x + ⌠ m23 (x) ⋅ m13 (x) d x + ⌠ m24 (x) ⋅ m14 (x) d x + ⌠ m25 (x) ⋅ m15 (x) d x + ⌠ m26 (x) ⋅ m16 (x) d x + ⌠ m27 (x) ⋅ m17 (x) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
64
δ22 ≔ ⌠ m21 ((x)) ⋅ m21 ((x)) d x + ⌠ m22 ((x)) ⋅ m22 ((x)) d x + ⌠ m23 ((x)) ⋅ m23 ((x)) d x + ⌠ m24 ((x)) ⋅ m24 ((x)) d x + ⌠ m25 ((x)) ⋅ m25 ((x)) d x + ⌠ m26 ((x)) ⋅ m26 ((x)) d x + ⌠ m27 ((x)) ⋅ m27 ((x)) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
88
δ23 ≔ ⌠ m21 ((x)) ⋅ m31 ((x)) d x + ⌠ m22 ((x)) ⋅ m32 ((x)) d x + ⌠ m23 ((x)) ⋅ m33 ((x)) d x + ⌠ m24 ((x)) ⋅ m34 ((x)) d x + ⌠ m25 ((x)) ⋅ m35 ((x)) d x + ⌠ m26 ((x)) ⋅ m36 ((x)) d x + ⌠ m27 ((x)) ⋅ m37 ((x)) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
26
δ31 ≔ ⌠ m31 ((x)) ⋅ m11 ((x)) d x + ⌠ m32 ((x)) ⋅ m12 ((x)) d x + ⌠ m33 ((x)) ⋅ m13 ((x)) d x + ⌠ m34 ((x)) ⋅ m14 ((x)) d x + ⌠ m35 ((x)) ⋅ m15 ((x)) d x + ⌠ m36 ((x)) ⋅ m16 ((x)) d x + ⌠ m37 ((x)) ⋅ m17 ((x)) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
88
δ32 ≔ ⌠ m31 (x) ⋅ m21 (x) d x + ⌠ m32 (x) ⋅ m22 (x) d x + ⌠ m33 (x) ⋅ m23 (x) d x + ⌠ m34 (x) ⋅ m24 (x) d x + ⌠ m35 (x) ⋅ m25 (x) d x + ⌠ m36 (x) ⋅ m26 (x) d x + ⌠ m37 (x) ⋅ m27 (x) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0

1 1
― ―
1 1 1 1 2 1 2
125
δ33 ≔ ⌠ m31 ((x)) ⋅ m31 ((x)) d x + ⌠ m32 ((x)) ⋅ m32 ((x)) d x + ⌠ m33 ((x)) ⋅ m33 ((x)) d x + ⌠ m34 ((x)) ⋅ m34 ((x)) d x + ⌠ m35 ((x)) ⋅ m35 ((x)) d x + ⌠ m36 ((x)) ⋅ m36 ((x)) d x + ⌠ m37 ((x)) ⋅ m37 ((x)) d x ―
→ ――
⌡ ⌡ ⌡ ⌡ ⌡ ⌡ ⌡ 3
0 0 0 0 0 0 0
 By ≔ 1 Cy ≔ 1 Dy ≔ 1

n es sd e p ru e b a
Δ1 + δ11 ⋅ By + δ12 ⋅ Cy + δ13 ⋅ Dy ＝ 0
iore
V aclo

Δ2 + δ21 ⋅ By + δ22 ⋅ Cy + δ23 ⋅ Dy ＝ 0

R e s tric

Δ3 + δ31 ⋅ By + δ32 ⋅ Cy + δ33 ⋅ Dy ＝ 0

⎡ By ⎤
S o lv e r

⎢ Cy ⎥ ≔ (By , Cy , Dy)
⎣ Dy ⎦

By = 9.447

Cy = -3.055

Dy = 8.572