248

An exam for high school students had the following problem:

Let the point $E$ be the midpoint of the line segment $AD$ on the square $ABCD$. Then let a circle be determined by the points $E$, $B$ and $C$ as shown on the diagram. Which of the geometric figures has the greater perimeter, the square or the circle?

enter image description here

Of course, there are some ways to solve this problem. One method is as follows: assume the side lengths of the square is $1$, put everything somewhere on a Cartesian coordinate system, find the midpoint of the circle using the coordinates of $E$, $B$ and $C$, then find the radius of the circle, and finally use the radius to calculate the circle's circumference and compare it to the perimeter of the square.

The problem with that method is that ostensibly this problem is supposed to be very simple; it shouldn't require the student to know the formula for the midpoint of a circle given three coordinates. Therefore the question here is: does there exist a simple way to solve the problem without knowing any complicated geometric formulas?

Sid
  • 4,211
  • 3
  • 18
  • 50
  • 11
    All the answers so far involve computing the radius of the circle, and then essentially using the fact that $\pi < 16/5$. I wonder if there is a way to prove that $\pi < 16/5$ geometrically, or otherwise solve this problem without knowing the familiar fact that $\pi \approx 3.14$. – Phillip Andreae Mar 14 '15 at 01:49
  • Perhaps the Greeks' method of comparing [the perimeters of inscribed or circumscribed polygons](http://en.wikipedia.org/wiki/Approximations_of_%CF%80#Polygon_approximation_to_a_circle). But then again, that requires knowledge of the formulas used to compute the area of regular polygons. For a simple square, we get a lower bound of 2.83 and an upper bound of 4. Both $π$ and $\frac{16}{5}$ are contained within that range. – baum Mar 14 '15 at 02:01
  • 33
    There is no such thing as "require the student to know the formula for ..." in mathematics. This isn't science, anything in math that you don't know you can figure out. Your proposed approach really isn't complicated: long does not mean complicated. Short proofs are the complicated ones. – DanielV Mar 14 '15 at 02:02
  • 27
    @DanielV Of course one can just derive everything, but unfortunately things don't work like that in practice, especially if you are a high school student with limited time to solve each problem. :-) Therefore, for all intents and purposes the student would need to know that formula if they were to try the method I described. – Sid Mar 14 '15 at 02:23
  • @PhillipAndreae [This page](http://en.wikipedia.org/wiki/Proof_that_22/7_exceeds_%CF%80) concerning the relationship between $π$ and $\frac{22}{7}$ seems to suggest that such a proof is probably not possible without calculus or similarly advanced mathematics; we may expect a solver to know the first two digits of $π$ over integrals. – baum Mar 14 '15 at 02:40
  • What number would 'Pi' have to be for them to be equal? – Mazura Mar 14 '15 at 04:29
  • You mean 'determined by E,B and C?' @Sid You've said 'by E,B and D'. – Panglossian Oporopolist Mar 14 '15 at 10:11
  • @Kugelblitz Thanks, corrected. – Sid Mar 14 '15 at 11:24
  • 2
    Is the formula for the circumradius of a triangle $R=\frac{abc}{4S}$ known to your students, from the time when they studied Euclidean geometry? That one almost trivializes the problem. – Federico Poloni Mar 14 '15 at 11:38
  • No problem. Nice question! Although it is certainly quite easy; I solved it in the same way as Abel who has posted his answer in the 'answers' section. It's a problem, which takes around 2 minutes seconds to write down the complete solution with final answer with steps. (I clocked in at 87 seconds...). But really, it can be solved without coordinate geometry at all.. Still, a really fun question to attempt. @Sid – Panglossian Oporopolist Mar 14 '15 at 11:50
  • @FedericoPoloni I'm not sure I would expect that, but I don't see directly how you would like to use that formula so I encourage you to write an answer and explain it. – Sid Mar 14 '15 at 11:58
  • @PhillipAndreae My supplementary answer now has a diagram to show visually just how closely a circumscribing polygon has to hug the circle, in order to yield an upper bound for $\pi$ that is only twice as close as the estimate $5\pi < 16$ needed to solve this problem. It seems highly unlikely that the square in the problem could be progressively modified, while keeping its perimeter constant, in such a way as to enclose the circle. – Calum Gilhooley Mar 15 '15 at 22:38
  • @imallett Glad you enjoyed the question, but what made it feel like clickbait to you? I have been wondering how this managed to become so popular. – Sid Mar 15 '15 at 23:52
  • 2
    @Sid probably because the title gives us a seemingly very simple comparison (see: is the dress blue or white), and then tells us that, "nope, it's hard". The person reading the title ends up taking it as a challenge. All of that without *actually* telling us anything about the real problem. Well done, perfect advertising :). – Millie Smith Mar 18 '15 at 18:23
  • I can't post an answer, but the only thing this requires is the law of sines, which belongs in a typical high school curriculum. Let $DC=2$; then $EC=\sqrt{5}$ and $\sin (ECB)=2/\sqrt5$. Let $R$ be the radius of the circumference: then $2R = EB/\sin(ECB) = EC/\sin(ECB)=5/2$, so the perimeter of the circle is $\pi 5/2 < 8$. – david Mar 19 '15 at 00:44
  • Surprisingly hard problem for high schoolers? It is not even hard for last classes of elementary school. – Salvador Dali Mar 22 '15 at 05:57
  • i have a master's degree in applied maths, and i can't answer this within a few seconds from just looking. i'd have to think about it. – BCLC Apr 23 '21 at 09:33

26 Answers26

217

Perhaps the examiner intended the students to notice the square is determined by a $(3, 4, 5)$ triangle, because $3 + 5 = 4 + 4$ (!):

A circle and square

Consequently, as several others have noted, $$ \frac{\text{perimeter of the circle}}{\text{perimeter of the square}} = \frac{5 \cdot 2\pi}{4 \cdot 8} = \frac{\pi}{3.2} < 1. $$


For an approach less dependent on inspiration, taking the origin of the coordinate system at the center of the circle seems easier than placing the origin at the center of the square. Without loss of generality, assume the circle has unit radius:

Expressing the dimensions of the square

