Happy Pi Day!

Happy π\pi Day to one and all. The day is special because of the epic time : March 14, 2015 - 9:26:53 which is 3.141592653

On this special occasion, I've got an amazing problem for you all.

Prove that π\pi is a constant

This claim is equivalent to saying "all circles are similar."

#IrrationalNumbers #Pi #Constant #HappyPiDay #Kishlaya

Note by Kishlaya Jaiswal
6 years, 3 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Happy π\pi day to you too ! Frankly I didn't know that such a question could be asked !

Here's a proof that everyone here on Brilliant knows :

The two triangles are similar , so the ratio of their radii is constant and Hence the two circles are similar .

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

That's also a nice proof!

You maybe interested in trying this one also. Prove that the ratio of circumference to diameter of a circle equals the constant π=3.141592653\pi = 3.141592653 \ldots

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

@Kishlaya Jaiswal - please provide a proof for this one, without using calculus because i think using calculus is a round about method because then we will use radians and the system of radians is now based indirectly upon the fact that 2πr=c2 \pi r = c , so it is not correct.

I have tried and thought about it but it seems that all methods of approach indirectly need to include π\pi from some other source (like trignometry, or radians) which are again derived by using a unit circle and the result that we have to prove,

I mean , how do you find the value without any other thing,

Mvs Saketh - 6 years, 3 months ago

Log in to reply

@Mvs Saketh Hi, can you pls see this ?

A Former Brilliant Member - 6 years, 3 months ago

Two mathematicians of international repute meet to share notes about the circle. Both each have brought to the meeting a picture of a circle, and both have determined the numerical value of π\pi. Their figures agree. Then one of them says, "But wait a minute, your figure is based on the metric system, I'm using the English! How that can be?"

Michael Mendrin - 6 years, 3 months ago

Log in to reply

Well, "pi" is the ratio of two similar quantities(length in this case), hence whichever units we use, they'll get cancelled out when we divide the circumference by the diameter(so it becomes unitless) and the value of pi will remain the same no matter what.

Hrishikesh Kulkarni - 6 years, 3 months ago

Log in to reply

