tangent line to circle Theorem

[logistic_guy]

Prove the theorem by contradiction.



Hint: Assume the line $\displaystyle m$ is not perpendicular to the the segment $\displaystyle \overline{QP}$. Then assume the line $\displaystyle m$ is not tangent to the circle.

 

[topsquark]

Are you going to show some work, or is this just going to be another list of problems to waste our time on?

-Dan

 

[logistic_guy]

Professor Dan is in hereit's an honor. But I don't think that you are serious in helping me.

Are you going to show some work,

Of course. I know that you are here not to help me but I will give you some work because it is very rare to see a reply from you since the exposure of my identity.

Hint: Assume the line $\displaystyle m$ is not perpendicular to the the segment $\displaystyle \overline{QP}$.

Here is my attempt. Okay, I assumed that it is not perpendicular, so what is the big deal of this assumption? I also provided a diagram of my assumption to show you how serious I am.

 

[fresh_42]

Non-tangent means secant, which means a proper triangle, which means no right angles.

The rest are technical details.

 

[logistic_guy]

Welcome professor Stefan.

Non-tangent means secant, which means a proper triangle, which means no right angles.

The discussion is now about the non-perpendicular assumption. When I prove it is perpendicular by contradiction, then I use this fact and the second assumption to prove it is tangent (this part should involve the secant).

I used the first assumption which means I assumed that the line $\displaystyle m$ is not perpendicular to the segment $\displaystyle \overline{QP}$. I don't see any information that contradict this fact. What about you? Do you see?

 

[logistic_guy]

@topsquark
You could not help me. If you are not good in Geometry, why not just stick with RELATIVITY and DEs?

 

[logistic_guy]

If we assume that the segment $\displaystyle \overline{QP}$ is not perpendicular to the line $\displaystyle m$, then there must be a point on $\displaystyle m$ say $\displaystyle k$ such that the segment $\displaystyle \overline{Qk}$ is perpedicular to $\displaystyle m$.


In a right triangle the segment $\displaystyle \left(\overline{QP}\right)$ that is opposite to the $\displaystyle 90^{\circ}$ angle must be the longest leg. It is not the case here. If the segment $\displaystyle \overline{QP}$ is longer than the segment $\displaystyle \overline{Qk}$, the segment $\displaystyle \overline{Qk}$ must lie inside the circle which contradicts our assumption. Then, the segment $\displaystyle \overline{QP}$ is perpedicular to the line $\displaystyle m$.

Part one has been proved, but we have not yet proved that the line $\displaystyle m$ is tangent to the circle. That would be done in the next Episode.

 

[logistic_guy]

If the line $\displaystyle \textcolor{red}{m}$ is not tangent to the circle, then it must be secant.

Then, we have this geometry:



We have already proved that $\displaystyle \overline{QP}$ is perpedicular to $\displaystyle \textcolor{red}{m}$, then the angle $\displaystyle \angle \text{QPR} = 90^{\circ}$. From the geometry of the triangle we see that the segment $\displaystyle \overline{QR} = \overline{QP}$, then $\displaystyle \angle \text{QRP} = \angle\text{QPR} = 90^{\circ}$. This gives the sum of the angles to exceed $\displaystyle 180^{\circ}$ which contradicts our assumption. Then, line $\displaystyle \textcolor{red}{m}$ is tangent to the circle.

 

[khansaheb]

Prove the theorem by contradiction.

View attachment 39431

Hint: Assume the line $\displaystyle m$ is not perpendicular to the the segment $\displaystyle \overline{QP}$. Then assume the line $\displaystyle m$ is not tangent to the circle.

We need to assume that

the line m and the circle Q has at least one point in common

 

[Aion]

The only issue I see is that your assumptions in each part of the proof are not entirely clear. You are being asked to prove the following:

A line is tangent to a circle if and only if it is perpendicular to the radius at the point of intersection.

Define $P$: "A line $L$ is tangent to a circle at point $T$", and $Q$: "The line $L$ is perpendicular to the radius at point $T$".

We now want to prove $P \Rightarrow Q$. That is, assume $P$ and $\neg Q$, and derive a contradiction.

In words: Assume there exists a line $L$ that is tangent to a circle at point $T$, but is not perpendicular to the radius through $T$.

For the converse direction, $Q \Rightarrow P$, suppose $Q$ and $\neg P$; that is, assume the line $L$ is perpendicular to the radius at the point of intersection $T$, but that $L$ is not tangent to the circle. This assumption should lead to a contradiction.

 

[logistic_guy]

Define $P$: "A line $L$ is tangent to a circle at point $T$",

