Technology for System Verification — I can use technology...

SECTION 1

Historical Context & Motivation

For centuries, mathematicians solved systems of equations entirely by hand, relying on algebraic manipulation and geometric reasoning. A nonlinear system — one that includes at least one equation whose graph is not a straight line — posed special challenges because the algebra could become extremely complicated. Before electronic tools existed, checking whether a hand-calculated answer was actually correct meant substituting values back into every equation and simplifying, a process that was tedious and itself error-prone.

The development of computing technology transformed this process. As calculators became more powerful and graphing software emerged, students and professionals gained the ability to visually and numerically verify their solutions within seconds. However, technology introduced a new subtlety: computers store numbers with limited precision, so rounded decimal values can create small discrepancies. Understanding why those discrepancies appear — and knowing they don't necessarily mean your answer is wrong — is a key skill in modern mathematics.

1600s

Systems Solved by Hand

Mathematicians like René Descartes and Pierre de Fermat develop coordinate geometry, enabling algebraic solutions to systems of equations. All verification is done through manual substitution.

1970s

First Handheld Calculators

Scientific calculators become available to students, making arithmetic verification faster but still requiring users to enter each substitution step by step.

1985

Graphing Calculators Arrive

The Casio fx-7000G, followed by TI graphing calculators, lets students graph two equations simultaneously and find intersection points visually.

2000s

Computer Algebra Systems (CAS)

Software like Mathematica, GeoGebra, and Wolfram Alpha provides exact symbolic solutions alongside numerical approximations, making verification nearly instantaneous.

2010s–Today

Free Online Tools

Desmos, GeoGebra, and graphing apps on phones put powerful verification technology in every student's pocket, democratizing access to mathematical exploration.

This brings us to the central question of this lesson: once you solve a nonlinear system algebraically, how do you use technology to confirm your answer, and what should you do when the technology's output doesn't match your exact answer due to rounding?

SECTION 2

Core Principles & Definitions

Before diving into the technology, let's establish the foundational ideas that guide how we verify solutions and interpret the results we see on screen.

Nonlinear System

A set of two or more equations where at least one equation is not linear. Common examples include a line paired with a parabola, or two circles. The solutions are the intersection points of the graphs.

Graphical Verification

Plotting all equations on the same coordinate plane and identifying where the curves cross. Technology tools can zoom in on intersection points and display their coordinates.

Numerical Verification

Substituting your solution values back into each original equation using a calculator or software. If both sides of every equation are equal (or nearly equal), the solution is verified.

Rounding Discrepancy

A small difference that appears when a calculator displays a truncated or rounded version of an irrational or repeating decimal. For example, √2 is stored as 1.41421356… but may display as 1.414.

Exact vs. Approximate Solutions

An exact solution uses radicals, fractions, or symbols (like √3 or ⅔). An approximate solution is a decimal rounded to a certain number of places. Both are valid, but they serve different purposes.

✦ KEY TAKEAWAY

Think of verifying a solution with technology like checking your GPS against a paper map. The GPS might say you're at 34.0522° N latitude, while the exact coordinate is 34.052234° N. The tiny difference doesn't mean you're lost — it just means the device rounded. Similarly, when your calculator shows a solution of (2.000001, 3.999998) instead of the exact (2, 4), the rounding is the "noise," not a real error in your work.

SECTION 3

Visual Explanation

The diagram below illustrates the core idea of graphical verification. We graph a parabola and a line on the same coordinate plane. The intersection points represent the solutions to the nonlinear system. Technology lets us zoom into these intersections and read off the coordinates, which we then compare to our algebraic answers.

The parabola y = x² − 3 and the line y = x + 1 intersect at the yellow-marked points (−1, 0) and (2, 3). A graphing tool like Desmos or a TI-84 can display these coordinates directly.

In the diagram above, the two amber-highlighted intersection points are the solutions to the system. When you use a graphing tool, it might report these as (−1.0000, 0.0000) and (2.0000, 3.0000), or in some cases (−0.9999, 0.0001) depending on how the tool calculates. These tiny differences are rounding discrepancies, not errors in your algebra.

SECTION 4

Mathematical Framework

To verify a solution to a nonlinear system, you need two things: the original equations and the candidate solution. The verification process uses substitution — you plug the solution coordinates into each equation and check whether both sides are equal. Let's formalize this.

NONLINEAR SYSTEM (EXAMPLE)

y = x² − 3 and y = x + 1

Equation 1 is a parabola (nonlinear). Equation 2 is a line (linear). The system is nonlinear because at least one equation is not linear.

