This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Hm, it doesn't feel like your approaches are rigorous. In the linked problems, the reasoning is that "A in B is maximized if and only if X in Y is maximized", and there was a very simple / direct way to go from A in B to X in Y. You have not provided that connection quite as yet. IE In the first approach, how does "quarter circle in triangle" lead to a "semi circle in (larger) triangle"?
Log in to reply
Ah. Seems to me that you provided the good point. :)
Let me see:
I have already proven that "semi circle in larger triangle" leads to "quarter circle in triangle". I need to prove that "quarter circle in a smaller triangle" leads to "semi circle in larger triangle".
Assume that the quarter circle in a smaller triangle has the maximum area. Extend the arc about the origin formed by the two sides of the sector. Call the angle of arc extension α . Then, the measure of the new sector is ( α + 9 0 ) ∘ , where 0 < α ≤ 9 0 ∘ . But since this forces the sector to be unbounded, we need to bound the segment of the equilateral triangle that the top vertex of the sector touches. So as the arc angle increases, the length of all triangle sides increases.
We see that from the first approach, we decrease the side lengths bounded by the leftmost vertex of the large triangle, such that the arc segment is perpendicular to one of the segments. This direct relationship also holds for increasing the angle of the sector. However, if the angle measurement of the sector is between 1 5 0 ∘ and 1 8 0 ∘ , the side length of the equilateral triangle remains constant, which leaves the sector's area either smaller or bigger (depending on how you deal with the arc angle).
It would be interesting to consider many possible cases.
Log in to reply
Not quite. Your first case is "semi circle in larger triangle with base on one side" leads to "quarter circle in smaller triangle". You have to do it more generally, like for tilted semicircles, while also ensuring that the ratio of larger triangle to smaller triangle is the same throughout. At a quick though, I'm not fully convinced this is possible.
Similar concerns (esp with the ratio) about your "quarter circle to semi circle".
Note: I believe you have the correct numerical answer, but I don't think your solution is rigorous. Even in method 2, you assume that the "best fit" must have a certain form, instead of showing that's indeed the best fit. Avoid arguments of "Clearly we cannot optimize better from this shape", which doesn't work well for such packing questions.
Problem Loading...
Note Loading...
Set Loading...
There are few approaches for this problem.
Method 1: Large Equilateral Triangle Method
Consider a semicircle of radius r and maximum area enclosed by the equilateral triangle.
Figure 1. Large equilateral triangle of the small triangle
Since the semicircle bounded by the equilateral triangle has the maximum area, we can slice Δ A E I with F J to obtain the smaller equilateral triangle and color triangle Δ F G K to remove the unneeded area. The side length to decrease for Δ A E I is determined by the side length of Δ B C K , which is an equilateral triangle. This guarantees that the right-angle circular sector has the maximum area.
Observe that the quadrilateral C F G K is a rectangle, consisting of two 3 0 - 6 0 - 9 0 triangles. Since ∣ G K ∣ = ∣ C F ∣ = r , then ∣ C K ∣ = ∣ F G ∣ = 3 r . Since Δ B C K is equilateral, ∣ C K ∣ = ∣ B K ∣ = ∣ C B ∣ = 3 r , which shows that to obtain the smaller triangle we decrease the side length by 3 r .
Notice that Δ C E F and Δ F G K since C F ∥ A G , C K ∥ E I and F K ∥ A E . Therefore, ∣ E G ∣ = 3 2 r . Since Δ A E I is symmetric about A G , ∣ E G ∣ = ∣ G I ∣ = 3 2 r , which implies that ∣ E I ∣ = 3 4 r . So by decreasing each side length by 3 r , we obtain 3 3 r .
Thus, for the problem, radius of circle = r = 3 3 which gives Area of sector = 4 π r 2 = 1 2 π
Method 2: Direct Geometric Approach
Figure 2. Starting equilateral triangle
This problem can also be solved without considering the large equilateral triangle. For the sector to have maximum area, bound its side and vertices on the triangle's segments as illustrated above.
Because sector B D E is cyclic and tangent to A F , this forces ∠ D G F = 9 0 ∘ . But since B D ⊥ C F at point D , ∠ C D B = ∠ D G F = 9 0 ∘ . Noticing that Δ C D B and Δ D F G share common angles of 6 0 ∘ as Δ A C F , and that ∣ B D ∣ = ∣ D G ∣ = r , by Angle-Angle-Side Postulate , this shows that Δ D F G and Δ C D B are the same triangles of same lengths and angles.
In that case, ∣ C D ∣ = ∣ G F ∣ = 3 r and ∣ B C ∣ = ∣ D F ∣ = 3 2 r , which implies that ∣ C F ∣ = 3 3 r . We achieve the same result as we did by Method 1 .