Information Technology Reference
In-Depth Information
[« BELONG », N, SEGMENT[A, C]], SEGMENT[A, M] = SEGMENT[C, N] }.
Goal = { O2 = O3}.
Solution found by the system:
Step 1: Hypothesis
{ O2.SEGMENT[A, M] = O3. SEGMENT[C, N],
O2.SEGMENT[A, B] = O1. SEGMENT[A, B],
O3.SEGMENT[C, D] = O1.SEGMENT[C, D]}.
Step 2: Produce new objects related to O2, O3, and O1
{[O4, TRIANGLE[A, B, C]], [O5, TRIANGLE[C, D, A]]}.
Step 3: {[O1, PARALLELOGRAM[A, B, C, D]}
{O4 = O5, SEGMENT[A, B] = SEGMENT[C, D]}.
Step 4: { O2.SEGMENT[A, B] = O1.SEGMENT[A, B],
O3.SEGMENT[C, D] = O1.SEGMENT[C, D],
SEGMENT[A, B] = SEGMENT[C, D]}
{O2.SEGMENT[A, B] = O3.SEGMENT[C, D]}.
Step 5: {[« BELONG », M, SEGMENT[A, C]]}
{O4.angle_A = O2.angle_A}.
Step 6: {[« BELONG », N, SEGMENT[A, C]]}
{ O5.angle_A = O3.angle_A }.
Step 7: {O4 = O5 }
{O4.angle_A = O5.angle_A}.
Step 8: { O4.angle_A = O2.angle_A ,
O5.angle_A = O3.angle_A ,
O4.angle_A = O5.angle_A }
{ O2.angle_A = O3.angle_A}.
Step 9: {
O2.SEGMENT[A, M] = O3. SEGMENT[C, N],
O2.SEGMENT[A, B] = O3.SEGMENT[C, D],
O2.angle_A = O3.angle_A }
{O2 = O3}.
Example 5.4
: Let the equation, with m is a parameter, and x is a variable:
2
m4x2m
Solve this equation by m.
Solution found by the system:
Solve the equation:
2
m4x2m
2
m4x 2m