Equating the lengths of the horizontal and vertical sides of the square in this diagram, we read off $$ x + 1 = 2y\quad\text{(or $x = 2y - 1$).} $$ Invoking the Pythagorean theorem and substituting the preceding line, \begin{align*} 0 &= x^{2} + y^{2} - 1 \\ &= (2y - 1)^{2} + y^{2} - 1 \\ &= 5y^{2} - 4y \\ &= y(5y - 4). \end{align*} Clearly $y \neq 0$, so $y = 4/5$, $x = 3/5$, and we notice the Examiner's Favorite Triangle.

leonbloy
  • 56,395
  • 9
  • 64
  • 139
Andrew D. Hwang
  • 70,320
  • 5
  • 84
  • 166
  • 30
    I like “Examiner's Favorite Triangle”, thanks! – MJD Mar 14 '15 at 17:19
  • 31
    This is a beautiful solution, so much so that it feels like the examiner started with the solution and worked backwards to the problem. Which isn't exactly fair to those taking the exam. (I certainly wouldn't have come up with it myself.) – fluffy Mar 14 '15 at 22:07
  • @fluffy: Your observation about the solution preceding the problem seems astute. :) (Incidentally, I worked out the answer by algebra as indicated, _then_ noticed the triangle when $y$ turned out to be $4/5$; certainly didn't notice the triangle's dimensions at first glance....) – Andrew D. Hwang Mar 14 '15 at 22:32
  • 18
    'Notice the... (3,4,5) triangle'? Is there a quick observation that leads to that? Like the others, that seems to be an observation _after_ all the calculations for the solution have been done. – Mitch Mar 15 '15 at 00:38
  • 4
    @Mitch - The statement $3 + 5 = 4 + 4$ definitely isn't sufficient on its own, else I could make up something like $3.2 + 5 = 4.1 + 4.1$. We need to combine this constraint with the right triangle constraint. After getting those two constraints, I think OP is suggesting you might guess that 3/4/5 meets the constraints. (I personally wouldn't have jumped to this, though perhaps it's easier to guess if you just learned about Pythagorean triples.) – blah Mar 15 '15 at 06:10
  • 1
    @Mitch: On the original unmarked figure, it's "reasonably natural" to draw the right triangle whose vertices are the center of the circle, the midpoint of the square's right edge, and the square's upper right corner. Given the prominent role of the $(3, 4, 5)$ triangle in school mathematics (and the observation $3 + 5 = 4 + 4$), it's conceivable that "lightning strikes" (i.e., the significance of the dashed lines becomes apparent). But I'm guessing that wasn't the "intended" approach; the indicated algebraic solution is well within the realm of "doable" for a school math test. :) – Andrew D. Hwang Mar 15 '15 at 12:51
  • 3
    @user86418 I'm trying to see how 3/4/5 comes in a flash rather than through hard work. One flash would be as you say, to consider the center of the circle, rather than the square, and the sides of that triangle. But then how does one figure the units. Even if 5 for the radius, I do not see any flash that leads to 3 and 4 for the legs except blind guessing. Where does $x+1 = 2y$ come from, your very first step, without already knowing it's a 3/4/5 triangle? – Mitch Mar 15 '15 at 14:47
  • 2
    @Mitch: Assuming a unit circle and denoting the "northeast corner" $(x, y)$, the horizontal sides of the square have length $x - (-1) = x + 1$ and the vertical sides have length $y - (-y) = 2y$. :) – Andrew D. Hwang Mar 15 '15 at 15:07
  • 4
    @user86418: nice... that's the super simple start. But you should add that to the answer to make it complete (i.e. where $x+1 = 2y$ comes from, both $x+1$ and $2y$ equal a side of the square). – Mitch Mar 16 '15 at 02:25
  • If you set radius to r, half the side length to b, and a such that a+r=2b (distance from center of circle, to closest midpoint of square), then solve for a in terms of r and simplify fractions along the way, the 3,4,5 triangle falls out. No coordinate system needed, not assumption that something is unit distance. – Yakk Mar 16 '15 at 03:29
  • 3
    I'd like to second @Mitch here; while this is a clever observation, the answer is missing the work that led to the observation. Without that context, I don't think this is a complete answer. – Sid Mar 16 '15 at 13:10
  • @Sid: Does the deduction starting from $x + 1 = 2y$ and $0 = x^{2} + y^{2} - 1$ seem lacking? That's the complete calculation I went through myself. (I can easily add my initial diagram, which looks just like the included diagram except without the dashed lines and side lengths, and with $E$ labeled $(-1, 0)$ rather than $(-5, 0)$; I omitted it because the same information can be read off the included diagram, and the included diagram seemed like the "right" _ex post facto_ picture.) – Andrew D. Hwang Mar 16 '15 at 13:56
  • 2
    @user86418 the derivation _after_ $x+1=2y$ is elementary. Getting to that point is also elementary but missing; just say where it comes from (why +1? Why 2y?) – Mitch Mar 16 '15 at 14:24
  • Another way to see that it is a 3/4/5 triangle: a line drawn from (-1,0) to (1,1) intersects a unit circle at the point (4/5, 3/5). – DanielV Mar 16 '15 at 19:57
  • 1
    While a fantastic answer - this still smacks of one of those horrible programming interview questions. Not one that you could work out, one the requires you to know the "trick" before hand. Which really makes it useless in measuring anything besides how familiar the student is with trick questions :( – Wayne Werner Mar 17 '15 at 12:57
  • 2
    @WayneWerner: Thank you, I think. :) But note that I snuck two answers into one post. The second does seem like "fair game" even for a high-school math test. The first (the "magic trick") is my new object lesson in "P v. NP", illustrating the distinction between (i) _obtaining_ an answer from scratch and (ii) _checking_ that a prospective answer is correct. :) – Andrew D. Hwang Mar 17 '15 at 13:34
  • 2
    There is nothing wrong with "magic trick" proofs. In fact, these are the best and most beautiful proofs - my favourite! When reading a good piece of poetry, one wouldn't complain if it hasn't included the words and ideas explored in each and every draft, only the final iteration matters. – wim Mar 18 '15 at 00:37
126

Here's a proof that arrives at the ratio of circle diameter to square side using similar triangles rather than the Pythagorean theorem:

Perimeter comparison

