2019-02-05 06:58:53 8 Comments

I think I have found out some property of an ellipse. Define the following:

- The point $P$ belongs to the ellipse.
- The tangent line $\ell$ goes through $P$.
- The point $F$ is one of the
*foci*. - The line $m$, through $F$, is perpendicular to the line $\ell$ at point $I$.
- $A$ and $B$ are the vertices of the ellipse (that is, the endpoints of the major axis).

In this case,

The $\angle AIB$ is always $\pi/2$. (I think.....)

But I didn't prove yet...

- Is it true?
- Could anybody give me some advice?

Thanks in advance.

**Edit1** For jmerry

**Edit2** For jmerry

Really thanks, makes me fun!

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### How to show that the angle at intersections of concentric ellipses with a radial line is constant?

**2018-12-27 09:55:40****Owen****57**View**1**Score**1**Answer- Tags: geometry conic-sections

#### 4 Answered Questions

### [SOLVED] Finding value of $c+d$

**2017-11-28 04:47:43****DXT****230**View**5**Score**4**Answer- Tags: geometry conic-sections

#### 3 Answered Questions

### [SOLVED] Is this circle always interior to ellipse?

**2017-03-06 23:58:27****Hiiii****70**View**1**Score**3**Answer- Tags: geometry conic-sections

#### 0 Answered Questions

### Problem in solving a question of conics.

**2016-05-02 04:22:42****user251057****27**View**0**Score**0**Answer- Tags: geometry

#### 2 Answered Questions

### [SOLVED] Ratios of the major axes of ellipses inscribed in a triangle

**2016-02-10 23:28:06****user260674****547**View**4**Score**2**Answer- Tags: geometry trigonometry

#### 1 Answered Questions

### Construction of major and minor axes of an ellipse given only 2 focus points($F_1,F_2$) and a point $P$ that is on the ellipse.

**2016-03-22 10:03:53****Danxe****550**View**0**Score**1**Answer- Tags: geometry geometric-construction

#### 2 Answered Questions

### [SOLVED] If the tangent at the point $P$ of an ellipse $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$ meets the major axis and minor axis at $T$ and $t$ respectively

**2016-03-18 15:48:05****Brahmagupta****972**View**1**Score**2**Answer- Tags: geometry trigonometry conic-sections

#### 1 Answered Questions

### [SOLVED] Conics - Locus of points

**2015-11-11 16:00:35****wrb98****157**View**2**Score**1**Answer- Tags: geometry conic-sections locus

#### 1 Answered Questions

### [SOLVED] Ellipse and two tangent lines

**2015-11-12 12:28:30****user186421****157**View**2**Score**1**Answer- Tags: geometry analytic-geometry curves

#### 1 Answered Questions

### Non-trigonometric/vector way of solving a property of a tangent line on an ellipse

**2012-10-15 20:52:12****W12****101**View**0**Score**1**Answer- Tags: geometry conic-sections

## 3 comments

## @Kamil Maciorowski 2019-02-05 21:47:44

Not a strict proof, an interesting observation though.

There is a method to draw an ellipse by folding paper. See this video:

Folding a Circle into an Ellipse. In case the link dies, of if you want more information, search for`folding paper ellipse`

or so.The method goes like this:

In the question you're working

in reverse! You have the ellipse, you have $F$ and $G$. You choose some $l$ and find corresponding $J$. All possible $J$-like points should then form a circle which I denote $\mathcal{J}$; we expect $G$ to be its center.How about $I$ and all possible $I$-like points (the set I denote $\mathcal{I}$)? From the fact that $\overrightarrow{FI} = \frac 1 2 \overrightarrow{FJ}$ we conclude $\mathcal{I}$ should be a homogeneous dilation of $\mathcal{J}$ with the center $F$ and the ratio $\frac 1 2$. So all possible $I$-like points also form a circle. Applying the dilation to the center of the circle $\mathcal{J}$ (i.e. to the point $G$) we obtain the center of the circle $\mathcal{I}$. In your case it's the origin $O$.

Now consider tangent lines at $A$ and at $B$. It's easy to see these two points must belong to $\mathcal{I}$. Knowing $O$ is the center of $\mathcal{I}$, we conclude $AB$ is the diameter.

Your $I$ is on the circle $\mathcal{I}$, the diameter is $AB$. Therefore $\angle AIB = \frac \pi 2$.

## @jmerry 2019-02-05 07:16:13

Yes, it's true.

Some advice: the locus of all points $I$ such that $\angle AIB$ is a right angle is the circle with diameter $AB$. So, then, if you can show that $OI=OA=OB$ where $O$ is the center of the ellipse, you'll have it.

Next, add some more things to your diagram. The other focus (let's call it $G$) looks like a good place to start - after all, that lets us use nice facts like the segments from $P$ to the two focuses making the same angle to the tangent line $\ell$, and that $PF+PG=AB$.

So now, how can you use those facts? Don't be afraid to extend lines and find new intersections.

[Added in edit]

All right, you've drawn some more things in, and some equal angles. Since we're looking at $I$ in particular, how about naming that point where $GP$ and $FI$ intersect? You've already labeled an angle there, so naming the point will make it easier to work with.

(I called it $J$ in my diagram)

Oh, and since we're interested in the length of $OI$, that's another segment we should draw.

## @user143993 2019-02-05 07:34:06

I would like to listen more about "Next ~ intersections." Could you please check my edited question?

## @user143993 2019-02-05 07:36:01

I have just added another diagram.

## @jmerry 2019-02-05 09:01:22

Huh - never heard that name before. Of course, the theorem I was thinking of, attributed to Thales, is far older than Monge.

## @Jean Marie 2019-02-06 21:22:09

The circle you mention in your first sentence is not Monge's circle as I thought at first but the "auxiliary circle" (I have found back its name just now) : mathworld.wolfram.com/AuxiliaryCircle.html

## @user636441 2019-02-05 07:26:08

Hint: The only way for the angle $AIB$ to always be $\frac{\pi}{2}$ is if the point $I$ lies along a circle with radius $|B|$ (Check out Thales's Theorem). In other words, the distance from

Ito the origin must be constant.## @user143993 2019-02-05 07:42:58

Thanks a lot. Can I have more hint for proving OI=OA, where O is the origin

## @user636441 2019-02-05 07:52:15

If you have an expression for the $x$ coordinate of I and the $y$ coordinate of $I$, then showing $\sqrt{x^2 + y^2} = Constant = |A|$ is sufficient. I'm sure there is a much more elegant way to do it geometrically but one way is to express the top half of the ellipse as a function and then calculate a general tangent line to the ellipse (using its derivative) and find a line normal to the tangent (by reciprocating the slope of the tangent line) that goes through the focus. Then find where the tangent and the normal intersect, that is the coordinates for $I$.

## @user636441 2019-02-05 07:52:21

Note: if you have proven it for the top half, it must be true for the bottom half as well (by symmetry)

## @user143993 2019-02-05 08:18:15

Thanks for helping! Really thanks.