HN16 - Calculating with bounds

HN16 - Calculating with bounds

Learn how rounding uncertainty passes through sums, differences, products and quotients, and decide how accurately an answer can be reported. This develops HN16 by choosing the right limiting values, distinguishing possible values from unattainable endpoints, and interpreting answers in context.

Bounds of sums and differences

Two lengths are reported as 12.4 cm12.4\,\mathrm{cm} and 7.2 cm7.2\,\mathrm{cm}, each to the nearest 0.1 cm0.1\,\mathrm{cm}. Their reported difference is 5.2 cm5.2\,\mathrm{cm}. Does that mean the actual difference rounds to 5.2 cm5.2\,\mathrm{cm} too?

The rounding step is 0.10.1, so the uncertainty extends half that step, 0.050.05, on either side. Using the usual positive-measure rounding intervals:

12.35≤a<12.45,7.15≤b<7.2512.35\le a<12.45,\qquad 7.15\le b<7.25

Here a,ba,b are the numerical lengths in centimetres. Treat them as independent: knowing one length does not narrow the other's interval.

Bounds and attainable endpoints

A lower bound is a value below which the quantity cannot fall; an upper bound is a value above which it cannot rise. We seek the tightest bounds supplied by the information. A minimum or maximum must actually be attainable. An excluded endpoint can be a tight bound even though no allowed value equals it.

To make a sum small, make both terms small. To make a−ba-b small, make aa small but bb large: subtracting more reduces the result. This change of direction is why differences need opposite extremes.

Worked example 1: a sum

Question. Find the bounds of a+ba+b, where 12.35≤a<12.4512.35\le a<12.45 and 7.15≤b<7.257.15\le b<7.25.

Plan. Add the two lower endpoints and then the two upper endpoints.

Lower bound=12.35+7.15=19.50Upper bound=12.45+7.25=19.70\begin{aligned} \text{Lower bound}&=12.35+7.15=19.50\\ \text{Upper bound}&=12.45+7.25=19.70 \end{aligned}

Both lower endpoints can occur together. Neither upper endpoint is included.

Answer. 19.50≤a+b<19.7019.50\le a+b<19.70. The minimum is 19.5019.50; there is no attained maximum, but values can approach 19.7019.70 as closely as desired.

Check. Taking a=12.449a=12.449, b=7.249b=7.249 gives 19.69819.698, below the upper bound. Adding the reported values gives 19.619.6, inside the interval.

Keep the same information and change only addition to subtraction.

Worked example 2: a difference

Question. Find the bounds of a−ba-b for the same intervals.

Plan. Use the smallest aa and largest limiting bb for the lower bound; reverse those choices for the upper bound.

Lower bound=12.35−7.25=5.10Upper bound=12.45−7.15=5.30\begin{aligned} \text{Lower bound}&=12.35-7.25=5.10\\ \text{Upper bound}&=12.45-7.15=5.30 \end{aligned}

The first calculation needs the excluded value b=7.25b=7.25; the second needs the excluded value a=12.45a=12.45. Neither limiting difference is attained.

Answer. 5.10<a−b<5.305.10<a-b<5.30. These are limiting bounds, not an attained minimum and maximum.

Check. 12.35−7.249=5.10112.35-7.249=5.101 and 12.449−7.15=5.29912.449-7.15=5.299 approach the two bounds from inside the interval.

The interval symbols carry information that the endpoint calculations alone do not.

[DIAGRAM: asset_name: Included and excluded result bounds; asset_slug: sum-difference-bounds; caption: The sum includes its lower endpoint; the difference includes neither limiting endpoint.; description: Exact number lines show 19.50 less than or equal to a plus b less than 19.70 with a filled lower dot and open upper dot, and 5.10 less than a minus b less than 5.30 with both dots open. Both use the inputs 12.35 less than or equal to a less than 12.45 and 7.15 less than or equal to b less than 7.25.]
The sum includes its lower endpoint

Watch out

Subtracting the two lower endpoints does not give the lower bound of a difference. Here 12.35−7.15=5.2012.35-7.15=5.20, but a−ba-b can be smaller. To minimise a difference, subtract as much as possible.

Apply the same choice of extremes to new measurements.

Bounds of products and quotients

For independent positive quantities, increasing either factor increases a product. Increasing a positive numerator increases a quotient, but increasing its positive denominator decreases it.

For instance, 12/3=412/3=4 but 12/4=312/4=3. A larger denominator shares the same numerator into more parts, making each part smaller.

