HomeCalculatorsMathAlgebra & EquationsRational Equation Calculator
Math calculator

Rational Equation Calculator

Solve (ax + b)/(cx + d) = rhs. Same engine as Linear Equation. Clears to linear; the pole x = −d/c is excluded. Not quadratic. Not a second engine. Not CAS. Runs locally.

Instant result
Result
—

Enter values to calculate.

Inputs—
Mode—
Formula—
Trust summary CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes
Input interpretation
Enter values to calculate.
Result
—
Verified scope
all published modes
Assurance
Core
Declared partition coverage
PASS · 7/7 declared partitions (solve, inequality, abs, abs-inequality, rational, rational-inequality, invalid-domain) · Matrix
Known limitations
  • Core CVP does not include live graph, viewport, or pointer interaction.
Model
The real solutions of (ax + b)/(cx + d) = rhs, excluding the pole.
Scope
Degree 1 numerator and denominator
Verification
Engine tested · Specification checked · v1.5.0 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
Versions
Calculation 1.5.0 · CVP protocol 1.0.0-proposed · Evidence 2026-09-22.discrete-algebra-cvp
Verification revision
2026-09-22.discrete-algebra-cvp · 3/3 property · digest b48961b2e1e8
Legacy regression
18/18 tests · Production surface contract 6/6
Trust layers
Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
Reference
O1 model · O2 expected_values · O2 numerical_behavior
Interfaces
PASS · UI (SSR) / REST / MCP — ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only.
Supplemental domain review
Not performed
Named expert review
Not performed
CVP suite
9/9 golden · 3/3 CVP boundary · 6/6 invalid · 3/3 property · 5/5 cross-interface · 1/1 cross-calculator · 6/6 CVP contract · Manifest
Specification basis
  • ISO 80000-2:2019 Quantities and units — Mathematics
Specification basis
Evidence
7 legacy golden · 3 legacy boundary · legacy regression suite · 9/9 oracle-backed golden · 6/6 invalid · Artifact integrity PASS
This calculator CURRENT · Public schema 1.5.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓
Semantic contract
PASS
Full verification

Manifest identity, reference classes, interfaces, suite, and production records.

Formulas

Core equations used by this calculator.

Clearax + b = rhs (cx + d)
Rootx = (rhs·d − b) / (a − rhs·c)
Polex ≠ −d / c
iSame engine as /linear-equation. Inequalities are /rational-inequality. Not a quadratic rational. Not CAS.

How to use

1

Enter a, b, c, d, and rhs

(2x + 3)/(x + 1) = 1 is a=2, b=3, c=1, d=1, rhs=1. The linear page stays at /linear-equation.

2

Read x or the excluded pole

x = −2. The pole x = −1 is never a solution. Identity except the pole is ℝ \ {pole}.

Example calculations

Common configurations with formula and result.

ϟ

One root

(2x + 3)/(x + 1) = 1

x = −2
-2
ϟ

Identity except pole

(2x + 2)/(x + 1) = 2

ℝ \ {−1}
ℝ \ {-1}
ϟ

Empty

(2x + 3)/(x + 1) = 2

3 = 2
∅

Rational Equation calculator specification

Version 1.5.0 · Engine tested

Calculation status

Review policy · Evidence

Definition
(ax + b)/(cx + d) = rhs clears to (a − rhs·c)x = rhs·d − b. This page is mode=rational on math.algebra.linear_equation. The pole x = −d/c is never a solution. Identically 0 denominator is invalid. Not a second engine. Not quadratic. Not CAS.
What it calculates
The real solutions of (ax + b)/(cx + d) = rhs, excluding the pole.
Inputs
  • a
  • b?
  • c?
  • d?
  • rhs
Outputs
  • x
  • pole
  • status
  • n
Formula
x = (rhs·d − b) / (a − rhs·c), x ≠ −d/c
Assumptions
  • Degree 1 numerator and denominator
  • Real coefficients
  • Not quadratic
  • Not an inequality — use /rational-inequality
  • Not CAS
Units
  • dimensionless
Boundary conditions
  • missing a or rhs → MISSING_REQUIRED_INPUT
  • c = d = 0 → INVALID_INPUT
  • unknown mode (including cas, quadratic) → INVALID_MODE
  • root equals pole → empty
Example
a=2 b=3 c=1 d=1 rhs=1 → x=-2
Validation cases

2 published on this page · 18/18 tests · Production surface contract 6/6 · View evidence

  • a=2 b=3 c=1 d=1 rhs=1 → x=-2
  • mode=cas a=2 b=3 c=1 d=1 rhs=1 → INVALID_MODE
Specification basis
  • ISO 80000-2:2019 Quantities and units — Mathematics
Calculation version
1.5.0

Frequently asked questions

Key distinctions behind the calculation.

Is this a second linear engine?

No. It is mode=rational on math.algebra.linear_equation, the same engine as /calc/math/linear-equation.

Why is the pole excluded?

cx + d = 0 makes the original fraction undefined, even if clearing the denominator produces that x.

Do you solve rational inequalities?

/calc/math/rational-inequality is mode=rational_inequality on this same engine.