Draw the diameter of the circle from $E$; let the other endpoint of that diameter be $F$ and let it cross the square at $G$. Then since the angle $\measuredangle EBF$ is a right angle, the triangles $\bigtriangleup EBG$ and $\bigtriangleup BFG$ are similar. Obviously $|EG|=2|BG|$, so $|BG|=2|FG|$ (or in other words $|FG|=\frac12|BG|$) and so $|EF|=|EG|+|FG|=2|BG|+\frac12|BG|=\frac52|BG|$. From here the proof proceeds just like the others: the perimeter of the square is $4|EG|=8|BG|$ and the circumference of the circle is $\pi|EF|=\frac{5\pi}{2}|BG|$. From $\pi\lt\frac{16}5=3.2$, we get $5\pi\lt16$ and $\frac{5\pi}{2}\lt 8$, so the perimeter of the square is longer.

Steven Stadnicki
  • 50,003
  • 9
  • 78
  • 143
  • 15
    I like this one because it follows a pattern (which is both standard and teachable) for solving elementary geometry: "Find similar triangles and expect everything else to follow". – Keith Mar 16 '15 at 02:52
  • 7
    @Keith Thank you - my main goal was to find a solution that one could actually _derive_ and not just 'happen upon' (which, as amazing as they are, most of the Pythagorean-based solutions feel like to me), and I think this hits that mark. – Steven Stadnicki Mar 16 '15 at 03:26
  • I find it interesting, indeed odd, that fewer have upvoted this entirely natural proof than the "3.4.5" trick. This proof almost writes itself when you think (1) "Hey, I'll surely need to compare a diameter of the circle with an edge" (2) "The obvious diameter to look at is the one through E" (3) "And if I'm going to comparing straight lines here, surely looking for similar triangles has to be the way to go ..."". – Peter Smith Mar 16 '15 at 15:00
  • 2
    Nice solution; I (+1)ed yesterday, when both our answers had far fewer upvotes. :) Perhaps it's telling that despite being a geometer, I still find the result easier to see using coordinates (i.e., the _second_ approach in my answer).... – Andrew D. Hwang Mar 16 '15 at 15:35
  • 3
    @user86418 I use coordinates for a living, so I wholeheartedly understand that sentiment. :-) I really think the two solutions make a great complement for each other - though I'm still waiting for a 'clean' proof that $\pi\lt \frac{16}5$ (and I've been thinking of asking it as a separate question); Calum's is a nice one (and well deserving of upvotes) but uses too many pieces to (IMHO) really be clean. – Steven Stadnicki Mar 16 '15 at 16:14
  • 3
    The most natural approaches (which involve chopping off the corner or symmetrically chopping off a couple of chunks) fall just short; I spent far too much time chopping off symmetric pieces yesterday only to discover that that approach can only get to $\pi\lt24-12\sqrt{3}\approx3.215$ - so close, and yet... – Steven Stadnicki Mar 16 '15 at 16:14
  • Since the pythagorean theorem can be proven from similar triangles, anything that can be proven using PT can be proven using similar triangles instead. – DanielV Mar 17 '15 at 01:44
  • 4
    Even simpler: by the Intersecting Chord Theorem, BG × GC = EG × GF, or 1 × 1 = 2 × GF, or GF = 1/2. Therefore the diameter = 2.5, C = πd ≈ 7.85, perimeter of square = 4 * 2 = 8. – Tebbe Mar 17 '15 at 02:19
  • @Tebbe Nice! (I know comments are supposed to say more than this.) – Calum Gilhooley Mar 17 '15 at 07:26
  • This is the proof I found out. The other one is really clever *a posteriori*, but for me it was far easier to think in terms of similar triangles. – mau Mar 17 '15 at 11:04
  • @StevenStadnicki FYI, Googling the claim that $\pi<16/5$ returns a lot of results like this one: http://en.wikipedia.org/wiki/Indiana_Pi_Bill , so unfortunately any legitimate proofs tend to get drowned out. Note: according to that link, the proposal stated not only $\pi=3.2$, but also $\sqrt{2}=10/7$, which seems like an independent error (obviously wrong since 7-7-10 isn't a Pythagorean Triple). Also, some people may be interested in http://en.wikipedia.org/wiki/Proof_that_22/7_exceeds_%CF%80 , which proves a stronger result, though it's obviously not a geometry proof like you requested. – mathmandan Mar 18 '15 at 16:01
  • How do you know for certain that ∡EBF is a right angle? – curiousdannii Mar 21 '15 at 13:57
  • 1
    @curiousdannii It's IMHO one of the 'core theorems' about circles in plane geometry: http://en.wikipedia.org/wiki/Thales'_theorem . – Steven Stadnicki Mar 21 '15 at 16:56
70

Regarding Abel's comment that he would like to see a less computational proof, consider the following. It is apparent that the length of a side of the square is $4$ small squares, and the perpendicular bisector of $EB$ crosses the horizontal centre line of the drawing $2.5$ small squares from $E$. Apologies for the inaccurate drawing.

enter image description here

More formally, if we call the centre of the square the origin:

EB has endpoints $(-2,0)$ and $(2,2)$ therefore it has midpoint $(0,1)$ and gradient $\frac12$.

The perpendicular bisector of EB has gradient $\frac{-1}{\mathrm{gradient\ of\ EB}}=-2$ therefore it crosses the $x$-axis at $(\frac12,0)$

Perimeter of ABCD = $16$

Perimeter of circle = $2 * \pi * 2.5 \approx 15.71$



(I liked this answer so much I wanted to illustrate step-by-step the process of finding the location of the centre of the circle:

First, the centre of the circle is defined by intersection of diameters; one is obviously the line straight across from $E$, and the other is generated by the perpendicular from the midpoint of $EB$:

enter image description here

Then we can locate the midpoint of $EB$ as being halfway across the square and one-quarter down from the top:

enter image description here

Then we can find another point on the perpendicular by turning the rectangle from E to the midpoint through a right angle:

enter image description here

And it's then obvious that the radius of the circle is $\frac{5}{8}$ the side of the square.

Joffan)

