In a way, there is no reverse way for you to prove. You must always be careful about what your definitions. That way, you will always have a clear mathematical way of writing what you are trying to prove and how to prove it, as well as how "reverse ways" of some theorems would look.
For example, in your case, you have defined the following:
- regular polygons with $n$ sides.
- The angles of these polygons.
What you have shown is this:
As $n$ approaches infinity, the external angle of a $n$-sided regular polygon approaches $0$.
What you Have not shown is this:
As $n$ approaches infinity, the $n$-sided regular polygon approaches a circle.
Why haven't you shown this? Well, let's see:
First of all, you haven't defined a circle. Sure, you can define a circle, but a circle will not be a regular polygon, at least not by the definition of a regular polygon. OK, that may be a problem you can overcome. We can say that a circle is some sort of curve, just like a polygon. However, there is another problem:
You did not define what it means for two curves to approach one another. Without defining exactly what it means for a polygon to approach a circle, you cannot say a circle approaches it, neither can you then say "How to prove the inverse of this statement?"
Even if you define what it means for two curves to approach each other, you are still miles away from showing the statement which you, ultimately, want to show:
A circle is a regular polygon with an infinite number of sides
Again, why could you not proven this statement? Well, it isn't a mathematical statement, so it cannot be proven in a mathematical way. For example, a polygon is defined as a collection of a finite amount of straight lines, so the concept of "a regular polygon with an infinite number of sides" does not exist yet. You can define it, sure, but if you just define it as a circle, then the statement becomes empty. You could define "generalized polygons" as such:
A curve is a generalized polygon if it is a limit of a sequence of (finite-sided) polygons.
In this case, you must, of course, define what a limit of a curve is, but that is possible (albeit not trivial).
If you decide to define it that way, you can now prove the statement:
If $P_n$ is a regular $n$-sided polygon, then the limit of the sequence $P_1, P_2, \dots$ is a circle.
This statement is, basically, the statement "$n$-sided polygons approach a circle as $n$ tends to infinity", in mathematical terms. However, notice what happened:
- You can no longer speak of a "reverse" of this statement. The statement, by its nature, works only in one direction: the limit of this sequence is this curve.
In defining generalized polygons, you lost the ability to speak about the number of sides of a polygon. For example, a square is a $4$ sided polygon and has $4$ sides. You can say "the number of sides of this polygon is such and such". You cannot say the same thing about generalized polygons. You can define the number of sides as such:
The number of sides of a generalized polygon $P$ is $n$, if $P$ is a $n$-sided polygon, and is $\infty$ if, for all values of $n$, $P$ is not a $n$ sided polygon.
If you decide the number of sides that way, then the statement
A circle has an infinite number of sides
Becomes equivalent to the statement
A circle is a generalized polygon and for all values of $n$, a circle is not a $n$ sided polygon.
Best Answer
To summarise, the flaw is that you're treating infinity as if it's something finite. You can't throw around infinities and infinitesimals too casually. My answer will have a few hand-wavy arguments, but it should be enough for you to realise why your argument was flawed.
In your argument you're taking the limit as side-lengths ($l$) go to zero and the limit as the number of sides ($n$) tend to infinity simultaneously. The rule for "simultaneous limits" is that there must be no dependence on order. This means you want: \begin{align*} \lim_{n\rightarrow\infty}\lim_{l\rightarrow0}P(n, l) = \lim_{l\rightarrow 0}\lim_{n\rightarrow\infty}P(n, l) = \mathrm{Circle} \end{align*} Where $P(n, l)$ is a regular polygon with side-lengths $l$, and $n$ sides.
Imagine you have an infinite number of unit-length line segments. If you use $3$ of them, you have an equilateral triangle with side lengths of $1$. If you use $n$ of them, you get the regular $n$ sided polygon with side lengths of $1$. Suppose you were to measure the interior angle of such a polygon. If this angle is less than $180^{\circ}$, then you can work out how many sides were used to construct it. In other words, it's still only a finite number of sides. Thus $\lim_{n\rightarrow\infty}P(n, l)$ must be equal to an infinite straight line. This no longer has any dependence on $l$, because $\infty/l = \infty$ for any $l\neq 0$. Therefore, \begin{align*} \lim_{l\rightarrow 0}\lim_{n\rightarrow\infty}P(n, l) = \lim_{l\rightarrow 0}(\lim_{n\rightarrow\infty}P(n, l)) = \lim_{l\rightarrow 0}(\mathrm{Infinite\ straight\ line}) = \mathrm{Infinite\ straight\ line} \end{align*}
How about the other limit? Suppose you have chosen some number of sides, and their lengths can vary. If you have $3$ sides and they have lengths of $1$, you have an equilateral triangle with side lengths of $1$. For any finite $l$, you will have equilateral triangle with side length $l$. Now if you suppose you have a tiny tiny polygon and it's still a triangle, the side length is clearly some finite $l > 0$. Hence $\lim_{l\rightarrow0}P(n, l)$ must be a single point. No matter how many "sides" you give to a single point it will always just be a single point. Therefore, \begin{align*} \lim_{n\rightarrow\infty}\lim_{l\rightarrow0}P(n, l) = \lim_{n\rightarrow\infty}(\lim_{l\rightarrow0}P(n, l)) = \lim_{n\rightarrow\infty}(\mathrm{Single\ point}) = \mathrm{Single\ point} \end{align*} Clearly a single point is not an infinite line, and they're both certainly not circles. The flaw in your argument is that "the polygon formed when side lengths go to zero and the number of lines goes to infinity" cannot be uniquely described as a circle.
Also I apologise to everybody for my loose use of the word "polygon"