HomeCalculatorsMathPercent, Ratio & ProportionProportion Calculator
Math calculator

Proportion Calculator

Solve a proportion for one missing term using exact rational arithmetic. Enter integers, decimals or fractions; check nonzero denominators and worked steps.

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 · 8/8 declared partitions (simplify, proportion, scale, split, compare, convert, three-term, invalid-domain) · Matrix
Numerical scope
All six published Ratio modes (simplify, proportion, scale, split, compare, convert), including A:B:C where those modes support it. Independent O2 expected values; exact rational BigInt; Node is runtime host only.
Known limitations
  • Core CVP does not include live graph, viewport, or pointer interaction.
Model
The missing term in A:B = C:D.
Scope
Finite rationals: integers, terminating decimals, or simple fractions a/b.
Verification
Engine tested · Source checked · v1.0.3 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
Versions
Calculation 1.0.3 · CVP protocol 1.0.0-proposed · Evidence 2026-10-21.ratio-complete-contract-v3
Verification revision
2026-10-21.ratio-complete-contract-v3 · 7/7 property · digest 980fb61ebf20
Legacy regression
26/26 tests · Production surface contract 10/10
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.
Supplemental domain review
Not performed
Named expert review
Not performed
CVP suite
19/19 golden · 7/7 CVP boundary · 7/7 invalid · 7/7 property · 2/2 metamorphic · 2/2 round-trip · 3/3 cross-interface · 10/10 CVP contract · Manifest
Sources
Sources
Evidence
11 legacy golden · 7 legacy boundary · legacy regression suite · 19/19 oracle-backed golden · 7/7 invalid · Artifact integrity PASS
This calculator CURRENT · Public schema 1.0.3 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.

Cross-multiplyA/B = C/D → A·D = B·C
Missing CC = A·D / B
iSame engine as /calc/math/ratio. Exactly one of A, B, C, D is blank. B and D must be nonzero when they are denominators. Simplify, scale, split, compare, and convert stay on /ratio.

How to use

1

Enter three of A, B, C, D

4:7 = x:21 is A=4, B=7, C blank, D=21. The full ratio page stays at /ratio.

2

Read the missing term

x = 4×21/7 = 12. Terms are exact rationals.

Example calculations

Common configurations with formula and result.

ϟ

Missing C

4:7 = x:21

C = A·D / B
12
ϟ

Check a full proportion

4:7 = 12:21

A·D = B·C
84 = 84

Proportion calculator specification

Version 1.0.3 · Engine tested

Calculation status

Review policy · Evidence

Definition
A proportion equates two ratios: A:B = C:D, so A·D = B·C. This page is mode=proportion on math.ratio. Leave exactly one of A, B, C, D blank. Not a second engine. Not percent change. Not percent error.
What it calculates
The missing term in A:B = C:D.
Inputs
  • Three of A, B, C, D
Outputs
  • Missing term
Formula
A·D = B·C
Assumptions
  • Finite rationals: integers, terminating decimals, or simple fractions a/b.
  • Exactly one of A, B, C, D is blank.
  • Not percent change. Not percent error. Not simplify, scale, split, compare, or convert.
Units
  • Dimensionless (or consistent units across terms)
Boundary conditions
  • Not exactly one blank → PROPORTION_ONE_BLANK
  • Zero denominator when solving → undefined
Example
4:7 = x:21 → x = 12
Validation cases

1 published on this page · 26/26 tests · Production surface contract 10/10 · View evidence

  • 4:7 = x:21 → 12
Sources
  • Margaret Stevens — The Maths Workbook (University of Oxford) — Chapter 1, §1: Algebraic Expressions and Fractions; §3: Equations
    Supports: Algebraic addition/subtraction, multiplication/division, distributive rules, equivalent fractions, common denominators and reciprocals. Ratios are interpreted as quotients. Equality of ratios with nonzero denominators permits cross multiplication, and solving a proportion uses the chapter’s equation transformations. A zero divisor is excluded; integer quotient/remainder uses the separately cited Euclidean-division reference. Mathematical reference only; not implementation validation or an endorsement of CalculatorX.