Your statement here is like: Hey guys I am given line $\displaystyle m$ that is tangent to the circle at point $\displaystyle P$, but I will change its name to $\displaystyle L$ and I will change the point $\displaystyle P$ to $\displaystyle T$. Then I will assume that this line is tangent to the circle. You are not assuming anything here because the line is already tangent to the circle. You are only changing its name and its point which will not affect anything.

 

[logistic_guy]

You should write here:

In words: You are given a line $L$ that is tangent to a circle at point $T$, but assume that it is not perpendicular to the radius through $T$.

This would make more sense. But the hint was very clear. It wants you to prove it is perpendicular.

Then, the second proof (will use the first proof) and can be written as:

In words: You are given a line $L$ that is perpendicular to the radius through $T$, but assume that it is not tangent to the circle at $T$.

 

[logistic_guy]

The only issue I see is that your assumptions in each part of the proof are not entirely clear.

Tell me what exactly was not clear? I am not an expert like you in Geometry and Trigonometry but I can enlighten you as I have studied this proof for one month!

 

[logistic_guy]

The only issue I see is that your assumptions in each part of the proof are not entirely clear. You are being asked to prove the following:

A line is tangent to a circle if and only if it is perpendicular to the radius at the point of intersection.

Define $P$: "A line $L$ is tangent to a circle at point $T$", and $Q$: "The line $L$ is perpendicular to the radius at point $T$".

We now want to prove $P \Rightarrow Q$. That is, assume $P$ and $\neg Q$, and derive a contradiction.

In words: Assume there exists a line $L$ that is tangent to a circle at point $T$, but is not perpendicular to the radius through $T$.

For the converse direction, $Q \Rightarrow P$, suppose $Q$ and $\neg P$; that is, assume the line $L$ is perpendicular to the radius at the point of intersection $T$, but that $L$ is not tangent to the circle. This assumption should lead to a contradiction.

I am not against your idea here. It is perfectly fine. Only this should be changed

In words: You are given a line $L$ that is tangent to a circle at point $T$, but assume that it is not perpendicular to the radius through $T$.

You are given the line $L$ to be perpendicular to the radius at the point of intersection $T$, but assume that $L$ is not tangent to the circle.

The idea is that you cannot assume that the Earth has one Moon when it is a fact that it has one Moon. I hope that you understood my point.

 

[Aion]

I am not against your idea here. It is perfectly fine. Only this should be changed

In words: You are given a line $L$ that is tangent to a circle at point $T$, but assume that it is not perpendicular to the radius through $T$.

You are given the line $L$ to be perpendicular to the radius at the point of intersection $T$, but assume that $L$ is not tangent to the circle.

The idea is that you cannot assume that the Earth has one Moon when it is a fact that it has one Moon. I hope that you understood my point.

Thanks for your reply — I see where you're coming from, but I don't fully agree.

According to your interpretation, we're given a line $L$ that is tangent to a circle at point $T$, and then we (incorrectly) assume that it is not perpendicular to the radius through $T$. But in a proof by contradiction, we're not actually given such a line — we only suppose its existence for the sake of argument, in order to derive a contradiction.

In the case of $P \Rightarrow Q$, we assume $P$ (that $L$ is tangent to the circle at $T$) and $\neg Q$ (that $L$ is not perpendicular to the radius at $T$). From this, we deduce that $L$ must intersect the circle at another point — contradicting the assumption that $L$ is a tangent. That contradiction is what justifies $P \Rightarrow Q$.

So in this sense, the line isn't given as a real object with known properties — it's hypothetical, and its properties are assumed only temporarily to show that such a configuration cannot exist.

 

[logistic_guy]

Thanks for your reply — I see where you're coming from, but I don't fully agree.

According to your interpretation, we're given a line $L$ that is tangent to a circle at point $T$, and then we (incorrectly) assume that it is not perpendicular to the radius through $T$. But in a proof by contradiction, we're not actually given such a line — we only suppose its existence for the sake of argument, in order to derive a contradiction.

In the case of $P \Rightarrow Q$, we assume $P$ (that $L$ is tangent to the circle at $T$) and $\neg Q$ (that $L$ is not perpendicular to the radius at $T$). From this, we deduce that $L$ must intersect the circle at another point — contradicting the assumption that $L$ is a tangent. That contradiction is what justifies $P \Rightarrow Q$.

So in this sense, the line isn't given as a real object with known properties — it's hypothetical, and its properties are assumed only temporarily to show that such a configuration cannot exist.

I don't agree with saying we assume $P$ (that $L$ is tangent to the circle at $T$). You should either say we are given this fact or you assume it is not tangent.

As I said before you cannot assume something when it already does exist. Therefore, we are perfectly agreed that we totally don't agree to each other!

And thanks a lot for the rest of the idea!