Pi is a dimensionless quantity (because it's a ratio), which means it's scale invariant. Invariants are extremely important in theoretical physics.

Michael Mendrin - 6 years, 3 months ago

Log in to reply

@Michael Mendrin So, isn't dimensionless the same as unitless? As far as we don't consider what units we're using for measuring a particular quantity. If a quantity is unitless, then it is dimensionless as well, I suppose. So according to you, what I should've said is, circumference and diameter belong to the same dimension; length- "[L]". So, when we take their ratio, the dimensions get cancelled and thus pi becomes dimensionless and ultimately unitless. is that right?

Hrishikesh Kulkarni - 6 years, 3 months ago

To prove that all circles are similar, first draw 2 concentric circles with radius r{r} and R{R} respectively (where R > r ). Now draw two lines from the centre of both circles and make a triangle in each individual circle and call the third side of each one x{x} and y{y} (x{x} < y{y}). Also, suppose that the angle at the centre is given by 360n\frac{360}{n}. By similar triangles: yR=xr\frac{y}{R} = \frac{x}{r} It is clear from the diagram that as ny= circumference =C1as \ n \rightarrow\infty \sum_{}^{} y = \ circumference \ = C_{1} and as nx= circumference =C2 and \ as \ n \rightarrow\infty \sum_{}^{} x = \ circumference \ = C_{2} C1R=C2r\therefore\frac{C_1}{R} = \frac{C_{2}}{r} Which shows that all circles are similar because the ratio of the circumference to the radius is constant (namely, 2π\pi which I may prove later). Q.E.D.

Curtis Clement - 6 years, 3 months ago

Log in to reply

Here's the diagram :

A Former Brilliant Member - 6 years, 3 months ago

That's interesting!

Thanks.

Kishlaya Jaiswal - 6 years, 3 months ago

Yes!! Yesterday it was sir Einstein's B'day !!

I waited for one whole day to see if anyone mentions his name , but no ! No one did so .

Poor guy ¨\ddot\frown

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

Yeah, I came to know about it a day later. ¨\ddot \frown

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

haha me too!

Happy Melodies - 6 years, 3 months ago

Prove how pie is considered as 180 degree.

All circles are similar because they always have the same round shape...

Udesh Udayakumar - 6 years, 3 months ago

Log in to reply

That's too vague , don't you think ?

A Former Brilliant Member - 6 years, 3 months ago

pi radians = 180 degrees

Jomari Ubas - 6 years, 3 months ago

Frankly pi is not a constant!! It depends on the geometry of the space. It is for a flat space pi=3.141592653......

Gowtham Amirthya - 6 years, 3 months ago

Log in to reply

The amazing thing about π\pi is that it STILL crops up in constant-curvature Riemannian or hyperbolic geometries! Even though not necessarily as the ratio between the radii and the circumference of circles. It just keeps popping up everywhere, not just in "flat space".

To drive this point home, let's not forget Einstein's famous General Relativity equation for curved spacetime

G=8πTG=8\pi T

Michael Mendrin - 6 years, 3 months ago

Let Circle1 represent a circle of radius r1, and construct it. Let Circle2 represent a circle of radius r2, such that r2 > r1 and Circle2 is concentric with Circle1, and construct it. Choose an integer n \ge 3 and let \theta = 360^\circ/n. Construct an isosceles triangle, \triangle T2, such that each equal leg has length r2, the vertex adjacent to both equal legs (v2) lies at the center of Circle2, and the measure of the angle at v2 is equal to \theta. Let s2 represent the length of the side opposite \theta. By this, it can be seen that filling Circle2's interior with n triangles congruent to \triangle T2 such that all share a vertex at the center of Circle2, the equal legs extend outward from that vertex, and none overlap, a regular polygon is created whose perimeter approximates the circumference of Circle2.

By the above constructions, a similar isosceles triangle, \triangle T1, is made such that each equal leg has length r1, the vertex adjacent to both equal legs (v1) lies at the center of Circle1, and the measure of the angle at v1 is equal to \theta. Let s1 represent the length of the side opposite \theta in \triangle T1. Let c2 represent the circumference of Circle2, and c1 represent the circumference of Circle1. Then:

c2\approx ns2 c1\approx ns1 Further, let n increase without bound. Then:

c2 = \lim{n \to \infty}ns2 c1 = \lim{n \to \infty}ns1 and

{c2\over 2r2}={\lim{n \to \infty}ns2\over 2r2}=\lim{n \to \infty}{ns2\over 2r2} (the ratio of Circle2's circumference to its diameter)

{c1\over 2r1}={\lim{n \to \infty}ns1\over 2r1}=\lim{n \to \infty}{ns1\over 2r1} (the ratio of Circle1's circumference to its diameter)

To prove the proposition, it suffices to show that:

{\lim{n \to \infty}}{ns2\over 2r2}=\lim{n \to \infty}{ns1\over 2r1} By the laws of similar triangles:

{s1\over r1}={s2\over r2} Substituting:

\lim{n \to \infty} \frac{ns2}{2r2}=\lim{n \to \infty}\frac{ns2}{2r2}

rahul rangnani - 6 years, 3 months ago

Click here for the relevant diagrams. Firstly, I shall prove that C = 2π\pir. To start we shall consider a circle that is being excribed and inscribed by two squares, which creates the following inequality: 8rsin45<C<8rtan45 8rsin45 < C < 8rtan45 because the square inside the circle has a smaller perimeter and the outside circle has a larger perimeter. Using this principle with hexagons gives: 12rsin30<C<12rtan3012rsin30 < C < 12r tan30 . Now it clear that if n{n} = number of sides of a regular polygon, then generally: 2nr sin(180n)<C<2nr tan(180n)2nr \ sin(\frac{180}{n}) < C < 2nr \ tan(\frac{180}{n}) n sin(180n)<C2r<n tan(180n)n \ sin(\frac{180}{n}) <\frac{C}{2r} < n \ tan(\frac{180}{n}) limnnsin(180n)=limnntan(180n)=π C=2πr\therefore\lim_{n \rightarrow\infty} nsin(\frac{180}{n}) = \lim_{n \rightarrow\infty} ntan(\frac{180}{n}) = \pi \Rightarrow\ C =2\pi r Now the area of a triangle can be given by 12absin(c)\frac{1}{2}absin(c) , so by splitting up a n-sided polygon into 2n congruent triangles : A=limnr2nsin(180n)=πr2 A = \lim_{n \rightarrow\infty} r^2 nsin(\frac{180}{n}) = \pi r^2

Curtis Clement - 6 years, 3 months ago

Log in to reply

However, we can also prove that C = 2π\pir by using radians, so we are making the assumption that the equation is true (a bit like mathematical induction, but not quite). C=limn2rn.sin(πn)=2πrlimnsin(πn)πn let ψ=πnC = \lim_{n \rightarrow\infty} 2rn.sin(\frac{\pi}{n}) = 2\pi r \lim_{n \rightarrow\infty} \frac{sin(\frac{\pi}{n})}{\frac{\pi}{n}} \ let \ \psi = \frac{\pi}{n}  =2πrlimψ 0sin(ψ)ψ=2πr\Rightarrow\ = 2\pi r \lim_{\psi \rightarrow\ 0} \frac{sin(\psi)}{\psi} = 2 \pi r (as limψ 0sin(ψ)ψ\lim_{\psi \rightarrow\ 0} \frac{sin(\psi)}{\psi} = 1 from the taylor series of sin(x) )

Curtis Clement - 6 years, 3 months ago

Log in to reply

Wow! that was an amazing proof.

Just a little typo : limψsinψψ=0\lim_{\psi \rightarrow \infty}\frac{\sin \psi}{\psi} = 0 and limψ0sinψψ=1\lim_{\psi \rightarrow 0}\frac{\sin \psi}{\psi} = 1

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

@Kishlaya Jaiswal Thanks - I was bound to make a typo somewhere. Also, it is possible to prove that: π4=k=1(1)k+12k1=(113+1517+...) and Ln(2)=k=1(1)k+1k=(112+1314+15...)\frac{\pi}{4} = \displaystyle\sum_{k=1}^{\infty} \frac{(-1)^{k+1}}{2k-1} = (1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} +...) \ and \ Ln(2) = \displaystyle\sum_{k=1}^{\infty} \frac{(-1)^{k+1}}{k} = (1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} -...)  4Ln2<π\Rightarrow\ 4Ln 2 < \pi If you really want to challenge yourself :)

