Proportion Calculator
Solve a proportion for one missing term using exact rational arithmetic. Enter integers, decimals or fractions; check nonzero denominators and worked steps.
Enter values to calculate.
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
- 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
- Evidence
- 11 legacy golden · 7 legacy boundary · legacy regression suite · 19/19 oracle-backed golden · 7/7 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
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.
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
Check a full proportion
4:7 = 12:21
Proportion calculator specification
Version 1.0.3 · Engine tested
- Engine tested 26/26 tests · Production surface contract 10/10
- Named expert review Not performed
- Calculation version 1.0.3
- 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: EquationsSupports: 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.
- Margaret Stevens — The Maths Workbook (University of Oxford) — Chapter 1, §1: Algebraic Expressions and Fractions; §3: Equations
- 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.
Related tools
Other calculators in this family: Percent Error Calculator, Percentage Calculator, Percentage Change Calculator, Ratio Calculator . Explore all Percent, Ratio & Proportion.
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.