# Justin Does Math

**URL:** <https://discuss.criticalfallibilism.com/t/justin-does-math/271>\
**Category:** Friendly\
**Tags:** math\
**Created:** [August 26, 2021, 1:54am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271 "2021-08-26T01:54:18Z")\
**Posts on this page:** 20\
**Page:** 10

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 9, 2021, 10:56pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/181 "2021-10-09T22:56:09Z")

</div>

![image](https://discuss.criticalfallibilism.com/uploads/default/original/1X/2dfeb894c9f35ea399e0c98a854481fe0acd31a5.jpeg)

\triangle GDC has a base \overline{DC} of 20 and a height \overline{GD} of 10. Its area is therefore 100.

\triangle OFC has a base of 10 and has identical angles with \triangle GDC for the reasons previously stated. Based on the relative base sizes, \triangle GDC is a 2x scaled up version of \triangle OFC. Therefore the height of \triangle OFC must be 5.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 9, 2021, 11:02pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/182 "2021-10-09T23:02:26Z")

</div>

> [@ingracke](#):
>
> One thing you could do is actually try Elliot’s suggestion of finding & explaining multiple ways of doing a simple problem, like 2+3.

Part of my thinking in reviewing early material was that it might help with that, but I’m not so sure now. Maybe I should just try it.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 9, 2021, 11:21pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/183 "2021-10-09T23:21:59Z")

</div>

Right, I think that’s basically the same way you did it earlier in this post:

> [@JustinCEO](#):
>
> lemme look at it again

In that solution, you used the lengths of the hypotenuses (GC and OC) to figure out that GDC was 2x scaled up version of OFC. But you could have just used the bases of the triangles (DC and FC) instead.

In general, I recommend using the given information over the information that you figured out yourself, if you have a choice – that reduces possible sources of errors. And, also, I wanted it to be clear there was a solution to this problem that didn’t require pythagorean.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 9, 2021, 11:24pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/184 "2021-10-09T23:24:17Z")

</div>

I think you’ve already passed the addition part of the book, so don’t know if the rest will really have much that would be helpful in that.

Also, 2+3 is a basic enough problem that you should be able to figure out different ways to do it without going through a bunch of background material.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 9, 2021, 11:29pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/185 "2021-10-09T23:29:45Z")

</div>

You can try to relate this back to the original problem now - you were able to figure out the side of the triangle using similar triangles.

The original problem also had similar triangles, without having to draw any new lines. But in that problem, the focus was on figuring out areas, not line lengths.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 12:21am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/186 "2021-10-10T00:21:23Z")

</div>

AH HA

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 12:24am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/187 "2021-10-10T00:24:58Z")

</div>