Desired bound, with positive inputsProduct ababQuotient a/ba/b
LowerLower aa, lower bbLower aa, upper bb
UpperUpper aa, upper bbUpper aa, lower bb

Check the input intervals and whether their endpoints are included before choosing the result's inequality symbols.

Worked example 3: multiplying positive measurements

Question. Positive measurements a=8.0a=8.0 and b=3.0b=3.0 are each correct to the nearest 0.10.1. Find the bounds of abab.

Plan. Form the input intervals, then multiply matching extremes.

7.95≤a<8.05,2.95≤b<3.05Lower bound=7.95×2.95=23.4525Upper bound=8.05×3.05=24.5525\begin{aligned} 7.95&\le a<8.05,\qquad 2.95\le b<3.05\\ \text{Lower bound}&=7.95\times2.95=23.4525\\ \text{Upper bound}&=8.05\times3.05=24.5525 \end{aligned}

Answer. 23.4525≤ab<24.552523.4525\le ab<24.5525. Both lower inputs are allowed, so the lower product is attained; the upper product is excluded.

Check. The reported-input calculation 8×3=248\times3=24 lies inside the bounds. Using 8.049×3.049=24.5414018.049\times3.049=24.541401 gives a product close to, but below, the upper bound.

Keep the same positive input intervals and change the operation to division. The denominator choices must reverse.

Worked example 4: dividing positive measurements

Question. Find the bounds of a/ba/b for 7.95≤a<8.057.95\le a<8.05 and 2.95≤b<3.052.95\le b<3.05.

Plan. For the lower bound divide the smallest numerator by the largest limiting denominator; reverse the choices for the upper bound.

Lower bound=7.953.05=15961Upper bound=8.052.95=16159\begin{aligned} \text{Lower bound}&=\frac{7.95}{3.05}=\frac{159}{61}\\ \text{Upper bound}&=\frac{8.05}{2.95}=\frac{161}{59} \end{aligned}

Answer. 15961<ab<16159\dfrac{159}{61}<\dfrac ab<\dfrac{161}{59}. The limiting values are approximately 2.6065572.606557 and 2.7288142.728814. Neither is attained: the lower needs excluded b=3.05b=3.05, and the upper needs excluded a=8.05a=8.05.

Check. The central quotient 8/3=2.6666…8/3=2.6666\ldots lies inside. Also, 3.05×(159/61)=7.953.05\times(159/61)=7.95 and 2.95×(161/59)=8.052.95\times(161/59)=8.05, verifying the endpoint arithmetic by multiplication.

These rules require the stated conditions. If the denominator's interval reaches zero, the quotient may be undefined or have no finite bound: do not divide by an endpoint of zero. Negative inputs need a fresh direction check; for example, (−4)×3=−12(-4)\times3=-12 is less than (−4)×2=−8(-4)\times2=-8, so increasing a factor need not increase the product. Linked inputs also need care: if a=b>0a=b>0, then a/b=1a/b=1, so choosing their extremes independently would overstate the possible variation.

Problem-solving

Describe the direction before choosing endpoints: “larger numerator makes it larger; larger positive denominator makes it smaller.” This explains the choices and helps prevent a reversed quotient bound.

Keep the quotient exact until any requested final rounding.

Reliable accuracy

A calculator can display many digits even when the input information cannot justify them. To decide which reported answer is guaranteed, ask whether every allowed true result rounds to the same value at the proposed accuracy.

Use the complete output interval, not just the nominal calculation from the reported inputs. Keep exact bounds or enough guard digits while checking a rounding threshold. If you give a decimal enclosure, round its lower bound down and its upper bound up so that it still contains every possible value.

Worked example 5: a guaranteed decimal answer

Question. A positive measurement is reported as x=10.30x=10.30, correct to the nearest 0.010.01. A result is r=x/2r=x/2, with 22 exact. Find the greatest number of decimal places to which rr can be guaranteed.

Plan. Divide both measurement bounds by the exact positive number, then compare the possible results at successive rounding accuracies.

10.295≤x<10.3055.1475≤r<5.1525divide every part by 2\begin{aligned} 10.295&\le x<10.305\\ 5.1475&\le r<5.1525 &&\text{divide every part by }2 \end{aligned}

Every number in this interval rounds to 5.155.15 to two decimal places: the whole interval lies between the rounding thresholds 5.1455.145 and 5.1555.155. Three decimal places are not guaranteed; permitted values 5.1485.148 and 5.1525.152 round differently.