Calculation version
1.0.3

Background

Interpretation and common distinctions.

What does this proportion calculator compute?

A proportion equates two ratios: A:B = C:D, so A·D = B·C.

The published formula or method is A·D = B·C. The following references support the stated mathematics or method:

  • Margaret Stevens — The Maths Workbook (University of Oxford): Algebraic addition/subtraction, multiplication/division, distributive rules, equivalent fractions, common denominators and reciprocals. Ratios are interpreted as quotients. Equality of ratios with nonzero denominators permits cross multiplication, and solving a proportion uses the chapter’s equation transformations. A zero divisor is excluded; integer quotient/remainder uses the separately cited Euclidean-division reference. Mathematical reference only; not implementation validation or an endorsement of CalculatorX.

Which inputs and limits should you check?

Follow the input domain, units, branch or solve direction, and rounding policy in the specification. Preserve exact outputs and any additional candidates or warnings.

The worked example uses 4:7 = x:21 with C = A·D / B. Compare it with the Example calculations and the complete result for the same inputs.

How can you verify and cite this result?

CalculatorX is responsible for this page. The mathematical references above explain the model; implementation checks and their scope are documented separately in the math.ratio v1.0.3 Evidence and capability contract. Read the displayed verification and production state together with the specification's numerical limits.

Use the clean calculator URL to cite the tool. A shared input link identifies a particular calculation. Content updates, numerical verification, and domain reviews have separate dates and scopes.

What is a proportion?

A proportion says two ratios are equal: A:B = C:D, which is the same as A/B = C/D. Cross-multiply to get A · D = B · C.

This page only solves that equation. Simplify, scale, split, compare, and convert stay on Ratio. Percent change stays on percentage change.

Input precision, limits and data paths

Use at most48 digits per integer/decimal, or per numerator and denominator of a fraction; signs do not count, leading zeros count, and each token is limited to128 characters. Two or three terms are supported in simplify, scale and split; other modes use A/B and, when needed, C/D. Matching aliases must name the same rational value; conflicting aliases, unknown fields and nonempty inactive fields are rejected.

Decimal and fraction strings preserve the accepted rational exactly. JSON numbers have already passed through binary64 parsing; unsafe integer numbers are rejected, and decimals use their shortest normalized decimal text. Send exact source values as strings. Exponents, mixed numbers and zero fraction denominators are rejected. Exactness applies to accepted tokens, not information rounded before the request.

A proportion requires exactly one blank and a unique solution with both B and D nonzero, including a solved denominator. Degenerate cross-product equations do not establish a valid quotient. Scale factors must be nonzero; split terms and totals must be nonnegative, with a positive sum of terms. Convert leaves undefined A/B or part-of-whole percentages as null and explains the condition. Bars show approximate part-of-whole shares; tiny parts may be invisible, so exact values remain in the text legend. Negative ratios have no part-of-whole bar.

Calculations run locally in the browser. Shared URLs send parameters to the server; REST/MCP also send inputs. Browser history may retain the most recent20 local snapshots; Clear inputs does not delete that history. Optional analytics depends on site configuration; a retention period, deletion guarantee or processing region is not established by this review. Share version labels identify the current-engine calculation and do not replay a historical engine; use REST/MCP version pins for strict version matching.

Frequently asked questions

Key distinctions behind the calculation.

Is this a second ratio engine?

No. It is mode=proportion on math.ratio, the same engine as /calc/math/ratio.

Is this percent change?

No. Percent change is (V₂ − V₁) / |V₁|. That page is /calc/math/percentage-change. A proportion equates two ratios.

Can I leave more than one field blank?

No. Exactly one of A, B, C, D is blank. Two blanks is PROPORTION_ONE_BLANK.

Where does this run?

Locally in the browser by default. REST and MCP call the same ratio engine.