![image](https://discuss.criticalfallibilism.com/uploads/default/original/1X/3f4638e2990345c828a11db46de1399fae2a0fe7.jpeg)

> [@JustinCEO](#):
>
> There are a number of similar triangles in the above diagram. One example is triangle KFC and triangle LDC (which encompasses KFC).
> 
> They are both right angle triangles which means they have an angle of 90 degrees. They also share an angle (angle KCF or LCD, respectively). Since they have identical angles for two of their angles, their third angle (angle LDC or KFC, respectively) must likewise be the same. Since they have identical angles, they are similar.
> 
> Triangle LDC is the larger of the two triangles. We know from a straightforward application of the the information we are given that line FC (the hypotenuse of triangle KFC) is 10 long and line DC (the hypotenuse of triangle LDC) is 20 long. So triangle LDC is a 2X scaled up version of triangle KFC.

If the bigger of two similar triangles is a 2x scaled up version of the smaller triangle, then its base and height will be 2 as long as the smaller similar triangle. This means the area will be 4x that of the smaller similar triangle.

The hypotenuse of the bigger similar triangle \triangle LDC is 2x that of the smaller triangle \triangle KFC.

The area of \triangle GDC = 100. \triangle GDC consists of one of the bigger similar triangles - \triangle LDC - and one of the smaller ones - \triangle DLG. Another way of saying this is that it consists of the area of 5 of the smaller similar triangles - one area of a smaller triangle and one area of a larger triangle that is equal to 4 smaller triangles.

Let s stand for the area of the smaller similar triangles.

5s = 100

s = 20

We know that the bigger of the similar triangles, \triangle LDC, is equal to 4s. We now know that the area represented by that triangle is 80. There are four interlocking such triangles, so their total area is 320. The total area of the square is 400, so the difference between the 4 interlocking big triangles and the total area gives us the shaded area. That is 400 - 320 = 80.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 1:06am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/188 "2021-10-10T01:06:46Z")

</div>

> [@Elliot](#):
>
> A simpler problem, which you should be able to analyze and solve in several different ways, is 2+3.

I. 2 + 3 = 5. This is the “normal way” I would do it - just add the numbers based on number knowledge.

II. First we break things down into 1, then add.  
2 + 3 = (1 + 1) + (1 + 1 + 1).  
We can reorder the grouping if we want.  
(1 + 1 + 1 + 1 + 1)  
We don’t need the parentheses anymore.  
1 + 1 + 1 + 1 + 1 = 5

III. Number line method. I represent the 2 as a blue box and the 3 as a red box. Their combined values represent a distance on the number line, starting at 0.

 ![Untitled 4.png 2021-10-09 21-02-21](https://discuss.criticalfallibilism.com/uploads/default/original/1X/acddd3304fb5517b9399ec1eff9d2279acdadd3d.jpeg)

IV. Reduce one value 1 at a time, and add 1 to the other, until you get to 0.  
2 + 3 = 1 + 4  
= 0 + 5  
Any number plus 0 is itself so we get 5.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 2:12am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/189 "2021-10-10T02:12:30Z")

</div>

Yeah, that was basically the solution I was thinking of.

It requires figuring out that DLC is similar to FKC, with 2x lengths, which means the area of DLC is 4x the area of FKC. And then you can find the area of GDC, from the information given.

So then with that information, there are a few different ways you can put it together to find the area of the black part.

For figuring out that the triangles are similar in the first place, you can also use the angle rules from chapter 10 to do that. So the way I did it didn’t require knowing or assuming they were 90 degree triangles. And, also, this problem would be still be solvable in a similar way if it was a rectangle, not a square. (Which would mean the angles would actually NOT be 90 degree angles). It is a little bit harder to put together, since all the triangles would not be the same, but it’s still possible in a similar way.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 3:15am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/190 "2021-10-10T03:15:48Z")

</div>

> [@ingracke](#):
>
> For figuring out that the triangles are similar in the first place, you can also use the angle rules from chapter 10 to do that. So the way I did it didn’t require knowing or assuming they were 90 degree triangles.

Assume \overline{HD} and \overline{BF} are parallel lines.They’re going to make the same angles when they intersect \overline{GC}, so \angle DLC and \angle FKC are the same. Since \triangle DLC and \triangle FKC share \angle C, all the angles in the triangles must be the same, and so the triangles are similar (I think you could also say that since the parallel lines also intersect \overline{DC}, that the angles formed by the intersection there must also be the same).

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 3:22am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/191 "2021-10-10T03:22:55Z")

</div>

Right, parallel lines will make the same angle with any line they intersect, so you could use that rule for either GC or DC. And angle C is just the same angle in both cases. And once you’ve shown 2 angles are the same, you know all 3 have to be the same.

You can also use the angle rules + the rotational symmetry to figure out that the angles at I, J, L, K must all be 90 degree angles. It’s not necessary to solve the problem, but you can figure it out.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 3:32am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/192 "2021-10-10T03:32:27Z")

</div>

> [@ingracke](#):
>
> the rotational symmetry

hmm not sure I’ve used that concept much before.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 4:17am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/193 "2021-10-10T04:17:15Z")

</div>

You don’t have to think of it in that way.

You can also figure the same thing out because it’s a square, so the different sides have to be congruent with each other.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 4:26am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/194 "2021-10-10T04:26:49Z")

