# False math paradox?

**URL:** <https://boards.straightdope.com/t/false-math-paradox/377586>\
**Category:** Factual Questions\
**Created:** [October 23, 2006, 4:20pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586 "2006-10-23T16:20:44Z")\
**Posts on this page:** 8\
**Page:** 1

<div class="post-metadata">

**Author:** ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)\
**Post date:** [October 23, 2006, 4:20pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/1 "2006-10-23T16:20:44Z")

</div>

Somehow this reminds me of Zeno’s paradox but I’m not sure where my thinking goes wrong here.

Our company gives recruiting awards, and adds a “gross up” to offset the additional tax liability. I tried to approach the same problem two ways, one easy and obvious, and the other logical but not as obvious.

Assume award value A, the net award that the company wants the employee to get after taxes. Assume a tax rate R.

The easy way is to determine what gross pay G would yield a net pay of A by

G = A/(1-R)

For an award of $1000 and a tax rate of 20% we have a gross amount of exactly $1250.

OK, that’s the first way. Let’s look at it another way. You get a bonus of A, so the company adds A_R to cover the taxes. But that amount is also taxable, so they have to add another A_R\*R, forever, for a total of

inf  
[symbol]S[/symbol] A\*R[sup]_i_[/sup]  
_i_=0

I don’t see how the sum of an infinite series can equal the result of the division shown earlier. I suspect this may be like the 0.99999… = 1 discussion. I think you can express the limit of this sum as an integral and solve it, but I haven’t done that in 30 years.

I’m probably in for a lesson on something covered in a college class on a day I was hungover…

---

<div class="post-metadata">

**Author:** ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)\
**Post date:** [October 23, 2006, 4:49pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/2 "2006-10-23T16:49:01Z")

</div>

Yes, it’s a limit-of-infinite-series thing, as you suggest. The limit only exists if the tax rate is less than 100%. But since you are talking about money, then you don’t need to take the infiniyte sum: just enough so that the remainder is less than half a cent, then round to the nearest cent (as you do in real-life payroll situations, unless you round to dollars, or some other larger currency unit).

---

<div class="post-metadata">

**Author:** ![Cabbage](https://avatars.discourse-cdn.com/v4/letter/c/f07891/32.png) [@Cabbage](https://boards.straightdope.com/u/Cabbage)\
**Post date:** [October 23, 2006, 5:00pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/3 "2006-10-23T17:00:25Z")

</div>

To see why they are the same, let

S\_n = A + AR + AR^2 +…+ AR^n

i.e., just the first n+1 terms of the infinite series. Then:

RS\_n = AR + AR^2 +…+ AR^(n+1)

Subtract the second equation from the first:

S\_n - RS\_n = A - AR^(n+1)

(Notice a lot of the terms on the right hand side cancelled out).

Solve for S\_n:

S\_n = [A - AR^(n+1)] / (1 - R)

So this gives us a “shortcut” to find the sum of the first n+1 terms.

We want the sum of the entire infinite series, so take the limit as n goes to infinity. If and only if -1 \< R \< 1, the limit of AR^(n+1) as n goes to infinity is zero, so the limit of the entire thing is just A/(1 - R).

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [October 23, 2006, 5:53pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/4 "2006-10-23T17:53:02Z")

</div>

What you’re talking about here is a [geometric series](http://mathworld.wolfram.com/GeometricSeries.html).

---

<div class="post-metadata">

**Author:** ![Spectre\_of\_Pithecanthropus](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/spectre_of_pithecanthropus/32/12343_2.png) [@Spectre\_of\_Pithecanthropus](https://boards.straightdope.com/u/Spectre_of_Pithecanthropus)\
**Post date:** [October 23, 2006, 6:02pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/5 "2006-10-23T18:02:18Z")

</div>

And IIRC, if the multiplier is \< 1, then the series will converge to a finite value.

---

<div class="post-metadata">

**Author:** ![nivlac](https://avatars.discourse-cdn.com/v4/letter/n/3bc359/32.png) [@nivlac](https://boards.straightdope.com/u/nivlac)\
**Post date:** [October 23, 2006, 6:06pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/6 "2006-10-23T18:06:02Z")

</div>

[QUOTE=CookingWithGas]  
Somehow this reminds me of Zeno’s paradox but I’m not sure where my thinking goes wrong here.

Our company gives recruiting awards, and adds a “gross up” to offset the additional tax liability. I tried to approach the same problem two ways, one easy and obvious, and the other logical but not as obvious.

Assume award value A, the net award that the company wants the employee to get after taxes. Assume a tax rate R.

The easy way is to determine what gross pay G would yield a net pay of A by

G = A/(1-R)

For an award of $1000 and a tax rate of 20% we have a gross amount of exactly $1250.

OK, that’s the first way. Let’s look at it another way. You get a bonus of A, so the company adds A_R to cover the taxes. But that amount is also taxable, so they have to add another A_R\*R, forever, for a total of

inf  
[symbol]S[/symbol] A\*R[sup]_i_[/sup]  
_i_=0

I don’t see how the sum of an infinite series can equal the result of the division shown earlier. I suspect this may be like the 0.99999… = 1 discussion. I think you can express the limit of this sum as an integral and solve it, but I haven’t done that in 30 years. …

[/QUOTE]

As **Cabbage** has pointed out, your last sum is the same as A/(1-R) as long as R is between 0 and 1. Yes, the sum of an infinite number of terms can be a finite number.

---

<div class="post-metadata">

**Author:** ![Spectre\_of\_Pithecanthropus](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/spectre_of_pithecanthropus/32/12343_2.png) [@Spectre\_of\_Pithecanthropus](https://boards.straightdope.com/u/Spectre_of_Pithecanthropus)\
**Post date:** [October 23, 2006, 6:13pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/7 "2006-10-23T18:13:38Z")

</div>

[QUOTE=Spectre of Pithecanthropus]  
And IIRC, if the multiplier is \< 1, then the series will converge to a finite value.  
[/QUOTE]

whoops, if the multiplier is also greater than -1. Or something.

---

<div class="post-metadata">

**Author:** ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)\
**Post date:** [October 23, 2006, 6:18pm UTC](https://boards.straightdope.com/t/false-math-paradox/377586/8 "2006-10-23T18:18:30Z")

</div>

[QUOTE=Spectre of Pithecanthropus]  
whoops, if the multiplier is also greater than -1. Or something.  
[/QUOTE]

Yes – though since we are talking about tax rates, it’s unlikely that you would get a negative tax rate. (Effective tax rates greater than 100% are possible though, if you include graduated means tests on social welfare payments: they exist in real life in Australia, for example).