Answer. r=5.15r=5.15 is guaranteed to two decimal places, but not three.

Check. The threshold for rounding up to 5.165.16 is 5.1555.155, beyond the upper bound. The threshold below which the result would round to 5.145.14 is 5.1455.145, below the lower bound.

Now keep the same nominal calculation but make the denominator a measurement too. That one change increases the uncertainty.

Worked example 6: uncertainty in the denominator

Question. Now x=10.30x=10.30 and y=2.00y=2.00 are each correct to the nearest 0.010.01, and r=x/yr=x/y. Find the greatest number of decimal places to which rr is guaranteed.

Plan. Use opposite quotient extremes before testing the rounding accuracy.

10.295≤x<10.305,1.995≤y<2.00510.2952.005<r<10.3051.9952059401<r<687133\begin{aligned} 10.295&\le x<10.305,\qquad1.995\le y<2.005\\ \frac{10.295}{2.005}&<r<\frac{10.305}{1.995}\\ \frac{2059}{401}&<r<\frac{687}{133} \end{aligned}

The limiting values are approximately 5.1346635.134663 and 5.1654145.165414. Values near the lower limit round to 5.15.1 to one decimal place; values near the upper round to 5.25.2. However, every allowed result lies between 4.54.5 and 5.55.5, so all round to 55 to the nearest whole number.

Answer. Only zero decimal places, giving 55, is guaranteed. The nominal value 10.30/2.00=5.1510.30/2.00=5.15 is not a guaranteed two-decimal-place answer.

Check. Allowed inputs x=10.295,y=2.004x=10.295,y=2.004 give about 5.13725.1372, while x=10.304,y=1.995x=10.304,y=1.995 give about 5.16495.1649. Their one-decimal-place results differ, confirming the failure at that accuracy.

At a rounding threshold, remember whether the endpoint is included. Every positive value in [3.145,3.155)[3.145,3.155) rounds to 3.153.15 to two decimal places, even though the excluded upper endpoint 3.1553.155 would round to 3.163.16. Interpret the limit from inside the interval.

Context can require an integer rather than a rounded decimal.

Worked example 7: a possible whole-number count

Question. A tank contains 12 L12\,\mathrm L, correct to the nearest litre. Each bottle holds exactly 0.8 L0.8\,\mathrm L. What is the maximum possible number of full bottles?

Plan. Use the upper volume limit, divide by the exact bottle size, then check which whole count can actually occur.

11.5≤V<12.5V0.8<12.50.8=15.625\begin{aligned} 11.5&\le V<12.5\\ \frac{V}{0.8}&<\frac{12.5}{0.8}=15.625 \end{aligned}

Sixteen bottles would need 16×0.8=12.8 L16\times0.8=12.8\,\mathrm L, outside the allowed volume. Fifteen need 15×0.8=12 L15\times0.8=12\,\mathrm L, which is allowed.

Answer. The maximum possible count is 1515 full bottles. Do not round 15.62515.625 to 1616.

Check. An allowed tank volume of 12 L12\,\mathrm L fills exactly 1515 bottles, so this integer maximum is attained. It is not guaranteed for every tank: 11.5 L11.5\,\mathrm L fills only 1414 full bottles.

If the limiting quotient is exactly an integer at an excluded endpoint, that count may be impossible. For example, with 11≤V<1211\le V<12 litres and exact one-litre bottles, 1212 full bottles cannot occur; the maximum is 1111. Always check that the proposed whole count can actually fit.

The opening difference lies strictly between 5.105.10 and 5.30 cm5.30\,\mathrm{cm}. Its value to one decimal place is not guaranteed to be 5.25.2, but every possible difference rounds to 5 cm5\,\mathrm{cm} to the nearest centimetre.

Key idea

Guaranteed accuracy means the entire allowed interval gives the same rounded result. A possible maximum count is a different question: check both that the count fits and that the next one cannot fit.

Use the interval to decide a fresh quotient's reliable digits.

Quick Recap

  • Sums use matching extremes; differences use opposite extremes.
  • For positive independent inputs, products use matching extremes and quotients use opposite extremes.
  • Tight limiting endpoints need not be attainable minima or maxima.
  • Reliable digits must agree across the full output interval; whole-number contexts need a separate fit check.

The opening reported difference 5.2 cm5.2\,\mathrm{cm} is a nominal calculation. Only 5 cm5\,\mathrm{cm} to the nearest centimetre is guaranteed by those rounded measurements.