Level River St
  • 1,169
  • 7
  • 12
  • 1
    What's interesting is the way I seem to have stumbled across a "pythagorean triple." the centre of the circle is 5/2 from E, but is also sqrt( (3/2)^2 + (4/2)^2 ) = 5/2 from B. – Level River St Mar 14 '15 at 01:29
  • 11
    It's _the_ famous $3,4,5$ Pythagorean triple. – David K Mar 14 '15 at 03:38
  • 2
    @DavidK indeed, but I wasn't expecting it to pop out like that. I knew the triangle made by the centre of the circle and EB was isoceles. So I knew the radius through B had to be rational, and there it was. I was thinking of a general method for finding triples, but in hindsight it's obvious that if you pick any intersection on a piece of squared paper and draw all the circles of integer radius around it, the circles will intersect with the grid at points corresponding to pythagorean triples. – Level River St Mar 14 '15 at 11:53
  • Alternatively, we can take any vector with integer x and y and form an isoceles triangle with the x axis and we will find a pythagorean triple. Plugging the gradient of the line into the double angle tangent formula is equivalent to another method of finding triples: take any x+yi with integer x and y and square it. Example: tangent formula 2*(0.5)/(1-0.5^2)=4/3; square of complex number (2+i)^2 = 3+4i. – Level River St Mar 14 '15 at 12:11
  • Why not subdivide tha square by eight right away? – Hagen von Eitzen Mar 16 '15 at 17:22
  • @HagenvonEitzen because I thought it would make the image look too busy. No other reason. – Level River St Mar 16 '15 at 19:50
  • I always liked the look of this solution, but I can't recall ever understanding why it is "apparent" that $AB$ is 4 times as long as the segment cut off by the circle; and I think I felt too stupid to ask. Having struggled to prove this assertion, and having done so only quite laboriously, I'd better ask now! – Calum Gilhooley Mar 16 '15 at 20:27
  • @CalumGilhooley it is apparent that the length of AB is equal to 4 small squares because I chose to divide the large square up into a 4x4 grid. Hence the length of is also 4 small squares BC because all sides of a square are equal. The fact that the leftmost of my blue lines passes through the intersections of the circle with AB and CD was a total surprise to me and not required for my proof. In retrospect we can see that this is because of the 3,4,5 triangle. – Level River St Mar 16 '15 at 23:38
  • This is a beautiful solution. The diagram alone settles everything! – hmakholm left over Monica Mar 18 '15 at 17:16
  • @steveverrill Added some diagrams, hope you approve; let me know if any problem. – Joffan Mar 20 '15 at 19:51
  • @Joffan *Finally* I understand! Sometimes, less is more. Thank you! – Calum Gilhooley Mar 20 '15 at 19:56
  • @Joffan thanks for the additional diagrams. The only thing I would have done differently would be to start the text with *EDIT* in capitals (which is what I do when I add more info to my own posts as an afterthought.) But I'm not going to change it. – Level River St Mar 22 '15 at 00:33
30

I will let the side of the square be $2$. The center of the circle is at the intersection of the perpendicular bisectors of the chords $BC$ and $EB$. Let that point be $O$ and the foot of the perpendicular from $O$ be $F$.
Now the triangle $OEF$ is similar to $EBA.$
Therefore $$\frac{OE}{EB}= \frac{EF}{BA} \to \frac{OE}{\sqrt 5} = \frac{\sqrt 5/2}{2}\to OE = 5/4$$

The circumference of the circle is $$2\pi \frac 5 4= 5\pi/2 = 7.85 $$ which is less than $8$ the circumference of the square. They are very close.

I would like to see a proof that is not as computational as this one.

SQB
  • 2,024
  • 1
  • 14
  • 28
abel
  • 28,447
  • 1
  • 28
  • 53
28

This isn't a full answer, just an observation to supplement the other answers (and celebrate Pi Day).

If you construct tangents at the 20 points $(0, \pm25)$, $(\pm25, 0)$, $(\pm15, \pm20)$, $(\pm20, \pm15)$, $(\pm7, \pm24)$, $(\pm24, \pm7)$ on the circle of radius 25 centred on the origin, they intersect at the vertices $(\pm\frac{25}{7}, \pm25)$, $(\pm25, \pm\frac{25}{7})$, $(\pm\frac{125}{11}, \pm\frac{250}{11})$, $(\pm\frac{250}{11}, \pm\frac{125}{11})$, $(\pm\frac{125}{7}, \pm\frac{125}{7})$ of an irregular circumscribing icosagon, whose perimeter is $8 \times \left(\frac{25}{7} + 2 \times \frac{625}{77}\right) = \frac{12200}{77} = 158\frac{34}{77} < 160,$ as required.

Comparing this with the circumference, $50\pi$, of the inscribed circle, we get the upper bound for $\pi$: $$ \pi < \frac{244}{77} = 3\frac{13}{77} < 3.17. $$

Here, the circumscribing icosagon is shown in red, with the circle (just) visible behind it in black.

irregular circumscribing icosagon

The points of tangency are marked with smaller blue circles. The 16 right-angled triangles used in construction, shown in green, are all Pythagorean, in ratio 3:4:5 or 7:24:25, with hypotenuse $\frac{625}{77}$. The other 4 edges of the icosagon are of length $\frac{50}{7}$.

There is no need to calculate any angles, but the symmetry of the figure is illuminated by knowing the sequence of angles subtended at the centre of the circle. Running counter-clockwise from the positive $x$-axis to the positive $y$-axis, it is: $\underline{\alpha\alpha\beta\beta\alpha\alpha\beta\beta\alpha\alpha}$, where $\alpha = \tan^{-1}\frac{1}{7}$, $\beta = \tan^{-1}\frac{2}{11}$, and: \begin{gather*} 2\alpha = \tan^{-1}\frac{7}{24}, \ \alpha + \beta = \tan^{-1}\frac{1}{3}, \ 2\alpha + \beta = \tan^{-1}\frac{1}{2}, \\ 2\alpha + 2\beta = \tan^{-1}\frac{3}{4}, \ 3\alpha + 2\beta = \frac{\pi}{4}, \ 4\alpha + 2\beta = \tan^{-1}\frac{4}{3}, \\ 4\alpha + 3\beta = \tan^{-1}2, \ 5\alpha + 3\beta = \tan^{-1}3, \ 4\alpha + 4\beta = \tan^{-1}\frac{24}{7}. \end{gather*}

