Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2014-01-30 00:10:20

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Circles #3

1. If from any point on the extended common chord of 2 intersecting circles, tangents be drawn to the circles, prove that they are equal.

Last edited by Agnishom (2014-01-30 00:17:32)


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#2 2014-01-30 00:26:04

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

Just read this.  Give me a moment and I'll see if I can do this.

Bob


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#3 2014-01-30 00:27:37

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Just read what?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#4 2014-01-30 00:35:19

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Hi bob;

I explored the problem with GeoGebra and I fohund a hint. I think it will solve the problem, but I do not understand how to put it to words. Will you see my figure?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#5 2014-01-30 00:46:49

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

I was working on sundarrd's post so I hadn't spotted yours until that moment ... hence just read it.

I've got a diagram and checked out the measurements.  I've left in my construction lines (in red) as I think it may help.

AB is perpendicular to CD.

Still thinking .....................

Bob

View Image: agnishom21.gif

You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#6 2014-01-30 00:48:51

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Hint: Through EF and FG draw perpendiculars meeting at K, now draw a circle with K as center and EF and GF tangents.


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#7 2014-01-30 01:04:02

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

I've put K at the intersection of FA and GB.  But there's still a bit to prove.  Are you saying that you've done this now?

Bob


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#8 2014-01-30 01:15:45

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

No, I still do not understand how to tell that KF and KG are equal.


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#9 2014-01-30 01:22:14

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

I did this:

Bisect angle FEG.

Extend FA to cut this bisector at K

Draw a circle, centre K and radius KF.

It looks like KBG is a straight line.  If it is, then the equal tangent rule applies and we're done.

But why should KBG be straight?

Bob


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#10 2014-01-30 01:27:27

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Well, can you prove this: For every pair of distinct intersecting lines, there exists at least one circle of which these lines are tangents.

If you can prove that, we can do the following:
Assume that the circle of which EF and FG are tangents has already been drawn. Now, Since they are the tangents drawn from the same external point on the circle, they are equal.


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#11 2014-01-30 01:36:50

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

bob bundy wrote:

But why should KBG be straight?

Because it is supposed to be an extended radii of the jumbo circle.


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#12 2014-01-30 01:57:42

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

Hhmmm.  Not sure this helps.

see also diagram below.

Draw any lines FE and GE.

Bisect angle FEG.

Choose K anywhere on this bisector.

Construct MK perpendicular to FE with M on FE.

Draw circle, centre K and radius KM.

Mark N on GE so that EM = EN.

It is fairly easy to show using congruent triangles that KN is perpendicular to GE.

So I have drawn a circle as you require.

In fact, there are an infinite number of possible circles because K can be anywhere on the bisector (except at E).

So slide K along the bisector until KN coincides with KG.

But M is not at F.

Bob

Got to go and do some woodwork now.  Back later.  smile

View Image: agnishom22.gif

Last edited by bob bundy (2014-01-30 02:02:09)


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#13 2014-01-30 02:44:39

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Will you chop trees?

Sorry, on pen and paper we can't slide K.

Can you prove this statement? Given a pair of distinct intersecting lines there exists at least one circle of which they are tangents.


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#14 2014-01-30 03:54:17

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Another proof:

Draw the tangent EH on the circle which contains point F. Now, Draw a circle whose tangents from E are EG and EH.

Now, EG=EH; EH=EF ⇒ EG=EF [QED]

The big question is whether a circle whose tangents from E are EG and EH is possible.

x52k.png

Last edited by Agnishom (2014-01-30 04:14:36)


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#15 2014-01-30 04:25:55

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

hi,

No tree chopping!  This was more delicate.  Fixing some drawers where the bottom was coming off and then making a device for washing windows.

It must have been worth doing because I think I now have a proof.

Construct K as follows:

Make the angle bisector for angle E and extend FA to intersect this line at K.

Consider the triangles KFE and FGE.

They have o ... drat that won't work.   swear

Back to the drawing board.

Bob


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#16 2014-01-30 04:44:33

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Hi;

