mersenneforum.org  

Go Back   mersenneforum.org > Fun Stuff > Puzzles

Reply
 
Thread Tools
Old 2008-01-30, 18:53   #1
davar55
 
davar55's Avatar
 
May 2004
New York City

5·7·112 Posts
Default Ratio of Areas

Show that the ratio of the areas of the circumscribed to
inscribed circles of a right triangle with integral sides can
never be a Mersenne prime.

davar55 is offline   Reply With Quote
Old 2008-02-03, 19:02   #2
wblipp
 
wblipp's Avatar
 
"William"
May 2003
New Haven

1001010000002 Posts
Default

The winky is because the ratio can never be an integer.

We can limit ourselves to right triangles whose sides are primitive Pythagorean triples because scaling the triangle larger will not change the ratio.

Recall that all primitive Pythagorean triples can be generated from p and q relatively prime and opposite parity as

p[sup]2[/sup] - q[sup]2[/sup]
2pq
p[sup]2[/sup] + q[sup]2[/sup]

The radius r of the inscribed circle can be found by taking the area of the three triangles using a side of the right triangle as base and r as height.

r = ab / (a+b+c)

The center of the circumscribed circle has to be half-way along each side, so it's radius R is

R = c/2

The ratio R/r is

c(a+b+c)/ab

Substituting the expressions for primitive Pythagorean triples we get

(p[sup]2[/sup] + q[sup]2[/sup])(2p[sup]2[/sup]+2pq)/((4(p[sup]2[/sup] - q[sup]2[/sup])pq)

Which simplifies to

(p[sup]2[/sup] + q[sup]2[/sup])/((2(p-q)q)

The numerator is odd because p and q are opposite parity. The denominator is even. Hence this ratio is never an integer.

As a further exericise, show that if the ratio is a half integer, then it is half a Fermat Prime.

William
wblipp is offline   Reply With Quote
Old 2008-02-13, 03:20   #3
davar55
 
davar55's Avatar
 
May 2004
New York City

5·7·112 Posts
Default

Quote:
Originally Posted by wblipp View Post

r = ab / (a+b+c)
The ratio R/r is c(a+b+c)/ab


I just want to point out that a "simpler" expression for r is
r = (a+b-c)/2, and so R/r = c/(a+b-c), and then if you know
(or using p and q) that c must be odd and a,b must be
opposite parity, then the denominator must be even.
The rest is as you said.


Quote:
As a further exercise, show that if the ratio is a half integer, then it is half a Fermat Prime.
As in your derivation, if the ratio R/r of radii (not areas) is
a half integer, then q must = 1, p must = 2, so a,b,c = 3,4,5,
so 2R/r = 5, which is lo and behold a Fermat Prime! (Thanks for
understanding the winky.)

Last fiddled with by davar55 on 2008-02-13 at 03:36
davar55 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
My algorithm mimics 2^P-1 with the golden ratio ONeil ONeil 12 2018-04-17 09:15
Watts to Heat Ratio of a PSU wildrabbitt Hardware 12 2015-12-12 16:18
Thread to Post Ratio davar55 Forum Feedback 67 2014-12-06 12:45
limit of a ratio of integrals Mr. P-1 Homework Help 11 2011-11-21 08:08
Question: Is Our Forum Secure in Some Areas 9021951 Information & Answers 7 2011-11-02 23:29

All times are UTC. The time now is 00:18.


Tue Oct 26 00:18:02 UTC 2021 up 94 days, 18:47, 0 users, load averages: 1.79, 1.51, 2.00

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.