Calum Gilhooley
  • 10,742
  • 16
  • 44
  • 2
    Although not needed for the problem, lower bounds for $\pi$ are also easy to obtain from the figure. The inscribed icosagon gives $\pi > (6\sqrt{2}/5) + (16\sqrt{5}/25) > 3.128.$ Doubling the number of sides, using $2\sin\frac{\alpha}{2} = \sqrt{2 - 2\cos\alpha}$, etc., gives $\pi > (12\sqrt{50 - 35\sqrt{2}} + 8\sqrt{50 - 22\sqrt{5}})/5 > 3.138,$ but this is still not as good as Archimedes's amazing estimate of $\pi > 3\frac{10}{71}$ (along with $\pi < 3\frac{1}{7}$). – Calum Gilhooley Mar 16 '15 at 11:55
17

enter image description here

A pure geometric solution (I think it's the same as @baum's solution and others but with details and a clarifying drawing)

Let's consider that the length of the square is 1. We can easily deduct that the square perimeter is 4.
Let (HI) be a line perpendicular to (AD), with I being its intersection with the circle).
Since (AD) is tangent to the circle, [HI] is its diameter.
$ J\hat H B =90°-J\hat B H$ (angles of a right triangle)
$J\hat B I =90°-J\hat B H$ (they both form the angle $I\hat B H=90°$ because IBH is a right triangle (inscribed in a semicircle))
therefore $ J\hat H B = J\hat B I = \theta$
$\tan(\theta)=\frac{IJ}{BJ} =2\times x$
$\tan(\theta)=\frac{BJ}{HJ} =\frac{1\over 2}{1}=\frac12$ (BJ=AH=$\frac{AD}{2}$=$\frac12$ since H is the midpoint of [AD])
$2\times x=\frac12\Rightarrow x=\frac14$
d=HI=1+$\frac14$=$\frac54$
perimeter$=2\pi r=d\pi=\frac{5\pi}{4}$

Let's compare $\frac{5\pi}{4}$ and 4
$\frac{5\pi}{4}-4=\frac{5\pi-16}{4}=\frac54(\pi-\frac{16}{5})=\frac54(\pi-3.2)<0 \text{ because } 3.2>\pi$
So $\frac{5\pi}{4}$<4
Therefore the perimeter of the square is bigger

Michael Hardy
  • 1
  • 30
  • 276
  • 565
PhpLou
  • 281
  • 1
  • 6
16

Put the four corners at $(0,\pm1)$ and $(2,\pm1)$. Let the center of the circle be $(x,0)$. Then the radius of the circle is $x$ and that must be the distance from the center $(x,0)$ to the corner $(2,1)$. But that latter distance is $$ \sqrt{(2-x)^2 + 1^2}. $$ Therefore \begin{align} x & = \sqrt{(2-x)^2 + 1^2} \\ x^2 & = (2-x)^2+ 1 \\ x^2 & = 4-4x+x^2 + 1 \\ 0 & = 5-4x \\ x & = 5/4. \end{align} That's the radius, so we have $$ \text{circumference}=\frac 5 4 \cdot 2\pi \approx 7.85. $$ The perimeter of the square is $8$, so that's a bit bigger.

Michael Hardy
  • 1
  • 30
  • 276
  • 565
16

Assume $\overline{AB}=1$.

Let $P$ be the intersection of the circle with $AB$.

Then $\overline{AP}\times\overline{AB}=\overline{AE}^2$ by power of point.

So $\overline{AP}=1/4$, and $\overline{PB}=3/4$. Hence the diameter of the circle is $\sqrt{(3/4)^2+1^2}=5/4$. The rest follows like the other proofs.

user1537366
  • 2,053
  • 12
  • 24
14

Unless you consider the Pythagorean theorem to be "a complicated geometric formula":

$$ s = \text{side length of square}\\ r = \text{radius of circle}\\ O = \text{center of circle}\\ G = \text{midpoint of BC}\\ $$

$$ r^2 = OG^2 + BG^2\\ r^2 = OG^2 + \left(\frac{s}{2}\right)^2\\ r^2 = (s - r)^2 + \frac{s^2}{4}\\ r^2 = s^2 - 2rs + r^2 + \frac{s^2}{4}\\ 0 = s^2 - 2rs + \frac{s^2}{4}\\ 2rs = \frac{5}{4} s^2\\ $$ Since $s > 0$:

$$ 2r = \frac{5}{4}s\\ r = \frac{5}{8}s\\ $$

Therefore the circumference of the circle is $2πr$; the perimeter of the square is $4s$.

$$ 2πr\stackrel{?}=4s\\ 2π \cdot \frac{5}{8}s \stackrel{?}= 4s\\ \frac{5π}{4} < 4 $$

Therefore, the circumference of the circle is less than the perimeter of the square.

baum
  • 1,369
  • 12
  • 17
14

Using the Pythagorean theorem and the Quadratic Equation

  1. Use a unit circle. Radius of circle = 1, perimeter = 2 ~ 6.283.
  2. Center of circle = (0, 0). Point E = (-1, 0). Point B = (x, y).
  3. Perimeter of square = 4(1+x)=8y.
  4. 1 + x = 2y.
  5. 1 + 2x + x² = 4y².
  6. x² + y² = 1.
  7. 4y² = 4 - 4x².
  8. 1 + 2x + x² = 4 - 4x².
  9. 5x² + 2x - 3 = 0.
  10. x = (-2 ± √(4+60)) / 10 = (-2 ± 8) / 10 = (-2 + 8) / 10 = 0.6
    (We can rule out x = (-2 - 8) / 10 = -1, which is Point E.)
  11. y = 0.8
  12. 1 + x = 1.6 = 2 * y (also a check-by-substitution)
  13. Perimeter of square = 6.4 > Perimeter of circle ~ 6.283
Jasper
  • 384
  • 1
  • 9
14

My apologies if this is already among the answers; I looked but didn't see it. (Update: Calum Gilhooley kindly informs me that it does appear among the answers, as a comment by Tebbe which simplifies Steven Stadnicki's answer.)

For convenience, let the sides of the square have length $2$. The horizontal midline of the square extends as a diameter of the circle:

enter image description here

By the intersecting chords theorem, we have

$$2(D-2)=1\cdot1$$

so $D=5/2$, and the inequality $\pi\lt3.2=16/5$ is enough to show

$$\pi D\lt 8$$

where $8$ is the perimeter of the square.