Did you look at post 14? It looks more convincing even though it does not tell us anything on how that circle could be drawn


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#17 2014-01-30 04:57:21

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

I shall take a little break to let my subconscious get to work, and then come back to try that.  It will be diagram number 6 so far on this problem. eek dizzy

Don't go and do it while I'm gone.  smile

Bob

Last edited by bob bundy (2014-01-30 04:58:08)


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#18 2014-01-30 04:57:47

phrontister
Real Member
From: The Land of Tomorrow
Registered: 2009-07-12
Posts: 3,819

Re: Circles #3

Hi,

I was getting nowhere and so went surfing instead, whereupon I found this theorem on the net (I changed the point letters to match the ones in posts above):

Theorem:
If E is a point outside a circle and E,D,G are points on the circle such that EG is a tangent and EDC is a secant, then EG² = ED x EC

Proof:
∠EGD = ∠GCD (alternate segment theorem)
∠EGC = ∠GDE (angle sum of a triangle)
∴ ΔEGC is similar to ΔEDG
∴ EG/ED = EC/EG, from which EG² = ED x EC

Similarly, EF² = ED x EC, and ∴ EF = EG

View Image: Secant.jpg

"The good news about computers is that they do what you tell them to do. The bad news is that they do what you tell them to do." - Ted Nelson

Offline

#19 2014-01-30 05:00:52

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,268

Re: Circles #3

Oh yes!  And I knew that theorem too.  Ggrr.  If only I had gone surfing.  But the sea temperature is around 9 C.  Ugh!

Bob


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#20 2014-01-30 05:03:14

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Alternate segment theorem?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#21 2014-01-30 05:44:29

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Don't go and do it while I'm gone.

Sorry, I'll have to sleep.


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#22 2014-01-30 05:50:35

bobbym
Administrator
From: Bumpkinland
Registered: 2009-04-12
Posts: 82,950

Re: Circles #3

Can you prove this statement? Given a pair of distinct intersecting lines there exists at least one circle of which they are tangents.

Let's try by constructing a general example of one.

1) Draw two lines that intersect. We can obviously always do this. Call the point of Intersection C.

2) Choose the acute angle or one of the right angles and draw the angle bisector. We can also always do this.

3) Mark off point B on the first line and point A on the second line so that angle ACB is 90 degrees or less. In other words choose to place them in such a way that we are dealing with the acute or right angle. Also make the distance from C to A equal the distance from C to B. We can always do this.

4) Draw perpendicular lines through B and C and call the point where they intersect the angle bisector O.

5) Triangles COB and COA are congruent because of SAS. Therefore OA = OB.

6) O is the center of the circle that passes through A and B and therefore the two original intersecting lines are tangent to it. Since these steps can always be accomplished there is always one circle tangent to any two intersecting lines.

http://www.mathisfunforum.com/viewtopic … 61#p298861


In mathematics, you don't understand things. You just get used to them.
I have the result, but I do not yet know how to get it.
All physicists, and a good many quite respectable mathematicians are contemptuous about proof.

Online

#23 2014-01-30 05:53:51

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

Please look at post 1 and 14. Do they look ok?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

#24 2014-01-30 06:04:09

bobbym
Administrator
From: Bumpkinland
Registered: 2009-04-12
Posts: 82,950

Re: Circles #3

Hi Agnishom;

I do not know.


In mathematics, you don't understand things. You just get used to them.
I have the result, but I do not yet know how to get it.
All physicists, and a good many quite respectable mathematicians are contemptuous about proof.

Online

#25 2014-01-30 06:05:43

Agnishom
Real Member
From: The Complex Plane
Registered: 2011-01-29
Posts: 15,193
Website

Re: Circles #3

4) Draw perpendicular lines through B and C and call the point where the intersect the angle bisector O.

Hwc can you tell for sure if those lines have the same meeting point?


'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
'Humanity is still kept intact. It remains within.' -Alokananda

Offline

Board footer

Powered by FluxBB