Square on a Parabola

Calculus Level 3

What is the minimum possible area of a square that has three of its vertices on the parabola y = x 2 y = x^2 and its fourth vertex outside of the parabola?


Bonus: Find the golden ratio along the way.


The answer is 27.

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.

3 solutions

David Vreken
Nov 7, 2018

Let ( p , p 2 ) (p, p^2) be the coordinates of the leftmost vertex of the square, ( q , q 2 ) (q, q^2) be the coordinates of the topmost vertex of the square, and ( r , r 2 ) (r, r^2) be the coordinates of the bottommost vertex of the square, as shown below:

Then the slope between p p and q q is m = m 1 = p 2 q 2 p q = p + q m = m_1 = \frac{p^2 - q^2}{p - q} = p + q , and the slope between p p and r r is m 2 = p 2 r 2 p r = p + r m_2 = \frac{p^2 - r^2}{p - r} = p + r . These slopes are perpendicular, so m 1 m 2 = 1 m_1m_2 = -1 . Also, the sides s s of the square are congruent, so the area A A is A = s 2 = ( p q ) 2 + ( p 2 q 2 ) 2 = ( p r ) 2 + ( p 2 r 2 ) 2 A = s^2 = (p - q)^2 + (p^2 - q^2)^2 = (p - r)^2 + (p^2 - r^2)^2 . Solving these equations in terms of m m for m > 0 m > 0 gives us p = m 3 + 1 2 m ( m 1 ) p = \frac{m^3 + 1}{2m(m - 1)} , q = m 3 2 m 2 1 2 m ( m 1 ) q = \frac{m^3-2m^2-1}{2m(m-1)} , r = m 3 + 2 m 1 2 m ( m 1 ) r = -\frac{m^3+2m-1}{2m(m-1)} , and A = ( m 2 + 1 ) 3 m 2 ( m 1 ) 2 A = \frac{(m^2+1)^3}{m^2(m-1)^2} for m 1 m \neq 1 . (When m < 0 m < 0 these equations make the fourth vertex inside the parabola.)

For m > 0 m > 0 and m 1 m \neq 1 , d A d m = 2 m ( m + 1 ) ( m 2 3 m + 1 ) m 4 ( m 1 ) 3 \frac{dA}{dm} = \frac{2m(m+1)(m^2-3m+1)}{m^4(m-1)^3} and d 2 A d m 2 > 0 \frac{d^2A}{dm^2} > 0 , so the minimum area occurs when m 2 3 m + 1 = 0 m^2 - 3m + 1 = 0 , or at m = 3 ± 5 2 m = \frac{3 \pm \sqrt{5}}{2} (which in terms of the golden ratio ϕ = 1 + 5 2 \phi = \frac{1 + \sqrt{5}}{2} , m = ϕ 2 m = \phi^2 and m = ϕ 2 3 m = \phi^2 - 3 ). Both of these values of m m give symmetrical coordinates for the square and an area of A = 27 A = \boxed{27} .

If we use the following points : A(0,0), B(-1,1), C(1,1) (those three points are on the parabola), and D(0,2), the area of square ABDC is 2. As "outside of the parabola" is not clearly defined, I would say the answer is 2.

Gerard Boileau - 2 years, 6 months ago

Log in to reply

That's not a square since one side has a length root 2 and another side is 2.

Paul McNally - 2 years, 6 months ago

Log in to reply

Maybe I am wrong somewhere (if yes, please tell me), but points A(0,0), B(-1,1), C(1,1) and D(0,2) draw a square : AB=AC=CD=CB=sqrt(2) and AB=BC=2 (4 equal sides and 2 equal diagonals). And the 3 first points are on the parabola.

Gerard Boileau - 2 years, 6 months ago

Log in to reply

@Gerard Boileau Your right. The points A ( 0 , 0 ) A(0,0) , B(1,1), C(-1,1)) and D ( 0 , 2 ) D(0,2) do form a square, but the problem states the fourth point is outside the parabola.

When I first solved the problem I totally missed the fact that the problem stated that the fourth point was outside the parabola, so I arrived at the same result you did. When I noticed the problem stated that the fourth point was outside the parabola, then I realized my mistake and and did the problem again. At first I insisted that the area was equal to 2 2 units, and after rereading the problem several times I finally noticed what the problem actually stated.

Rocco Dalto - 2 years, 6 months ago

Your wrong. The points A ( 0 , 0 ) , B ( 1 , 1 ) , C ( 1 , 1 ) A(0,0), B(1,1), C(-1,1) and D ( 0 , 2 ) D(0,2) do form a square, but the problem states the fourth point is outside the parabola.

