Results 1 to 9 of 9

Thread: Circle Question

  1. #1

    Thread Starter
    Fanatic Member bugzpodder's Avatar
    Join Date
    Jun 2002
    Location
    Ontario, Canada
    Posts
    787

    Circle Question

    we have an equilateral triangle ABC. we draw circular arc BC of circle that has center A and radius AB, as well as circular arc AC with center B and radius AB. Given that arc BC is 12 units, find the circumference of a circle that is tangent to arc BC, arc AC and base line AB.
    Massey RuleZ! ^-^__Cheers!__^-^ Massey RuleZ!


    Did you know that...
    The probability that a random rational number has an even denominator is 1/3 (Salamin and Gosper 1972)? This result is independently verified by me (2002)!

  2. #2
    vbuggy krtxmrtz's Avatar
    Join Date
    May 2002
    Location
    In a probability cloud
    Posts
    5,573
    9 * Pi

    The derivation is a bit cumbersome to write down so I'll leave it for the coffee break... if I can afford one today...
    Last edited by krtxmrtz; Jan 22nd, 2003 at 03:04 AM.

  3. #3

    Thread Starter
    Fanatic Member bugzpodder's Avatar
    Join Date
    Jun 2002
    Location
    Ontario, Canada
    Posts
    787
    sorry your answer is incorrect. the answer is an integer (no pi). and plz show your work so maybe we can catch the error. sorry for cuzing the extra trouble
    Last edited by bugzpodder; Jan 22nd, 2003 at 07:45 AM.
    Massey RuleZ! ^-^__Cheers!__^-^ Massey RuleZ!


    Did you know that...
    The probability that a random rational number has an even denominator is 1/3 (Salamin and Gosper 1972)? This result is independently verified by me (2002)!

  4. #4
    vbuggy krtxmrtz's Avatar
    Join Date
    May 2002
    Location
    In a probability cloud
    Posts
    5,573
    Here are the triangle (x,y) coordinates according to my setup:

    A: (-s/2 , 0)
    B: (s/2 , 0)
    C: (0 , 0.5*Sqr(3))

    where s is the triangle side (s = AB = BC = CA)

    Equations of the AC and BC circles:

    (AC): (x + s/2)2 + y2 = s2 (1)
    (BC): (x - s/2)2 + y2 = s2

    By symmetry the sought circle (call it CX) will have its center at (0,h) h will be its radius and we have to determine h. The equation of CX is:

    (CX): x2 + (y - h)2 = h2 (2)

    CX is tangent to circle AC and this means they contact in only one point i.e. there is only one pair of values (x,y) that at the same time satisfies both (1) and (2)

    From (1): y2 = s2 - x2 - sx - s2/4 (3)

    From (2): y2 - 2hy + x2 = 0 -> x = Sqr(2hy - y2)

    and now I substitute this into (3):

    3s2/4 - 2hy - s*Sqr(2hy - y2) = 0

    This can be finally reduced to this equation for y:

    (4h2 + s2)y2 - 5s2hy + 9s4/16 = 0

    Its solutions are:

    y = {5hs2 +/- Sqr[(5hs2)2 - 4*(4h2 + s2)*9s5/16)]} / [1/2(4h2 + s2)]

    But there must be only one solution, therefore the root must be 0:

    (5hs2)2 - 4*(4h2 + s2)*9s4/16 = 0

    Simplifying this we get:

    h = 3s/8 = Radius

    So, finally, the circumference is:

    Circ = 2 *Pi * Radius = 2 * Pi * 3s/8 and if s=12, then

    Circ = 9*Pi

  5. #5
    transcendental analytic kedaman's Avatar
    Join Date
    Mar 2000
    Location
    0x002F2EA8
    Posts
    7,221
    large circle circumference=6*12=72

    x+y=2z
    x^2+z^2=y^2
    y=2z-x=sqrt(x^2+z^2)
    4z^2-4xz+x^2=x^2+z^2
    4z^2-4xz=z^2
    4z-4x=z
    x=3/4z

    small circle circumference=72*(x/2z)^2=72*(9/64)=10.125
    Attached Images Attached Images  
    Use
    writing software in C++ is like driving rivets into steel beam with a toothpick.
    writing haskell makes your life easier:
    reverse (p (6*9)) where p x|x==0=""|True=chr (48+z): p y where (y,z)=divMod x 13
    To throw away OOP for low level languages is myopia, to keep OOP is hyperopia. To throw away OOP for a high level language is insight.

  6. #6

    Thread Starter
    Fanatic Member bugzpodder's Avatar
    Join Date
    Jun 2002
    Location
    Ontario, Canada
    Posts
    787
    krtxmrtz , from your post, i think you screwed up one small detail: the value of s is NOT 12. 12 is the arc length, so we have:

    2s*pi/6=12
    s=36/pi

    Circ = 2 *Pi * Radius = 2 * Pi * 3s/8

    so sub in s=36/pi

    i get 27


    for kedaman,

    we have 2*pi*(2z)=72
    and we want 2*pi*(x)=2*pi*(3/4)z=36*3/4=27

    now my question is, can you prove that in your diagram, x and y is indeed the straight line? in other words, if i draw from A (one of the base corners of the triangle) to the to the point of tangency of the small circle and large circle, I am guarenteed to pass through the center of the smaller circle? your method won't be complete without this proof
    Massey RuleZ! ^-^__Cheers!__^-^ Massey RuleZ!


    Did you know that...
    The probability that a random rational number has an even denominator is 1/3 (Salamin and Gosper 1972)? This result is independently verified by me (2002)!

  7. #7
    transcendental analytic kedaman's Avatar
    Join Date
    Mar 2000
    Location
    0x002F2EA8
    Posts
    7,221
    first a silly mistake by me, the circumference is proportional not quadratic proportional to the scale betwen the circles.
    72*(x/2z)^2=72*(9/64)=10.125
    should be
    72*(x/2z)=72*(3/8)=27

    the circle is tangent to both the arc ac and bc, which means that they share tangent in that point, as well as normal to that tangent. The normal to a circle's tangent goes trough center.
    Use
    writing software in C++ is like driving rivets into steel beam with a toothpick.
    writing haskell makes your life easier:
    reverse (p (6*9)) where p x|x==0=""|True=chr (48+z): p y where (y,z)=divMod x 13
    To throw away OOP for low level languages is myopia, to keep OOP is hyperopia. To throw away OOP for a high level language is insight.

  8. #8

    Thread Starter
    Fanatic Member bugzpodder's Avatar
    Join Date
    Jun 2002
    Location
    Ontario, Canada
    Posts
    787
    the circle is tangent to both the arc ac and bc, which means that they share tangent in that point, as well as normal to that tangent. The normal to a circle's tangent goes trough center.
    sweet! exactly what I needed! thanks!
    Massey RuleZ! ^-^__Cheers!__^-^ Massey RuleZ!


    Did you know that...
    The probability that a random rational number has an even denominator is 1/3 (Salamin and Gosper 1972)? This result is independently verified by me (2002)!

  9. #9
    vbuggy krtxmrtz's Avatar
    Join Date
    May 2002
    Location
    In a probability cloud
    Posts
    5,573
    Originally posted by bugzpodder
    krtxmrtz , from your post, i think you screwed up one small detail: the value of s is NOT 12. 12 is the arc length...
    sigh... this is what happens when you read things too fast...

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  



Click Here to Expand Forum to Full Width