Elliptic Curve?

Calculus Level 3

Consider the family of ellipses E r : x 2 + a y 2 = r 2 r > 0. E_r:\ x^2 + ay^2 = r^2\ \ \ \ \ r > 0. If the graph of y = x 3 y = x^3 intersects all E r E_r perpendicularly, how much is a a ?


The answer is 3.

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

Arjen Vreugdenhil
Apr 24, 2016

Relevant wiki: First Order Differential Equations - Problem Solving

I will solve the problem more generally, and derive an equation for any curve that is perpendicular to the E r E_r at all its points.

Let ( x , y ) (x,y) be a point on E r E_r . Then the tangent to E r E_r at this point satisfies 2 x d x + 2 a y d y = 0 d y d x E r = x a y . 2x\:dx + 2ay\:dy = 0\ \ \ \therefore\ \ \ \left.\frac{dy}{dx}\right|_{E_r} = -\frac{x}{ay}. If a curve K K is perpendicular to E r E_r , then it must satisfy d y d x E r d y d x K = 1 d y d x K = a y x . \left.\frac{dy}{dx}\right|_{E_r}\cdot \left.\frac{dy}{dx}\right|_K = -1\ \ \ \therefore\ \ \ \left.\frac{dy}{dx}\right|_K = \frac{ay}{x}. This is a differential equation for K K . We solve it by separating the variables, then integrating: 1 a d y y = d x x 1 a ln y = ln x + c y = C x a . \frac 1 a \frac{dy}{y} = \frac{dx}{x}\ \ \ \therefore\ \ \ \frac 1 a\ln {|y|} = \ln{|x|} + c \ \ \ \therefore\ \ \ y = C\:x^a. (In fact, we can "glue" together any solutions for x < 0 x < 0 and for x > 0 x > 0 .)

Clearly, if y = x 3 y = x^3 is one of these curves, we must have a = 3 a = \boxed{3} .

I don't know if this is correct, but I share. Hope I explain properly, I don't speak good english

Let be f ( x , y ) = x 2 + a y 2 f(x,y)= x^2+ay^2 and g ( x , y ) = x 3 y g(x,y) = x^3-y

Also, let L h ( c ) = { x R n : h ( x ) = c } L_h(c) = \{ x \in \mathbb{R}^n : h(x) = c \} for some function h h . Notice that L f ( r 2 ) L_f(r^2) are our elipses and L g ( 0 ) L_g(0) our curve.

Suppose L f ( r 2 ) L_f(r^2) is perpendicular to L g ( 0 ) L_g(0) for all r S r \in S Then the tangent lines to those curves from the intersection point ( x y , y 0 ) (x_y,y_0) are perpendicular.

Be have that if ( x 0 , y 0 ) L f ( r 2 ) (x_0,y_0) \in L_f(r^2) then f ( x 0 , y 0 ) \bigtriangledown f(x_0,y_0) is perpendicular to the tangent from ( x 0 , y 0 ) (x_0, y_0) of L f ( r 2 ) L_f(r^2)

But then f ( x 0 , y 0 ) \bigtriangledown f(x_0,y_0) is parallel to the tangent from ( x 0 , y 0 ) (x_0, y_0) of L g ( 0 ) L_g(0) . We know that the tangent vector from ( x 0 , y 0 ) (x_0,y_0 ) to L g ( 0 ) \ L_g(0) is ( 1 , 3 x 0 2 ) (1, 3x_0^2) .

So, we finally have (using y 0 = x 0 3 y_0 = x_0^3 ):

f ( x 0 , y 0 ) = λ ( 1 , 3 x 0 2 ) \bigtriangledown f(x_0,y_0) = \lambda (1, 3 x_0^2)

( 2 x 0 , 2 a x 0 3 ) = λ ( 1 , 3 x 0 2 ) (2x_0, 2ax_0^3)= \lambda (1, 3 x_0^2)

2 x 0 ( 1 , a x 0 2 ) = λ ( 1 , 3 x 0 2 ) 2x_0 (1, ax_0^2) = \lambda (1,3x_0^2)

And is clearly λ = 2 x 0 \lambda = 2x_0 which gives us a = 3 \boxed{ a = 3}

Jesse Nieminen
Apr 28, 2016

E r : x 2 + a y 2 = r 2 , r > 0 E_r : x^2 + ay^2 = r^2, r > 0 and y = x 3 y = x^3 intersect perpendicularly.

Let's find the derivatives.

E r : 2 x + 2 a y y = 0 y = x a y {E_r}' : 2x + 2ayy' = 0 \Rightarrow y' = -\frac{x}{ay} and y = 3 x 2 y' = 3x^2 .

They intersect perpendicularly, and therefore there must exist an infinite number of x x and y y for which y = 3 a x 3 y = \frac{3}{a}x^3 since there is an infinite number of possible values for r r and because no pair of ellipses in the family can intersect each other.

However, we already know that y = x 3 y = x^3 , so there must be an infinite number of x x and y y for which x 3 = 3 a x 3 x^3 = \frac{3}{a}x^3 holds. But now we notice that if a 3 a \neq 3 , the equation has a finite number of solutions. Hence, a = 3 a = \boxed{3} .

Moderator note:

A slight point to note, you haven't shown that the curves must intersect each other perpendicularly. What you have shown is that "If a point (that satisfies y = 3 a x 3 y = \frac{3}{a} x^3 ) is an intersection of both curves, then the intersection will be perpendicular". Thus, we have to show that y = x 3 y = x^3 intersects the family E r E_r in order for this sufficient condition to become a necessary condition.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...