Barry Cipra
  • 78,116
  • 7
  • 74
  • 151
  • 1
    This is indeed nice, but I'm afraid it was already posted by Tebbe, as a very brief comment on Steven Stadnicki's solution. You are excused for missing this - because so did I, and I posted a much worse solution than yours or his! :) – Calum Gilhooley Mar 19 '15 at 20:48
  • 1
    @CalumGilhooley, ah, thank you. It was hidden from view under the "show more comments" option. BTW, I admire your effort to prove the needed inequality on $\pi$. – Barry Cipra Mar 19 '15 at 20:59
  • @CalumGilhooley, if one more person clicks on the "up" arrow beside Tebbe's comment, it should appear "above the fold" so it won't be hidden from view. – Barry Cipra Mar 19 '15 at 21:59
12

This is also "computational" and not purely geometic. Let the side of the square be $1$. Let $O$ be the centre of the circle and $G$ be the middle of the segement $\overline{CB}$; then $r=\vert OB\vert$ is the radius of the circle and $1-r= \vert OG\vert $. By Pythagoras we have $(1-r)^2+(\frac{1}{2})^2=\vert OG\vert^2+\vert GB\vert^2=\vert OB\vert^2=r^2$ from which one gets $r=\frac{5}{8}$. Again one gets the same as in the answer by abel. PS I also would like to see a purely geometric argument.

user 59363
  • 1,434
  • 7
  • 10
  • The almost self-effacing comment doesn't do this justice. I wonder if some notion of Greek "geometric algebra" could render such "computational" proofs (including my own unnecessary addition to the thread - in the same vein, but overcomplicated) into a less "computational", more "geometric" form? But that's a controversial and underdeveloped area, and too much to explore in answers to specific problems, or in comments like this. – Calum Gilhooley Mar 17 '15 at 08:31
12

In the comments @Sid asked me to write this method down as an answer, even though it uses a formula.

If the students studied some Euclidean geometry, probably they know that the circumradius of a triangle with sides $a,b,c$ and area $S$ is $R=\frac{abc}{4S}$.

The circle drawn in the picture is the circumcircle of $BCE$. Let us choose units so that the square has side $2$ (to avoid denominators). Then $BE=CE=\sqrt{5}$, $BC=2$, $S_{BCE}=2$ are easy to find. Plugging them in the formula above, we get $R=\frac{5}{4}$.

So we have to compare $2\pi R = \frac{5}{2}\pi$ and $8$.

Federico Poloni
  • 3,186
  • 19
  • 31
  • 1
    I feel like this is the real answer high school kids would come up with, and the one they'd be expected to use. I think the key to OP's question is that he wanted to omit _complicated_ formulas. This one isn't complicated, it just requires that the students have covered circumcircles. Easily solvable under a minute with the right tool. – Shaz Mar 19 '15 at 20:11
11

This calculation uses only the upper limit on the value of pi calculated by Archimedes (22/7) and simplifies the algebra somewhat by using an intermediate distance value, that of the base ZM of the triangle ZMB.


Define points Z as the centre of the circle and M as the midpoint of the line segment BC.

Now applying Pythagoras to the triangle ZMB in terms of a (the length of the segment ZM) and r (radius of the circle) yields (since L, the side length of the square, $ = r + a$):
$$ r^2 - a^2 = (r + a)^2 / 4 $$ and dividing by (r + a) gives $$ r - a = (r + a) /4 $$ which upon rearrangement and substitution of L back in gives $$ 3r = 5a = 5 (L - r) $$ and finally $$ 8 r = 5 L $$ Then the ratio of the circumference of the circle to that of the square is obviously $$ ratio = 2 \pi r / (4 *(8/5) r) = 10 \pi / 32 = 5 \pi / 16 $$ However, since $\pi < 22/7$ (by Archimedes), the upper limit of this ratio is $$ ratio = 5 \pi / 16 < 5 * 22 / (16 * 7) = 110/112 \approx 0.98 $$

Therefore the square has the greater circumference.

Pieter Geerkens
  • 879
  • 5
  • 14
  • 1
    I might expect a high school student to prove division by $(r+a)$ is valid (neither are $\leq 0$). And $perimeter of square = 32/5 r = 6.4 r$ explicitly might make people happy. The ratio math to show that $6.4 > 2 \pi$ while cute might even be omitted at that point. – Yakk Mar 17 '15 at 13:39
11

You can solve this using just the quadratic formula and the equation of a circle, without bringing triangles, Pythagoras, or real geometric reasoning into it at all.

These are common enough hammers for all problems in high school, where everything turns out to be quadratic equations in disguise. Everything falls out nicely enough that it could even be what's intended.

  1. Assume a unit circle centred at the origin. $P_{\mathrm{circle}} = 2\pi$.
  2. $E$ is at $(-1, 0)$.
  3. $A$ is at $(-1, h)$.
  4. Note that $h$ is half the edge length of the square. $P_{\mathrm{square}} = 8h$.
  5. $B$ is thus at $(-1 + 2h, h)$. This expression makes the quadratic formula become trivial.
  6. Substitute these coordinates into $x^2 + y^2 = r^2$: $(-1 + 2h)^2 + h^2 = 1$.
  7. Expand and simplify: $5h^2 - 4h = 0$.
  8. So by the quadratic formula $h = {4 \pm \sqrt{(-4)^2 - 4 ~\cdot~ 5 ~\cdot~ 0} \over{2 ~\cdot~ 5}}$.
  9. The discriminant simplifies almost away to get ${4 \pm \sqrt{4^2 - 0} \over 10}$, where the square root is trivial.
  10. $h = {8\over10} \mathrm{~or~} {0\over 10}$.
  11. $h = 0.8 \rightarrow P_{\mathrm{square}} = 8h = 6.4$.
  12. $6.4 > 2\pi$.

Doing it this way also highlights the degenerate solution where the square's just a single point of mush on the perimeter of the circle, which is exactly the kind of detail I would have been expected to mention in an exam.