</div>

So the shaded region appears to be a square.

So the internal angles of the square must be 90 degrees. So one example is \angle ILK. That has to be 90 degrees.

So then \angle GLD is the opposite angle to \angle ILK. So it also has to be 90 degrees.

\angle ILG is a supplementary angle to \angle ILK on the same line. So it has to be 90 degrees. And the opposite angle of \angle ILG is \angle KLD, which also has to be 90 degrees.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 4:47am UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/195 "2021-10-10T04:47:10Z")

</div>

> [@JustinCEO](#):
>
> So the shaded region appears to be a square.

I meant without starting with that assumption, since it’s not information you were given.

But, like, you can figure out that the triangles FKC and EJB are congruent (so all their angles & sides must be the same), since the outer shape is a square, so each side is identical. Does that make sense?

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 6:59pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/196 "2021-10-10T18:59:06Z")

</div>

That makes sense, though I’m not sure I see where you’re going with that quite yet.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 9:35pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/197 "2021-10-10T21:35:20Z")

</div>

Well my point was that you can figure out that the angles in the middle are 90 degree angles by applying the angle rules from chapter 10 of the book (10.1 and 10.2 specifically, e.g., the rules for parallel lines and transversals, which can also be found online in a lot of places), along with the knowledge that since the shape is a square, the different sides are going to be symmetrical to each other.

---

<div class="post-metadata">

**Author:** ![JustinCEO](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/justinceo/32/9_2.png) [@JustinCEO](https://discuss.criticalfallibilism.com/u/JustinCEO)\
**Post date:** [October 10, 2021, 9:59pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/198 "2021-10-10T21:59:57Z")

</div>

Here’s one way that uses some angle stuff. I think it’s not quite what you had in mind but maybe at least overlaps.

The shaded area is a 4-sided figure. The internal angles must thus add up to 360 degrees by the formula 180(n - 2) where n represents the number of sides. So the sum of the internal angles must be 360 degrees.

Because ABCD is a square, it must have identical sides. So \triangle FKC is congruent to \triangle EJB and the other small triangles around the square.

The four small triangles have opposite angles inside the shaded area (e.g. \angle JKL is opposite to \angle FKC). These opposite angles inside the shaded area must be the same as their counterparts within the triangles. Since we know there are four triangles and they are all congruent, the value of these opposite angles inside the shaded area, of which there are four, must be the same as each other. Let a stand for one of these angles. There are four such angles inside the shaded area, so 4a = 360, or a = 90.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 10:07pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/199 "2021-10-10T22:07:41Z")

</div>

Yes, this works and has some overlap with the way I thought of it.

The way I was thinking of was similar, but uses the rules for parallel lines and transversals, instead of the rule for the sum of the interior angles of a polygon.

---

<div class="post-metadata">

**Author:** ![ingracke](https://discuss.criticalfallibilism.com/user_avatar/discuss.criticalfallibilism.com/ingracke/32/256_2.png) [@ingracke](https://discuss.criticalfallibilism.com/u/ingracke)\
**Post date:** [October 10, 2021, 10:12pm UTC](https://discuss.criticalfallibilism.com/t/justin-does-math/271/200 "2021-10-10T22:12:48Z")

</div>

For my way, you should also be able to say why/how you know the lines are parallel.

There are a lot of things that _look_ true in the picture: the lines _look_ parallel, the shaded shape _looks_ like a square, the angles at I, J, L, and K _look_ like they are all 90 degrees.

But none of that information is actually given to you in the original problem. And if the problem was with a rectangle with a very similar length and width (e.g., 19 units wide and 20 units long), those things would all still look true. So you can’t just rely on how it _looks_.

The fact that they tell you that ABCD is a square does let you figure all the other stuff out though, in multiple different ways.

[Previous page](https://discuss.criticalfallibilism.com/t/justin-does-math/271.md?page=9)

[Next page](https://discuss.criticalfallibilism.com/t/justin-does-math/271.md?page=11)