Rocco Dalto - 2 years, 6 months ago

Log in to reply

@Rocco Dalto The point is : what does "outside of the parabola"mean ? I would say a parabola is a line, so "outside" just means that the fourth point is not on the parabola's graph.

Gerard Boileau - 2 years, 6 months ago

Log in to reply

@Gerard Boileau I agree with you. I also obtained the fourth point as ( 0 , 2 ) (0,2) and the A s q u a r e = 2 A_{square} = 2 . When it was wrong, I reread the problem and realized it stated "the fourth point was outside the parabola. I was confused as to how a parabola has an inside and an outside, but then decided that ( 0 , 2 ) (0,2) was inside meant there was an outside point which would minimize the square with a different side length. I think the problem is vague at best. My intention was to solve the problem so I assumed that there was an inside and an outside of a parabola..

Rocco Dalto - 2 years, 6 months ago

Is there some way to use vectors for this, maybe with the complex definition of a parabola? ie. for the three vertices of the square a, b, c, d represented by complex numbers, (b-a) = i(c-b) = -(d-c) = -i(a-d). And for the three points on the parabola, |z-1/4 i| = Im(z + 1/4 i), while the fourth point is |z-1/4 i| < Im(z + 1/4 i). I'm not sure where you would go after that though.

Zac Mann - 2 years, 6 months ago

@David Vreken : Could you please explain how you got the 3 equations in terms of 'm'? Thanks

Ramasamy Pullappan - 2 years, 6 months ago

Log in to reply

Here's how to get p p in terms of m m :

( p q ) 2 + ( p 2 q 2 ) 2 = ( p r ) 2 + ( p 2 r 2 ) 2 (p - q)^2 + (p^2 - q^2)^2 = (p - r)^2 + (p^2 - r^2)^2

( p q ) 2 ( 1 + ( p + q ) 2 ) = ( p r ) 2 ( 1 + ( p + r ) 2 ) (p - q)^2(1 + (p + q)^2) = (p - r)^2(1 + (p + r)^2)

( p q ) 2 ( 1 + m 2 ) = ( p r ) 2 ( 1 + 1 m 2 ) (p - q)^2(1 + m^2) = (p - r)^2(1 + \frac{1}{m^2})

( p q ) 2 ( 1 + m 2 ) m 2 = ( p r ) 2 ( 1 + m 2 ) (p - q)^2(1 + m^2)m^2 = (p - r)^2(1 + m^2)

( p q ) 2 m 2 = ( p r ) 2 (p - q)^2m^2 = (p - r)^2

( p ( m p ) ) 2 m 2 = ( p ( p 1 m ) ) 2 (p - (m - p))^2m^2 = (p - (-p - \frac{1}{m}))^2

( 2 p m ) 2 m 2 = ( 2 p + 1 m ) 2 (2p - m)^2m^2 = (2p + \frac{1}{m})^2

( 2 p m ) 2 m 4 = ( 2 m p + 1 ) 2 (2p - m)^2m^4 = (2mp + 1)^2

( 4 p 2 4 m p + m 2 ) m 4 = 4 m 2 p 2 + 4 m p + 1 (4p^2 - 4mp + m^2)m^4 = 4m^2p^2 + 4mp + 1

4 m 4 p 2 4 m 5 p + m 6 = 4 m 2 p 2 + 4 m p + 1 4m^4p^2 - 4m^5p + m^6 = 4m^2p^2 + 4mp + 1

( 4 m 4 4 m 2 ) p 2 ( 4 m 5 + 4 m ) p + m 6 1 = 0 (4m^4 - 4m^2)p^2 - (4m^5 + 4m)p + m^6 - 1 = 0

4 m 2 ( m 2 1 ) p 2 4 m ( m 4 + 1 ) p + m 6 1 = 0 4m^2(m^2 - 1)p^2 - 4m(m^4 + 1)p + m^6 - 1 = 0

( 2 m ( m 1 ) p ( m 3 + 1 ) ) ( 2 m ( m + 1 ) p ( m 3 1 ) ) = 0 (2m(m - 1)p - (m^3 + 1))(2m(m + 1)p - (m^3 - 1)) = 0

p = m 3 ± 1 2 m ( m 1 ) p = \frac{m^3 \pm 1}{2m(m \mp 1)}

After getting p p in terms of m m , the other variables can be solved by substitution. I hope this helps!

David Vreken - 2 years, 6 months ago

Log in to reply

Fantastic! Thank you very much

Ramasamy Pullappan - 2 years, 6 months ago

A really great problem that took me busy for quite a while. Finally I solved it!