Michael Homer
  • 211
  • 1
  • 8
  • 4
    The equation of the unit circle is a special case of the Pythagorean theorem. – Jasper Mar 15 '15 at 20:02
  • The second case is where the square is point E, and the square's perimeter is zero. The circle still has its perimeter of 2π. – Jasper Mar 15 '15 at 20:07
  • @Jasper: Not generally taught as such in high school, though - they learn the equation just as a way of introducing graphs in x and y (at least I did). The other point, yes, of course, that was silly. – Michael Homer Mar 15 '15 at 20:17
  • 1
    The opening sentence is somewhat misleading. You must use the quadratic equation _and_ an reasonable approximation (more precisely upper bound) for the value of$~\pi$. – Marc van Leeuwen Mar 16 '15 at 13:33
9

Using standard exam guesses

This happens to boil down to a 3:4:5 right triangle, so guessing can be used to solve the problem.

  1. Use standard unit circle.
  2. Perimeter of unit circle = 2 ~ 6.283.
  3. Use standard unit circle (cartesian) coordinate system. Point E is at (-1, 0).
  4. Let point O be the center of the circle, at (0, 0).
  5. Let point F be the midpoint of the right side of the square.
  6. Consider a few possible shapes for the right triangle OFB:

45-45-90 right triangle
Does not work, because a square based on this triangle does not reach to the left edge of the unit circle.

30-60-90 right triangle
Height BC is √3.
Width AB=EF is 1.5.
Does not work, because it is not a square.

3:4:5 right triangle
Height BC is 2 * 0.8 = 1.6
Width AB=EF is 1 + 0.6 = 1.6
Works; this is a square. Square perimeter = 6.4 > Circle perimeter = 2 ~ 6.283.

5:12:13 right triangle Don't need to evaluate, because the 3:4:5 right triangle solved the problem.

8:15:17 right triangle Don't need to evaluate, because the 3:4:5 right triangle solved the problem.

Jasper
  • 384
  • 1
  • 9
9

You can show this with a ruler-and compass construction, in the spirit of Archimedes. Or, you can get the same result with simple trig and a calculator, measuring angles in degrees only, without using calculus or knowing the value of $\pi$.

As the other answers have shown, we are comparing the perimeters of a square of side 8 and a circle radius 5.

If we circumscribe a regular polygon with $n$ sides around a circle radius $r$ so that the circle touches the mid-point of each side, each side of the polygon is length $2r \tan (180/n)^\circ$ and the circumference of the polygon is $2nr \tan (180/n)^\circ$.

It is obvious (at high school level!) that the circumference of the polygon is longer than the circumference of the circle.

So, start by circumscribing a square around the circle, and keep doubling the number of sides till something interesting happens.

$r = 5$.

Square: $n = 4$, perimeter = $2 \times 5 \times 4 \tan 45^\circ = 40$, which is a sanity check when using the calculator, of course.

Octagon: $n = 8$, perimeter = $2 \times 5 \times 8 \tan 22.5^\circ = 33.1$.

16-gon: $n = 16$, perimeter = $160 \tan 11.25^\circ < 31.9$. So the inscribed circle perimeter is $< 31.9$, which is less than the perimeter of a square with side $8$.

For extra credit, get them to check this by making a scale drawing.

alephzero
  • 1,241
  • 7
  • 9
8

The problem is simply solved if the relative position of the center and the radius of the circle are known. The attached shows how they can be obtained.

enter image description here

Added:

Let the length of a side of the square be $L$. Then, the radius of the circle $= (\dfrac {5}{4}L) \times (\dfrac {1}{2})$.

$\dfrac {perimeter_{circle}}{perimeter_{square}} = ... = \dfrac {\pi}{3.2} \lt 1$.

Mick
  • 16,051
  • 4
  • 26
  • 52
  • 2
    This is good, but how do you know that AB' is exactly one quarter of AB? – curiousdannii Mar 15 '15 at 23:26
  • 2
    @curiousdannii By symmetry. Notice that (1) this question was given to high school student; and (2) “this problem is supposed to be very simple; it shouldn't require the student to know the formula …… to solve the problem without knowing any complicated geometric formulas”. – Mick Mar 16 '15 at 05:47
  • 1
    I've made use of your diagram in a comment on my own answer, proving that $AB' = A'B$ and $DC' = D'C$ - which I'd laboured to do before. Thank you for that! However, I don't understand how your diagram proves that $AB'$ is a quarter of $AB$. My argument also seemed to need a further step, in which I used Pythagoras to prove that the ratio is 4; was this step not necessary? – Calum Gilhooley Mar 16 '15 at 21:32
  • 2
    @CalumGilhooley You are welcome to do so. There are many ways to prove AB’ = AB/4 but most of them are tedious. The shortest (but not the simplest) way to prove that is by “power of a point” which, unfortunately, could be beyond the OP’s intention. – Mick Mar 17 '15 at 04:17
  • 2
    @CalumGilhooley To prove AB' = BA', we can do the following:- Let M and M’ be the midpoints of BC and B’C’ respectively. Then, AB’ = EM’ = ME’ = BA’. The middle equality comes from “Radius – distance from center to the midpoints of equal chords”. – Mick Mar 17 '15 at 04:42
  • 1
    @curiousdannii To supplement my answer to your query, I have added two more comments (in replying Calum Gilhooley’s). See above. – Mick Mar 17 '15 at 04:50
  • 1
    Funnily enough, I used the "distance from center to the midpoints of equal chords" argument in my first proof, but a different argument in the version inspired by your diagram! (+1) now that I understand your proof better (with a "d'oh!" moment when you mentioned the power of a point). – Calum Gilhooley Mar 17 '15 at 07:14
6

Another late entry (I just saw this question in the Hot Topics list), but I arrived at this solution before looking at the other answers. It roughly follows Sid's suggestion in the question; I don't think it's beyond the abilities of the high school students that the problem is aimed at.

Let the square's side length be 2, with the square centered on the origin, so the coordinates of the corners are (±1, ±1). B is (1, 1) and E is (-1, 0).

By symmetry, the centre of the circle M is on the X axis; let M be ($x$, 0).

Let $r$ be the radius of the circle.

$r = |ME| = x - -1 = x + 1$

By the Pythagorean distance formula:

$r^2 = |MB|^2 = (x - 1)^2 + (0 - 1)^2 = (x - 1)^2 + 1$

Thus $$\begin{align} (x + 1)^2 & = (x - 1)^2 + 1 \\ x^2 + 2x + 1 & = x^2 - 2x + 1 + 1 \\ 4x & = 1 \\ x & = \frac{1}{4} \\ r = x + 1 & = \frac{5}{4} \\ \end{align}$$

