Received: by 10.68.232.1 with SMTP id tk1mr4022287pbc.7.1349626597437;
        Sun, 07 Oct 2012 09:16:37 -0700 (PDT)
Received: by 10.68.216.202 with SMTP id os10mr2276126pbc.17.1349626597419;
 Sun, 07 Oct 2012 09:16:37 -0700 (PDT)
Path: t10ni23613332pbh.0!nntp.google.com!kt20no13502700pbb.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 7 Oct 2012 09:16:37 -0700 (PDT)
In-Reply-To: <f1b47de1-234b-44c7-b7da-ca87dea7e006@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=123.201.77.19;
 posting-account=SMoc9woAAAAGXgWXJySK88C5DCo6yjQ_
NNTP-Posting-Host: 123.201.77.19
References: <f1b47de1-234b-44c7-b7da-ca87dea7e006@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <92eff8ca-30be-4309-a407-cdc900357630@googlegroups.com>
Subject: Re: Intersection of two disks
From: Narasimham <mathm...@gmail.com>
Injection-Date: Sun, 07 Oct 2012 16:16:37 +0000
Content-Type: text/plain; charset=ISO-8859-1

On Saturday, October 6, 2012 2:17:55 AM UTC+5:30, kamuran turksoy wrote:
> I have two disks:
> C1: (x-a1)^2+(y-b1)^2<= r1^2
> C2: (x-a2)^2+(y-b2)^2<= r2^2
> These disks have non-empty intersection.
> I define the third circle as:
> C3: (x-a3)^2+(y-b3)^2<=r3^2 where
> a3=a1*(1-t)+a2*t 
> b3=b1*(1-t)+b2*t 
> r3=sqrt(a3^2+b3^2-(a1^2+b1^2-r1^2)*(1-t)-(a2^2+b2^2-r2^2)*t) 
> where 0<=t<=1. 
> Claim: C3 contains the intersection of C1 and C2 for all values of t such that  0 <= t <= 1.
> Numerically when I substitute t values and check it, the claim works. However I could not prove it. Any suggestions?

Hint : The Power (product of tangent lengths) is negative originating from a point contained inside the circle (and positive if outside).

Narasimham