ALGEBRAIC SOLUTION VIA SUBSTITUTION

x + 1 = x² − 3 → x² − x − 4 = 0 → x = (1 ± √17) / 2

Setting the two expressions for y equal, then solving the resulting quadratic using the quadratic formula. Here, √17 ≈ 4.1231, so x ≈ 2.5616 or x ≈ −1.5616.

VERIFICATION CHECK

If (x₀, y₀) is a solution, then: y₀ = x₀² − 3 AND y₀ = x₀ + 1

Substitute x₀ and y₀ into both equations. If both equations produce true statements (or values within a small rounding tolerance, such as 0.001), the solution is verified.

ROUNDING ERROR TOLERANCE

|LHS − RHS| < ε where ε ≈ 0.001

LHS = left-hand side, RHS = right-hand side. ε (epsilon) represents an acceptable margin of error. If the absolute difference between the two sides is less than ε, we consider the verification successful despite rounding.

💡 Why Does Rounding Happen?

Calculators and computers store numbers using a finite number of binary digits (bits). Irrational numbers like √17 have infinitely many decimal places, so the calculator must truncate or round. Even rational numbers like ⅓ = 0.333… get rounded in decimal displays. This is a fundamental limitation of floating-point arithmetic, not a flaw in your math.

SECTION 5

Methods of Technology-Based Verification

There are three main strategies for using technology to verify a solution. Each has its strengths, and knowing when to use each one will make you a more confident problem solver.

Three main verification strategies: graphing for visual confirmation, numerical substitution for direct checking, and CAS solvers for exact symbolic solutions.

The graphing method is best when you want to see how many solutions exist and get a visual sense of where they are. The substitution method is ideal for a quick numerical check — just plug your x and y values into both equations and see if the results match (or nearly match). The CAS/solver method gives you the exact symbolic answer, which you can compare directly to your hand-computed result with no rounding ambiguity at all.

🎯 Pro Tip: Combine Methods

For the strongest verification, use at least two methods. Graph the system to confirm the number of solutions and their approximate locations, then use substitution or a CAS to verify exact coordinates. This two-step approach catches both algebraic mistakes and rounding misinterpretations.

SECTION 6

Worked Example

Let's walk through a complete example of solving a nonlinear system by hand and then verifying the result using technology.

Verify the solutions of: y = x² − 2x and y = 2x − 3

Step 1 — Solve Algebraically by SubstitutionSet the two expressions for y equal to each other: x² − 2x = 2x − 3. Rearrange: x² − 4x + 3 = 0. Factor: (x − 1)(x − 3) = 0.

x = 1 or x = 3

Step 2 — Find Corresponding y-ValuesSubstitute each x-value into y = 2x − 3. When x = 1: y = 2(1) − 3 = −1. When x = 3: y = 2(3) − 3 = 3.

Solutions: (1, −1) and (3, 3)

Step 3 — Verify with Graphing (Desmos)Open Desmos (desmos.com/calculator). Type y = x² − 2x in the first expression line. Type y = 2x − 3 in the second line. The two curves intersect at exactly two points. Click on each intersection to read the coordinates. Desmos reports (1, −1) and (3, 3), which match our algebraic solution exactly.

Graphical verification: ✓ matches

Step 4 — Verify with Numerical SubstitutionCheck (1, −1): Equation 1: (1)² − 2(1) = 1 − 2 = −1 ✓. Equation 2: 2(1) − 3 = −1 ✓. Check (3, 3): Equation 1: (3)² − 2(3) = 9 − 6 = 3 ✓. Equation 2: 2(3) − 3 = 3 ✓. Both solutions satisfy both equations exactly.

Numerical verification: ✓ all values match exactly

Step 5 — Note on RoundingIn this example, the solutions are integers, so there is no rounding discrepancy. However, if the quadratic formula had produced irrational solutions (like (1 + √5)/2 ≈ 1.618), a calculator might show values like y = 1.6180339… for one equation and y = 1.6180340… for the other. The tiny difference of 0.0000001 is due to rounding, not an error in your work. The key question: is |LHS − RHS| smaller than a reasonable tolerance (like 0.001)? If yes, the solution is verified.

No rounding discrepancy in this case; both solutions are exact integers.

SECTION 7

Strengths & Limitations of Technology Verification

Technology is a powerful ally for verifying solutions, but it's important to understand both what it does well and where it can mislead you.

Comparing the strengths and limitations of using technology for verification