So the circumference $2\pi r = \frac{5\pi}{2}$. Now $\pi < \frac{22}{7}$ so the circumference is less than $\frac{5 \times 22}{2 \times 7} = \frac{55}{7}$, which is less than 8, the perimeter of the square.

No quadratic or obscure geometrical formulae required, nor the ability to magically see 3, 4, 5 triangles. :)

PM 2Ring
  • 4,461
  • 15
  • 26
6

Here's another proof:

  • Denote by $a$ the side of the square

  • Take the point $F$, like in the figure. Since $\angle CBF = 90^\circ$, it follows that $CF$ is a diamenter of the circle.

  • Then $\angle CEF = 90^\circ$ and triangles $\Delta DCE$ and $\Delta AEF$ are similar. This implies that $AF = a/4$ and thus $BF = 3a/4$,

  • Now, apply Pythagora's theorem to find $CF = 5a/4$. This gives the radius of the circle, and the answer can be found immediately.

enter image description here

Beni Bogosel
  • 22,358
  • 6
  • 64
  • 125
5

Redrawn diagram above. OP picture

The $\measuredangle$CDF is determined and is given by: $$\arctan(\frac{a}{a/2}) = 63.4 ^ \circ$$ Then the $\measuredangle$FDB can be determined as:

$(180 - 2\times63.4) ^ \circ = 53.2 ^ \circ$, because $\measuredangle$CDF is equal to $\measuredangle$EDB, and the three angles involved add up to $180^ \circ$.

We then have:

$\measuredangle$FAB is 2 times that of $\measuredangle$FDB by the incribed angle theorem.
$\measuredangle$FAG is 0.5 times that of $\measuredangle$FAB.

Hence, $\measuredangle$$FAG$ $=$ $\measuredangle$$FDB$ $=53.2 ^ \circ$.

Finally, in the right angled triangle FAG, we obtain the relationship between the radius $r$ and the side a of the square as: $$\sin\space(53.2 \space^ \circ) = \frac{a/2}{r}$$ From which it follows that: $1.25 \times a=2r$. Hence, the perimeter of the circle is $\pi 2r = 3.92 a$, which is less than $4a$, the perimeter of the square.

Glorfindel
  • 3,929
  • 10
  • 24
  • 36
5

A little late to the party, but a slight variation:

I drew the same diagram as Steven Stadnicki, but used it differently to find the diameter of the circle:

enter image description here

Define $s = |AB|$, the length of a side of the square.

Draw the diameter from $E$, intersecting the square at $G$ and the circle at $F$. Clearly $|EG|=s$ and $|BG| = s/2$.

Consider the triangles $\triangle EBG$ and $\triangle EBF$. These are both right angle triangles with the common angle at $E$, so are similar. Therefore $\dfrac{|BE|}{|EG|} = \dfrac{|EF|}{|BE|}$, so $ |EF| = \dfrac {|BE|^2}{s}$.

By Pythagorus, $|BE|^2 = s^2 + (\frac{1}{2}s)^2 = \frac{5}{4}s^2$. So $|EF| = \frac{5}{4}s$.

Then the perimeter of the square, $4s = \frac{16}{5}\frac{5}{4}s = 3.2\frac{5}{4}s$, is greater than $\pi\frac{5}{4}s$, the perimeter of the circle.

Joffan
  • 38,461
  • 5
  • 42
  • 78
4

Let the circle be the unit circle. Consider the square of equal perimeter: it has side length $\pi/2$. Align this square so that the midpoint of its left side touches the leftmost point of the unit circle. Where is the upper right corner of the square? It has location $(-1+\pi/2,\pi/4)$, which is at distance $\sqrt{1-\pi+5\pi^2/16}<1$ (since $\sqrt{1-\pi+5\pi^2/16}=\sqrt{1-\pi(1-5\pi/16)}$, and $5\pi/16<5*3.2/16=1 \implies 1-5\pi/16>0 \implies 1-\pi(1-5\pi/16)<1$) from the center of the circle. Hence you must make this square bigger to get it to touch the circle. Thus the square of the original problem is bigger, and so it has bigger perimeter than the circle.

enter image description here

Sesquipedal
  • 513
  • 2
  • 10
1

Here's another co-ordinates-free approach:

In the OP's diagram, let the centre of the circle be $O$ then clearly triangle $AOE$ is congruent to triangle $OED$ and triangle $ABO$ is congruent to triangle $CDO.$ Further, $AB, OE$ and $DC$ are all parallel. Together this implies that the area of trapezium $ABOE$ is equal to that of trapezium $CDEO.$ Clearly the area of both the trapeziums plus the isosceles triangle $BOC$ is equal to the area of the square. If the radius of the circle is $r$ so that $EO=OB=OC=r$ we then have:

$\Rightarrow \text{Ar}[ABOE] + \text{Ar}[CDEO] + \text{Ar}[BOC] = \text{Ar}[ABCD]$

$\Rightarrow 2(r+AD)\dfrac{AD}{2} + \dfrac{AD}{2}\left(\sqrt{r^2-\dfrac{AD^2}{4}}\right)= AD^2$

$\Rightarrow r =\dfrac{5AD}{8}$

$\Rightarrow \dfrac{\text{perimeter of square}}{\text{circumference of circle}} =\dfrac{4AD}{\dfrac{5\pi AD}{4}} = \dfrac{16}{5\pi}>1$

Aryaman Jal
  • 1,417
  • 10
  • 13
1

In this solution the green line is a perpendicular bisector of the blue line. Thus it intersects the y-axis at the center of the circle.

(Sorry for using absolute size of everything. I beg your indulgence in this regard. The idea should still be clear, if not clearer.)

enter image description here

Magnus
  • 121
  • 3
0

$p(c)$ is the perimeter of the circle $(p(c) \ne 0)$ , $p(s)$ is the perimeter of the square $(p(s) \ne 0)$ from the diagram $2r > AB$ hence : \begin{align} 4 \pi (2r) > 4\pi (AB) \\ \frac {p(s)}{p(c)} > \frac {4}{\pi} >1 \end{align}

Because $\frac {p(s)}{p(c)}>1$ , then $p(s)>p(c)$.