<p>You're making this way more complicated than it needs to be.</p>
<p><strong>Edit:</strong> Okay it's a little more complicated that I thought but hey! What a cool result!</p>
<p><span class="math-container">$AC = \frac{C(q)}{q} \\
MC = C'(q)$</span></p>
<p>When you minimize <span class="math-container">$AC$</span> with respect to <span class="math-container">$q$</span>,</p>
<p><span class="math-container">$$\frac{\partial AC}{\partial q} = \frac{C'(q) \cdot q - C(q)}{q^2} = 0$$</span>
<span class="math-container">$$\implies C'(q) \cdot q - C(q) = 0$$</span>
<span class="math-container">$$\implies C'(q) \cdot q = C(q)$$</span>
<span class="math-container">$$\implies C'(q) = \frac{C(q)}{q}$$</span></p>
<p>Then marginal cost equals average cost. Which seems to be what you've gotten so far.</p>
<p>So now we check the second order conditions:</p>
<p><span class="math-container">$$\frac{\partial AC}{\partial q} = \frac{C'(q)}{q} - \frac{C(q)}{q^2}$$</span>
<span class="math-container">$$\frac{\partial^2 AC}{\partial q^2} = \frac{C''(q) \cdot q - C'(q)}{q^2} - \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^4}$$</span></p>
<p>What makes this expression greater than zero?</p>
<p><span class="math-container">$$\frac{\partial^2 AC}{\partial q^2} = \frac{C''(q) \cdot q - C'(q)}{q^2} - \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^4} &gt; 0$$</span>
<span class="math-container">$$\implies \frac{C''(q) \cdot q - C'(q)}{q^2} &gt; \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^4}$$</span>
<span class="math-container">$$\implies C''(q) \cdot q - C'(q) &gt; \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^2}$$</span>
<span class="math-container">$$\implies C''(q) \cdot q - C'(q) &gt; C'(q) - \frac{2C(q)}{q}$$</span>
<span class="math-container">$$\implies C''(q) \cdot q &gt; 2\left(C'(q) - \frac{C(q)}{q}\right)$$</span>
<span class="math-container">$$\implies C''(q) \cdot q^2 &gt; 2\left(C'(q) \cdot q - C(q)\right)$$</span></p>
<p>But recall that given the first derivative,</p>
<p><span class="math-container">$$C'(q) = \frac{C(q)}{q}$$</span>
<span class="math-container">$$\implies C'(q) \cdot q = C(q)$$</span></p>
<p>So substitute that into the above:</p>
<p><span class="math-container">$$\implies C''(q) \cdot q^2 &gt; 2\left(C(q) - C(q)\right)$$</span>
<span class="math-container">$$\implies C''(q) \cdot q^2 &gt; 0$$</span></p>
<p>And this is true as long as the total cost curve is convex, which is a pretty standard assumption. (I guess also positive production has to be a thing, so basically the firm has to be not shut down.) So we're done.</p>

CC BY-SA 3.0
2016-04-01T19:57:14.230Z
@FrankFrankFrank there you go
Kitsune Cavalry
CC BY-SA 4.0
2016-04-01T17:43:48.943Z
2023-09-25T17:56:17.193Z
2023-09-25T17:56:17.193Z
Kitsune Cavalry
<p>Here is an approach that might be a bit closer to the usual economic intuition.</p>
<p>The elementary intuition is that adding a marginal unit brings the average cost down if the marginal cost is below the average cost. This can be made precise.</p>
<p><span class="math-container">$$\frac{\partial AC(q)}{\partial q} = \frac{C'(q) \cdot q - C(q)}{q^2} = \frac{C'(q) \cdot q}{q^2}-\frac{C(q)}{q^2}=\frac{1}{q}\big(MC(q)-AC(q)\big).$$</span>
So, the marginal effect is negative if the marginal cost is smaller than the average cost and positive if the marginal cost is larger than the average cost. If it is zero, we have a local minimum.</p>
<p>With increasing marginal cost, it should also be a global maximum because the average cost is growing more slowly than the marginal cost by the same logic so that the marginal cost will stay above the average cost. Indeed, let <span class="math-container">$C'(q^*)=C(q^*)/q^*$</span> and <span class="math-container">$q&gt;q^*$</span>. We have
<span class="math-container">$$C(q)/q=1/q\bigg(\int_{q^*}^qC'(x)~\mathrm dx+C(q^*)\bigg)$$</span> <span class="math-container">$$=1/q\bigg(\int_{q^*}^qC'(x)~\mathrm dx+q^*AC(q^*)\bigg)$$</span>
<span class="math-container">$$=1/q\bigg(\int_{q^*}^qC'(x)~\mathrm dx+q^*MC(q^*)\bigg)$$</span>
<span class="math-container">$$=1/q\bigg(\int_{q^*}^qC'(x)~\mathrm dx+\int_0^{q^*}MC(q^*)~\mathrm dx\bigg)$$</span> <span class="math-container">$$&lt;1/q\int_0^qC'(q)~\mathrm dx=C'(q).$$</span>
A similar argument works for <span class="math-container">$q&lt;q^*$</span> to show that then <span class="math-container">$MC(q)&lt;AC(q)$</span>. In principle, this approach does not require the existence of second derivatives.</p>

CC BY-SA 4.0
2023-09-25T20:32:59.560Z
2023-09-25T20:32:59.560Z
Michael Greinecker
<p>I am trying to prove that AC is mininimized when AC=MC</p>

<p>This is how far I am:</p>

<p>FOC:</p>

<p><a href="https://i.sstatic.net/POTlv.jpg" rel="nofollow noreferrer"><img src="https://i.sstatic.net/POTlv.jpg" alt="enter image description here"></a></p>

<p>Showing what I want to prove</p>

<p>SOC:</p>

<p><a href="https://i.sstatic.net/wZrvO.jpg" rel="nofollow noreferrer"><img src="https://i.sstatic.net/wZrvO.jpg" alt="enter image description here"></a></p>

<p>This has to be positive in order to ensure that AC is minimized, but how can i conclude that?</p>

<p>Hope someone can help :)</p>

<cost>
Proving AC is minimized when MC=AC
FrankFrankFrank
# Proving AC is minimized when MC=AC

(Asked by: username_0 on 2016-04-01)

I am trying to prove that AC is mininimized when AC=MC

This is how far I am:

FOC:

[![enter image description here](https://i.sstatic.net/POTlv.jpg)](https://i.sstatic.net/POTlv.jpg)

Showing what I want to prove

SOC:

[![enter image description here](https://i.sstatic.net/wZrvO.jpg)](https://i.sstatic.net/wZrvO.jpg)

This has to be positive in order to ensure that AC is minimized, but how can i conclude that?

Hope someone can help :)

**Tags:** cost

---

## 2 answers

### Answer by username_1 on 2016-04-01. Score: 6

You're making this way more complicated than it needs to be.

**Edit:** Okay it's a little more complicated that I thought but hey! What a cool result!

$AC = \frac{C(q)}{q} \\
MC = C'(q)$

When you minimize $AC$ with respect to $q$,

$$\frac{\partial AC}{\partial q} = \frac{C'(q) \cdot q - C(q)}{q^2} = 0$$
$$\implies C'(q) \cdot q - C(q) = 0$$
$$\implies C'(q) \cdot q = C(q)$$
$$\implies C'(q) = \frac{C(q)}{q}$$

Then marginal cost equals average cost. Which seems to be what you've gotten so far.

So now we check the second order conditions:

$$\frac{\partial AC}{\partial q} = \frac{C'(q)}{q} - \frac{C(q)}{q^2}$$
$$\frac{\partial^2 AC}{\partial q^2} = \frac{C''(q) \cdot q - C'(q)}{q^2} - \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^4}$$

What makes this expression greater than zero?

$$\frac{\partial^2 AC}{\partial q^2} = \frac{C''(q) \cdot q - C'(q)}{q^2} - \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^4} > 0$$
$$\implies \frac{C''(q) \cdot q - C'(q)}{q^2} > \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^4}$$
$$\implies C''(q) \cdot q - C'(q) > \frac{C'(q) \cdot q^2 - C(q) \cdot 2q}{q^2}$$
$$\implies C''(q) \cdot q - C'(q) > C'(q) - \frac{2C(q)}{q}$$
$$\implies C''(q) \cdot q > 2\left(C'(q) - \frac{C(q)}{q}\right)$$
$$\implies C''(q) \cdot q^2 > 2\left(C'(q) \cdot q - C(q)\right)$$

But recall that given the first derivative,

$$C'(q) = \frac{C(q)}{q}$$
$$\implies C'(q) \cdot q = C(q)$$

So substitute that into the above:

$$\implies C''(q) \cdot q^2 > 2\left(C(q) - C(q)\right)$$
$$\implies C''(q) \cdot q^2 > 0$$

And this is true as long as the total cost curve is convex, which is a pretty standard assumption. (I guess also positive production has to be a thing, so basically the firm has to be not shut down.) So we're done.

> **Comments:**
> **username_1**: @FrankFrankFrank there you go  

---

### Answer by username_2 on 2023-09-25. Score: 1

Here is an approach that might be a bit closer to the usual economic intuition.

The elementary intuition is that adding a marginal unit brings the average cost down if the marginal cost is below the average cost. This can be made precise.

$$\frac{\partial AC(q)}{\partial q} = \frac{C'(q) \cdot q - C(q)}{q^2} = \frac{C'(q) \cdot q}{q^2}-\frac{C(q)}{q^2}=\frac{1}{q}\big(MC(q)-AC(q)\big).$$
So, the marginal effect is negative if the marginal cost is smaller than the average cost and positive if the marginal cost is larger than the average cost. If it is zero, we have a local minimum.

With increasing marginal cost, it should also be a global maximum because the average cost is growing more slowly than the marginal cost by the same logic so that the marginal cost will stay above the average cost. Indeed, let $C'(q^\*)=C(q^\*)/q^\*$ and $q>q^\*$. We have
$$C(q)/q=1/q\bigg(\int\_{q^\*}^qC'(x)~\mathrm dx+C(q^\*)\bigg)$$ $$=1/q\bigg(\int\_{q^\*}^qC'(x)~\mathrm dx+q^\*AC(q^\*)\bigg)$$
$$=1/q\bigg(\int\_{q^\*}^qC'(x)~\mathrm dx+q^\*MC(q^\*)\bigg)$$
$$=1/q\bigg(\int\_{q^\*}^qC'(x)~\mathrm dx+\int\_0^{q^\*}MC(q^\*)~\mathrm dx\bigg)$$ $$<1/q\int\_0^qC'(q)~\mathrm dx=C'(q).$$
A similar argument works for $q to show that then $MC(q). In principle, this approach does not require the existence of second derivatives.


---