Curtis Clement - 6 years, 3 months ago

Log in to reply

@Curtis Clement Yea! that inequality seems so nice. I'm working on the proof. ¨\ddot \smile

Btw I posted something similar here

Kishlaya Jaiswal - 6 years, 3 months ago

@Curtis Clement This is the best I could do.

k=0(1)k2k+1=01k=0(x)2kdx=0111+x2dx=(tan1x01=π4\sum_{k=0}^\infty \frac{(-1)^k}{2k+1} = \int_0^1 \sum_{k=0}^\infty (-x)^{2k} \mathrm{d}x = \int_0^1 \frac{1}{1+x^2} \mathrm{d}x = \left(\tan^{-1}x\right|_0^1 =\frac{\pi}{4} and k=1(1)k+1k=ln(2)\sum_{k=1}^\infty \frac{(-1)^{k+1}}{k} = \ln(2) Subtracting them up, we get ln(2)π4=(112+1314+)(113+1517+)\ln(2)-\frac{\pi}{4} = \left(1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4} + \ldots\right)-\left(1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7} + \ldots\right) =12+2314+2716+\quad = -\frac{1}{2}+\frac{2}{3}-\frac{1}{4}+\frac{2}{7}-\frac{1}{6}+\ldots Rearranging gives =23+(2712)+(21114)+(21516)+\quad = \frac{2}{3}+\left(\frac{2}{7}-\frac{1}{2}\right)+\left(\frac{2}{11}-\frac{1}{4}\right)+\left(\frac{2}{15}-\frac{1}{6}\right)+\ldots =23+(314)+(344)+(390)+<0\quad = \frac{2}{3}+\left(\frac{-3}{14}\right)+\left(\frac{-3}{44}\right)+\left(\frac{-3}{90}\right)+\ldots < 0

Thus ln(2)π4<04ln(2)<π\ln(2)-\frac{\pi}{4} < 0 \Rightarrow 4\ln(2) < \pi

But I know that this is obviously wrong proof because rearranging it the other way makes the sum positive.

I am interested in seeing your solution.

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

@Kishlaya Jaiswal I factored both expressions into brackets with pairs of terms, which are in their original order. Each bracket can be considered as a single term to produce a different way of writing the sum, as follows: Ln(2)=(112)+(1314)+(1516)+...=n=1(12n112n)=n=112n(2n1)Ln(2) = (1-\frac{1}{2}) + (\frac{1}{3} - \frac{1}{4}) +(\frac{1}{5} - \frac{1}{6})+...= \displaystyle\sum_{n=1}^{\infty} (\frac{1}{2n-1} - \frac{1}{2n}) = \displaystyle\sum_{n=1}^{\infty} \frac{1}{2n(2n-1)} π4=(113)+(1517)+(19111)+...=n=1(14n314n1)=n=12(4n3)(4n1)\frac{\pi}{4} = (1-\frac{1}{3}) + (\frac{1}{5} - \frac{1}{7}) +(\frac{1}{9} - \frac{1}{11}) +... = \displaystyle\sum_{n=1}^{\infty} (\frac{1}{4n-3} - \frac{1}{4n-1}) = \displaystyle\sum_{n=1}^{\infty} \frac{2}{(4n-3)(4n-1)} Now if the individual terms of the expansion of π4\frac{\pi}{4} are larger than that of Ln(2), then the whole expression will be larger..... 2(4n1)(4n3)>12n(2n1) 4n(2n1)>(4n1)(4n3)\frac{2}{(4n-1)(4n-3)} > \frac{1}{2n(2n-1)} \Rightarrow\ 4n(2n-1) > (4n-1)(4n-3)  8n212n3=0 n232n38=0 (n34)2>1516 n>3+154 1.75\Rightarrow\ 8n^2 -12n - 3 = 0 \Rightarrow\ n^2 - \frac{3}{2}n -\frac{3}{8} = 0 \Rightarrow\ (n-\frac{3}{4})^2 > \frac{15}{16} \therefore\ n > \frac{3+\sqrt{15}}{4} \approx\ 1.75 Now the first term of π4\frac{\pi}{4} can be seen to be larger, so all the pairs of terms are larger.  Hence Ln(2)<π4 4Ln(2)<π       Q.E.D.\ Hence \ Ln(2) < \frac{\pi}{4} \therefore\ 4Ln(2) < \pi \ \ \ \ \ \ \ Q.E.D.

