\documentclass[12pt]{article}
\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{graphicx}
% Alter some LaTeX defaults for better treatment of figures:
% See p.105 of "TeX Unbound" for suggested values.
% See pp. 199-200 of Lamport's "LaTeX" book for details.
% General parameters, for ALL pages:
\renewcommand{\topfraction}{0.9} % max fraction of floats at top
\renewcommand{\bottomfraction}{0.8} % max fraction of floats at bottom
% Parameters for TEXT pages (not float pages):
\setcounter{topnumber}{2}
\setcounter{bottomnumber}{2}
\setcounter{totalnumber}{4} % 2 may work better
\setcounter{dbltopnumber}{2} % for 2-column pages
\renewcommand{\dbltopfraction}{0.9} % fit big float above 2-col. text
\renewcommand{\textfraction}{0.07} % allow minimal text w. figs
% Parameters for FLOAT pages (not text pages):
\renewcommand{\floatpagefraction}{0.7} % require fuller float pages
% N.B.: floatpagefraction MUST be less than topfraction !!
\renewcommand{\dblfloatpagefraction}{0.7} % require fuller float pages
% remember to use [htp] or [htpb] for placement
\title{When Area and Perimeter are “Equal”}
\author{
Rick Powers \\ Math Instructor \\ Western Technical College, La Crosse, WI \\
rick.powers@gmail.com
}
\begin{document}
\maketitle
\begin{abstract}
Various geometrical shapes are described, for which the numerical value of the perimeter is the same as that of the area. Cases of one or two parameters are explored.
\end{abstract}
\section{Introduction}
While doing basic geometry problems regarding area and perimeter, I have found situations where the numerical value of the area of a figure and its perimeter are the same. That led me to explore the possible conditions when perimeter and area give the same numerical answer. Of course, the units of measure are different (length vs. area).
A few notes of introduction:
\begin{itemize}
\item In this discussion, mention will occasionally be made of integer solutions.
\item Since the area and perimeter have the same value, that number will be denoted by $K$.
\end{itemize}
\section{Cases with only one parameter}
\label{sec:one parameter}
\subsection{The circle}
The relevant equation for a circle of radius $R$ is:
\begin{equation}
\pi R^{2} = 2\pi R
\end{equation}
The solutions are $R$ = 2 or 0. Zero produces an unusual geometry, and we will not consider the zero answer for all further analysis. For $R$ = 2, area and perimeter $K = 4 \pi ≈ 12.566$. So area and perimeter will be equal when the diameter is 4. The number 4 will appear in many different settings in this discussion.
\subsection{The square}
In a similar fashion, for a square with side $S$:
\begin{equation}
S^2 = 4S
\end{equation}
then $S = 4, K=16$.
\subsection{The semicircle}
Again with radius $R$:
\begin{equation}
\frac 1 2 \pi R^2 = \pi R + 2 R
\end{equation}
The solution is $R = 2 + 4/ \pi \approx 3.273, K = 2 \pi+ 8 + 8/ \pi \approx 16.83$.
\subsection{The equilateral triangle}
If the length of each side of the equilateral triangle is $S$, the height is $ \frac{ \sqrt 3} 2 S$:
\begin{equation}
\frac 1 2 S \left( \frac{ \sqrt 3} 2 S \right) =3S
\end{equation}
So then, $S = 4 \sqrt 3 \approx 6.928$, the height is equal to 6, and $K = 12 \sqrt 3 \approx 20.785$.
Note the presence of the number 4, and also the tangent of the angle, since $ \tan (\pi / 3)= \sqrt 3$.
\subsection{The isosceles right triangle}
For an isosceles right triangle with leg length $a$:
\begin{equation}
\frac 1 2 a^2 = \left( 2 + \sqrt 2 \right) a
\end{equation}
So then $a = 4 + 2 \sqrt 2 \approx 6.828$, the hypotenuse is $4 + 4 \sqrt 2\ \approx 9.657$, and $K = 12 + 8 \sqrt 2 \approx 23.314$.
Note the presence of the number 4, and also of $ \tan(\pi / 4) = \sqrt 2$.
\subsection{The 30-60-90 triangle}
With the short side of length $a$, longer side $b$, hypotenuse $c$:
\begin{equation}
\frac {\sqrt 3} 2 a^2= \left( 3 + \sqrt 3 \right)a
\end{equation}
The solution, side lengths, area and perimeter follow:
\begin{align*}
a &=2+2 \sqrt 3 \approx 5.464 \\
b &= \sqrt 3 a = 6 + 2 \sqrt 3 \approx 9.464\\
c &= 2a = 4 + 4 \sqrt 3 \approx 10.928 \\
K &= 12 + 8 \sqrt 3 \approx 25.856
\end{align*}
Note the presence of the number 4, and also $ \tan (\pi / 3)= \sqrt 3$.
\subsection{The general regular polygon}
For completeness, we include the general formula for a regular polygon, though it is not often included in elementary geometry curricula.
Consider a regular polygon, with $n$ as the number of sides, and side length $x$. The line segment drawn from the center of a regular polygon which is perpendicular to a side is called the apothem of the regular polygon. The apothem is the perpendicular bisector of a side of the polygon. The right triangle formed by the apothem and half the side contains the angle adjacent to the apothem, with measure $\pi / n$.
We will show the derivation of the formula for area of the regular polygon determined by side length $x$, with $a$ as the length of the apothem, and then make the connection to the area and perimeter relationship:
\begin{align}
\tan ( \pi / n) &= \frac {x/2} a \\
a&= \frac {x} {2 \tan ( \pi / n )} \label{eq:apothem}\\
\text{Area of polygon}&= (2n) \left( \text{area of right triangle} \right) \\
&=(2n) \left( \frac 1 2 \left( \frac x 2 \right) \frac {x} {2 \tan ( \pi / n )} \right) \\
&= \frac {n x^2} {4 \tan( \pi / n)}
\end{align}
So then, setting area equal to perimeter:
\begin{align}
\frac {n x^2} {4 \tan( \pi / n)} = nx\\
x = 4 \tan( \pi / n)
\end{align}
Replacing this value of $x$ in the equation for the apothem (Equation~\ref{eq:apothem}) yields a value of $a=2$ for all regular polygons where area equals perimeter. This was previously seen in the square of sides equal to 4, and the circle of diameter 4, since a circle can be described as a regular polygon with an infinite number of sides. In fact, the circle with diameter 4 will be the circle inscribed in any regular polygon of this type, and the area of that circle will equal its perimeter.
Table~\ref{tab:regular} shows values for some of these polygons. Note that the solutions are approximate, except for the square.
\begin{table} [htp]
\begin{center}
\caption{Regular polygon where area equals perimeter}
\label{tab:regular}
\begin{tabular}{|c|c|c|}
\hline
\textbf{Number of sides} & \textbf{Length of each side} & $K$ \\
\hline
\hline
3 & 6.928 & 20.78461 \\
\hline
4 & 4 & 16 \\
\hline
5 & 2.906 & 14.53085 \\
\hline
6 & 2.309 & 13.85641 \\
\hline
7 & 1.926 & 13.48409 \\
\hline
8 & 1.657 & 13.25483 \\
\hline
9 & 1.456 & 13.10293 \\
\hline
10 & 1.300 & 12.99679 \\
\hline
11 & 1.175 & 12.91957 \\
\hline
12 & 1.072 & 12.86156 \\
\hline
13 & 0.986 & 12.81685 \\
\hline
14 & 0.913 & 12.78163 \\
\hline
15 & 0.850 & 12.75339 \\
\hline
16 & 0.796 & 12.73039 \\
\hline
17 & 0.748 & 12.7114 \\
\hline
18 & 0.705 & 12.69554 \\
\hline
19 & 0.667 & 12.68216 \\
\hline
20 & 0.634 & 12.67076 \\
\hline
\end{tabular}
\end{center}
\end{table}
As the number of sides increases, the area and perimeter become close to that of the circle ($4 \pi \approx 12.566$), while the length of a single side approaches zero.
Other items of interest: a regular polygon with 13 sides of length 1 has an area of approximately 13.2 square units. A regular polygon with 10 sides of length 1.3 has an area of approximately 13.003 square units.
\begin{figure} [htp]
\centering
\includegraphics [scale=0.05] {Various3.jpg}
\caption{Graphic representation of shapes where area equals perimeter}
\label{various}
\end{figure}
Figure \ref{various} shows the shapes which have been considered so far.
\section{Cases with two parameters}
\subsection{The isosceles triangle}
\subsubsection{Functions of the base length}
Consider an isosceles triangle, with $a$ as the base, $h$ as the height from the base, and $c$ as the slant height.
Using $a$ and $c$, solve for $h$, set area equal to perimeter, solve for $c$, then replace:
\begin{align}
\frac 1 2 a \sqrt {c^2 - a^2 / 4} &= a + 2c \\
c &= \frac {a (a^2+16)} {2(a^2-16)} , a>4 \\
c &= \frac a 2 + \frac 8 {a-4} + \frac 8 {a+4} , a>4 \\
h &=\frac{4 a^2} {a^2-16}, a>4 \\
h &=4+\frac 8 {a-4} - \frac 8 {a+4}, a>4 \\
K &= \frac {2a^3} {a^2 - 16}, a>4 \\
K &= 2a + \frac {16} {a-4} + \frac {16} {a+4} , a>4
\end{align}
Note the importance of the number 4.
The minimum of $c$ occurs with these values:
\begin{align*}
a &=4 \sqrt {2 + \sqrt 5} \approx 8.233\\
c &=(1 + \sqrt 5) \sqrt {2 + \sqrt 5} \approx 6.663\\
h &=3+ \sqrt 5 \approx 5.236\\
K &= (6 + 2\sqrt 5) \sqrt {2 + \sqrt 5} \approx 21.553
\end{align*}
For this triangle, the ratio of $c$ to $a$ is half of the Golden Ratio. The ratio of $c$ to $h$ is the square root of the Golden Ratio. These ratios are close to those of the Great Pyramid of Giza (Wikipedia: see Figure \ref{pyramid}). The right triangle formed by the height, the slant height, and half the base is known as the Kepler triangle (Wikipedia).
\begin{figure} [htp]
\centering
\includegraphics [scale=0.5] {Pyr2.png}
\caption{Great Pyramid of Giza (Source:Wikipedia)}
\label{pyramid}
\end{figure}
Since $h(a)$ is decreasing for all $a$, there is no relative minimum or maximum value for the function, only a horizontal asymptote at 4.
The minimum for $K$ occurs when $a = 4 \sqrt 3 \approx 6.928$, which is the equilateral triangle.
The integer solution for $K$ is $a = 12, K = 27, c = 15/2, h = 9/2$. The right triangle formed by the height, the slant height, and half the base is a 3-4-5 triangle.
\subsubsection{Functions of the height}
\begin{align}
a &= 4 \sqrt { \frac h {h-4}}, h>4 \\
c &= (h-2) \sqrt { \frac h {h-4}}, h>4 \\
K &= 2h \sqrt {\frac h {h-4}}, h>4
\end{align}
Note the importance of the number 4.
\subsection{The right triangle}
\subsubsection{Functions of leg length}
Using the traditional notation, we set the area equal to the perimeter, solve for $c$, square both sides, combine with the Pythagorean Theorem, and solve for $a$ in terms of $b$:
\begin{align}
\frac 1 2 a b &= a + b + c \\
a^2 + b^2 &= \frac 1 4 a^2b^2 -a^2b-ab^2+a^2+2ab+b^2 \\
a &= \frac {4(b-2)} {b-4} , b > 4 \label{eq:inv1}\\
a &= 4 + \frac 8 {b-4}, b > 4 \\
(a - 4)(b-4) &=8, a,b>4 \label{eq:int1} \\
c &=b + \frac 8 {b-4}, b > 4 \\
K &= 2b+4+\frac {16} {b-4}, b > 4
\end{align}
Note the importance of the number 4.
Equation~\ref{eq:inv1} is an example of an involution, a function which is its own inverse. In fact, any rational function of first-degree functions, $f(x) = \frac {ax + b} {cx + d} $, will be an involution when $d = −a$. This function in our context demonstrates the interchangeability of $a$ and $b$ as two legs of the triangle.
Equation~\ref{eq:int1} allows easy identification of integer solutions, which are $(a,b,c; K) = (5, 12, 13; 30), (6, 8, 10; 24), (8, 6, 10; 24), (12, 5, 13; 30)$. There are also integer solutions for K: $$(a,b,c; K)= (20, 9/2, 41/2; 45), (9/2, 20, 41/2; 45)$$.
Note that $a +b = c +4; K = 2c + 4 = 2(a+b) -4$.
The minimum values of $c$ and $K$ occur at $a, b = 4 + 2 \sqrt 2 \approx 6.828 $, which is the isosceles right triangle. Those values are $c = 4(1 + \sqrt 2) \approx 9.657$ and $K = 4(3 + 2 \sqrt 2) \approx 23.314$.
\subsubsection{Functions of the hypotenuse}
\begin{align}
a, b &=\frac {c+4 \pm \sqrt {c^2-8c-16} } 2, c \geq 4(1+ \sqrt 2) \label{eq:quad} \\
K &= 2c + 4, c \geq 4(1+ \sqrt 2)
\end{align}
The values of $a$ and $b$ correspond to the plus and minus values of Equation~\ref{eq:quad}. The function with addition is increasing, and the function with subtraction is decreasing, so the extreme values correspond to the isosceles right triangle.
\subsubsection{Functions of the area and perimeter}
\begin{align}
a, b &=\frac {K+4 \pm \sqrt {K^2-24K+16} } 4, K \geq 4(3 + 2 \sqrt 2) \label{eq:quad2} \\
c &= \frac {K - 4} 2, K \geq 4(3 + 2 \sqrt 2)
\end{align}
The values of $a$ and $b$ correspond to the plus and minus values of Equation~\ref{eq:quad2}.
\subsection{The rectangle}
\subsubsection{Functions of a side}
\begin{align}
LW &=2L+2W \\
L&=\frac {2W} {W-2}, W>2 \label{eq:inv2} \\
L &= 2+ \frac {4} {W-2}, W>2\\
(L-2)(W-2) &=4, L,W>2 \label{eq:int2} \\
K &=\frac {2W^2} {W-2}, W>2 \\
K &= 2W+4+\frac {8} {W-2},W>2 \label{eq:int3}
\end{align}
In these equations, the number 2 is very important, but the number 4 is also involved.
Equation~\ref{eq:inv2} is an involution, similar to Equation~\ref{eq:inv1}. Equation~\ref{eq:int2} leads to integer solutions $(L,W;K)=(3,6;18),(4,4;16),(6,3;18)$. Equation~\ref{eq:int3} leads to the integer solutions $(L, W; K) = (5/2, 10; 25), (10,5/2;25)$.
The minimum value of $K$ is 16, at $L,W=4$, which is the square.
\subsubsection{Function of the area and perimeter}
\begin{equation}
L,W =\frac {K \pm \sqrt K \sqrt{K-16}} 4, K>16
\end{equation}
\subsection{The sector of a circle}
\subsubsection{Functions of the central angle}
Using $r$ for radius, and $t$ for the central angle:
\begin{align}
\frac 1 2 t r^2 &= 2r + tr, 0 < t < 2 \pi \\
r &= \frac {2(t+2)} t, 0 < t < 2 \pi \\
r &= 2 + \frac 4 t, 0 < t < 2 \pi \\
(r-2)(t) &= 4, 0 < t < 2 \pi , r> \frac {2(\pi + 1)} {\pi} \\
K &= \frac {2(t+2)^2} t, 0 < t < 2 \pi \\
K &= 2t+8+ \frac 8 t, 0 < t < 2 \pi
\end{align}
Note the importance of the numbers 2 and 4.
Integer solutions are: $(t, r;K)=(1,6;18),(2, 4;16),(4,3;18)$. An integer solution for $K$ is $ (t, r;K)=(1/2,10,25)$.
The minimum for $K (K=16)$ occurs when $t=2, r=4$.
Note that $2r+2t+4=K$.
See below for connection with the rectangle, which has similar functional behavior.
\subsubsection{Functions of the radius}
\begin{align}
t &=\frac 4 {r-2}, r> \frac {2(\pi + 1)} {\pi} \\
K &= \frac {2r^2} {r-2}, r> \frac {2(\pi + 1)} {\pi} \\
K &= 2r + 4 + \frac 8 {r-2}, r> \frac {2(\pi + 1)} {\pi}
\end{align}
\subsubsection{Functions of the area and perimeter}
\begin{align}
t = \frac {K -8 \pm \sqrt K \sqrt{K-16}} 4, r = \frac {K \mp \sqrt K \sqrt{K-16}} 4 ,& 16 \leq K < \frac {4(\pi + 1)^2} \pi; \\
t = \frac {K -8 - \sqrt K \sqrt{K-16}} 4, r = \frac {K -8 + \sqrt K \sqrt{K-16}} 4 ,& K \geq \frac {4(\pi + 1)^2} \pi
\end{align}
Note that the addition choice on the variable $t$ is limited, since $t < 2\pi$.
\subsubsection{Connection to the rectangle}
If the variable $t$ is replaced by $W-2$, $r$ is replaced by $L$, and the restrictions on the variables are modified as needed, then the equations for the rectangle are obtained.
\subsection{The rhombus}
\subsubsection{Functions of the diagonal}
Consider $a$ and $b$ as the diagonals of the rhombus, with $c$ as the side length.
\begin{align}
\frac 1 2 a b &=4c=2 \sqrt {a^2+b^2}\\
a &=\frac{4b}{\sqrt {b^2-16}}, b>4 \label{eq:inv3}\\
(a^2-16)(b^2-16) &=256,a,b>4 \\
c &= \frac{b^2}{2 \sqrt {b^2-16}}, b>4 \\
K &= \frac{2b^2}{\sqrt {b^2-16}}, b>4
\end{align}
Note the importance of the number 4.
Equation~\ref{eq:inv3} is another involution.
The minimum for $c$ and $K$ occur when $a,b=4 \sqrt 2$, which is the square: $c=4,K=16$.
\subsubsection{Functions of other parameters}
\begin{align}
a,b &= \sqrt 2 \sqrt {c^2 \pm c \sqrt{c^2-16}}, c \geq 4 \\
K &= 4c, c \geq 4 \\
a,b &= \frac {\sqrt 2 \sqrt {K^2 \pm K \sqrt{K^2-256}}} {4}, K \geq 16 \\
c &= K/4,K \geq 16
\end{align}
One interesting note about the rhombus is the measure of the height, which is the perpendicular distance between two parallel sides. Since the area $K = ch = 4c$, then for any rhombus with area equal perimeter, $h=4$.
\section{Conclusion}
The exploration of equivalence between area and perimeter numbers provides experience in algebra, functions, and number theory. It also demonstrates a dependence on the number 4, which seems to have a connection to many of the shapes.
\section{Further topics}
\begin{itemize}
\item The effect of rounding decimal numbers
\item Compound shapes of various types, including the L-shape, and other combinations (attached, subtracted, inscribed, circumscribed)
\item Shapes that require more than two parameters, including the triangle, the parallelogram, and the trapezoid.
\end{itemize}
\end{document}