K T - 1 year, 9 months ago
Alon Amit
Nov 20, 2018

I’ve used a slightly different parametrization. Every square in the plane has coordinates ( a + u , b + v ) , ( a u , b v ) , ( a v , b + u ) , ( a + v , b u ) (a+u,b+v),(a-u,b-v),(a-v,b+u),(a+v,b-u) . The square is centered at ( a , b ) (a,b) and its half diagonal is ( u , v ) (u,v) .

Having three vertices on the parabola provides three equations, and they can be transformed into

u = 4 a 2 + 1 4 a 2 1 , v = 2 a u u=\frac{4a^2+1}{4a^2-1}, v=2a u

with the proviso that a > 1 / 2 a>1/2 .

We wish to minimize u 2 + v 2 u^2+v^2 , which is

u 2 + v 2 = ( 4 a 2 + 1 ) 3 ( 4 a 2 1 ) 2 u^2+v^2=\frac{(4a^2+1)^3}{(4a^2-1)^2}

And the minimum (in the allowed domain) is 27 2 \frac{27}{2} , corresponding to a square of area 27.

Great, simple solution!

David Vreken - 2 years, 6 months ago

An elegant solution to an elegant problem! I thought I had a winner at (-1,1),(0,1),(1,1),(0,0) But then reread the conditions

Peter Kron - 2 years, 6 months ago
Mark Hennings
Nov 19, 2018

If the diametrically opposite corners of a square are ( a , a 2 ) (a,a^2) and ( b , b 2 ) (b,b^2) , with a b a \neq b , then the other two corners have coordinates ( 1 2 ( a + b + a 2 b 2 ) , 1 2 ( b a + a 2 + b 2 ) ) ( 1 2 ( a + b + b 2 a 2 ) , 1 2 ( a b + a 2 + b 2 ) ) \left(\tfrac12(a+b+a^2-b^2),\tfrac12(b-a+a^2+b^2)\right) \hspace{2cm}\left(\tfrac12(a+b+b^2-a^2),\tfrac12(a-b+a^2+b^2)\right) For the first of these to lie on the parabola, we require that 0 = ( a + b + a 2 b 2 ) 2 2 ( b a + a 2 + b 2 ) 0 \; = \; (a+b + a^2 - b^2)^2 - 2(b-a + a^2 + b^2) which simplifies to give a b = 2 ( 1 + u 2 ) 1 u 2 a + b = u a - b \; = \; \frac{2(1+u^2)}{1-u^2} \hspace{1.5cm} a + b \; = \; u where u 2 1 u^2 \neq 1 . For the second of these points to lie outside the parabola, we require that 0 < ( a + b + b 2 a 2 ) 2 2 ( a b + a 2 + b 2 ) 0 \; < \; (a + b + b^2 - a^2)^2 - 2(a -b + a^2 + b^2) which simplifies to give 8 ( 1 + u 2 ) 2 1 u 2 > 0 -\frac{8(1+u^2)^2}{1-u^2} \; > \; 0 and hence u 2 > 1 u^2 > 1 . The area of the square is 1 2 ( ( a b ) 2 + ( a 2 b 2 ) 2 ) = 2 ( 1 + u 2 ) 3 ( 1 u 2 ) 2 \tfrac12\big((a-b)^2 + (a^2-b^2)^2\big) \; = \; \frac{2(1+u^2)^3}{(1-u^2)^2} Thus we need to minimize A ( t ) = 2 ( 1 + t ) 3 ( 1 t ) 2 t > 1 A(t) \; = \; \frac{2(1+t)^3}{(1-t)^2} \hspace{2cm} t > 1 Since d A d t = 2 ( 1 + t ) 2 ( 5 t ) ( 1 t ) 3 \frac{dA}{dt} \; = \; \frac{2(1+t)^2(5-t)}{(1-t)^3} we see that A A is minimized when t = 5 t=5 , giving a minimum area of 27 \boxed{27} .

Beautiful solution!

David Vreken - 2 years, 6 months ago

What about square (0,0),(1,1),(0,2),(-1,1)?

Александр Щербиций - 2 years, 6 months ago

Log in to reply

That one has the fourth vertex inside the parabola (on the same side of the parabola as the focus). Solutions with fourth vertex inside the parabola are ones for which u 2 < 1 u^2<1 . Your particular solution goes with u = 0 u=0 .

Mark Hennings - 2 years, 6 months ago

Yes, I also got confused with that. I think it wasn't very good stated cause I understood, as I think you also did, that the forth vertex must only lie not in the arc of the parábola as the others.

Pau Cantos - 2 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...