Curtis Clement - 6 years, 3 months ago

Log in to reply

@Curtis Clement But there's just a little problem. How can you be sure about grouping the terms like the way you have done because you can combine different terms to show that π4<ln(2)\frac{\pi}{4}<\ln(2). For example

π4=1+(13+15)+(17+19)+\frac{\pi}{4} = 1 + \left(-\frac{1}{3}+\frac{1}{5}\right)+\left(-\frac{1}{7}+\frac{1}{9}\right)+\ldots =1215263\quad = 1 - \frac{2}{15} - \frac{2}{63}-\ldots

Now with the above terms, you can show that the individual terms in expansion of π4\dfrac{\pi}{4} are less than those of ln(2)\ln(2)

Sir @Calvin Lin , can you help us with this inequality.

Kishlaya Jaiswal - 6 years, 2 months ago

Pi is a constant because it is ratio of the circumference to the radius (or the diameter which is twice the radii).

Julian Branker - 6 years, 3 months ago

Log in to reply

But actually you need to prove it - Prove that the ratio circumference to diameter equals the constant π=3.141592653\pi=3.141592653 \ldots.

Kishlaya Jaiswal - 6 years, 3 months ago

its not a day its only a second hahaha

Holliwell de Guzman - 6 years, 3 months ago

For 2 circles haves legth each one c1 and c2 each diameter d1and d2 we know that circles are directly porpotional for c1/d1=c2/d2 ...therfor...aslo we can to write K=c1/d1=c2/d2 ... Were k is pi .... Then for every legth C of circles with diameter d... We have.. Pi=C/d then C=Pi * d or C = 2Pid !!!! CVD[it] / QED[en] sorry for my english! :D

Davide Balacco - 6 years, 3 months ago

think of the ratio of the distance from the foci to the curve and length of the curve. {directrix==diameter?? } since both foci meet at one point, e=0, the curve becomes a circle.. radius of curvature and length of curve here depends only on radius of the curve., which is fixed for a single circle.. So, their ratio becomes fixed.,.. for all circles. that is the definition of pi. more formal proof is out there.. :D

Ananya Aaniya - 6 years, 3 months ago

pi is not constant ,,, its an add numbers,,\

hehhe

Nhoj Htennek Zhero Noblasip - 6 years, 3 months ago

I memorized 94 more digits of pi this week so that I could have 314 on pi day. At 9:26 I tried to recite all the digits before the minute ended (although before the 53rd second would have been best). I failed... It took me nearly 1.5 minutes to finish.

The technique of approximating the circle with polygons is well known and allowed ancient peoples to approximate pi as well. The Rhind Mathematical Papyrus describes how the Egyptians used an octagon to determine a proportion between the radius^2 and the area. At best, their approximation would only reveal pi to be 3.11 (The figure is 63/20.25 but they rounded to 64/20.25 which is 3.16). More accurate representations are achieved by using polygons with more sides and by using a polygon that "surrounds" the circle and another that lies in the circle.

(sorry, I know this is not a proof :) )

Jared Jones - 6 years, 3 months ago

pi doesn't change, no matter how many times you divide the circumference of a circle by its diameter. Done.

Nawal Naz - 6 years, 3 months ago

Log in to reply

But you need to prove it somehow, no matter you prove it mathematically or by giving arguments.

Just saying that the ratio of circumference to diameter is a constant and equals π\pi doesn't works. Try proving it. (Hint - look at the solution(s) above). Best of luck.

Kishlaya Jaiswal - 6 years, 3 months ago

For any circle with radius r ( irrespective of its value or unit), circumference = 2cr where c is a constant diameter=2r pi=circumference/diameter=2cr/2r=c=constant

Tahmina Mojumder - 6 years, 3 months ago
×

Problem Loading...

Note Loading...

Set Loading...