Aspect	Strength	Limitation
Speed	A graph or solver produces results in seconds, far faster than manual substitution.	Speed can lead to over-reliance. Students may skip understanding the algebra.
Accuracy	CAS tools provide exact symbolic answers. Numerical solvers use high precision.	Decimal displays are rounded. Irrational solutions always have some truncation.
Visualization	Graphing reveals the number of solutions and their approximate locations at a glance.	Intersection points close together may be hard to distinguish. Window settings matter.
Rounding Awareness	Comparing exact and approximate answers deepens understanding of precision.	Without understanding, students may think a discrepancy of 0.0001 means they are wrong.
Accessibility	Free tools like Desmos are available on any device with internet.	Standardized tests may restrict technology. You still need algebraic fluency.

✦ KEY TAKEAWAY

Technology is like a spell-checker for your math work. It catches errors you might miss, but it doesn't replace knowing how to write (or solve) correctly in the first place. A spell-checker might also flag a perfectly correct word as "possibly misspelled" — just as a calculator might show 2.9999 instead of 3 because of rounding. Recognizing these false alarms is part of mathematical literacy.

SECTION 8

Connection to Advanced Topics

The verification skills you're building now form the foundation for more advanced mathematical work. As you progress in your studies, the systems become more complex, but the verification logic stays the same.

How verification skills connect to more advanced mathematics

What You Learn Now	Where It Leads
Verifying solutions to 2-equation nonlinear systems	Systems with 3+ equations and 3+ variables in Precalculus and Linear Algebra
Recognizing rounding discrepancies in calculator output	Numerical analysis and error propagation in engineering and computer science
Using graphing tools to find intersection points	Using calculus-based optimization and root-finding algorithms (Newton's method)
Understanding exact vs. approximate solutions	Significant figures, error bounds, and precision standards in science and statistics

In more advanced courses, you'll encounter systems that can only be solved numerically — meaning there is no neat algebraic formula for the answer. In those situations, the rounding tolerance concept becomes even more critical. Mathematicians and engineers routinely discuss whether a solution is accurate to 3 decimal places, 6 decimal places, or more, depending on the context. A bridge engineer needs higher precision than someone estimating a restaurant tip, and the tools they use reflect that. The habits of verification and precision awareness you build now will serve you well in any quantitative field.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

You solve a nonlinear system algebraically and get the solution (√2, 3 − √2). When you check the solution in Desmos, the intersection point is displayed as (1.4142, 1.5858). Explain why these two forms of the answer are consistent, not contradictory.

PROBLEM 2 — BASIC CALCULATION

Verify that (2, 1) is a solution to the system y = x² − 3 and y = x − 1 by substituting into both equations. Show your work.

PROBLEM 3 — INTERMEDIATE

Solve the system y = x² and y = 3x − 2 algebraically. Then describe step by step how you would verify your solutions using a graphing calculator (TI-84 or Desmos). If a rounding discrepancy appears, explain what caused it.

PROBLEM 4 — APPLIED

A ball is thrown upward and its height is modeled by h = −16t² + 48t. A drone rises at a constant rate, modeled by h = 12t. A student solves the system and finds the ball and drone are at the same height at t = 0 and t = 2.25. She enters these into her calculator and checks: at t = 2.25, Equation 1 gives h = 27.0000 and Equation 2 gives h = 27.0000. But when she tries t = (9/4) in exact form on a CAS, it also gives h = 27. What can she conclude?

PROBLEM 5 — CRITICAL THINKING

A student uses Desmos to graph y = x² + 1 and y = −x² + 2. Desmos shows an intersection near (0.707, 1.500). The student's algebraic solution is x = ±1/√2, y = 3/2. The student says, "My answer must be wrong because 1/√2 = 0.7071067… which is not exactly 0.707." Write a response explaining whether the student's algebra is correct, why the discrepancy exists, and how the student should evaluate it.

SUMMARY

Lesson Summary

A nonlinear system contains at least one equation whose graph is a curve (like a parabola or circle). After solving such a system algebraically, you can use technology for verification through three methods: graphing both equations and identifying intersection points, numerical substitution of your solution into each equation using a calculator, or using a computer algebra system (CAS) to obtain exact symbolic solutions.

When technology produces decimal values that differ slightly from your exact answer, this is a rounding discrepancy caused by floating-point arithmetic — the way computers store numbers with finite precision. A small difference (like 0.0001) is expected and does not indicate an error. To evaluate a discrepancy, check whether the absolute difference between the left and right sides of each equation is less than a reasonable tolerance (ε ≈ 0.001). Combining multiple verification methods — graphing plus substitution, for example — gives you the strongest confidence in your solution.