Heron’s formula

$\newenvironment {prompt}{}{} \newcommand {\accordion }[0]{} \newcommand {\ungraded }[0]{} \newcommand {\xmDefaultPreamble }[0]{xmPreamble.tex} \newcommand {\xmDefaultPrintstyle }[0]{xmPrintstyle.sty} \newcommand {\celsius }[0]{} \newcommand {\degree }[0]{} \newcommand {\ohm }[0]{} \newcommand {\tri }[0]{\triangle } \newcommand {\l }[0]{\ell } \newcommand {\P }[0]{\mathcal {P}} \newcommand {\R }[0]{\mathbb {R}} \newcommand {\Q }[0]{\mathbb {Q}} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\N }[0]{\mathbb N} \newcommand {\ph }[0]{\varphi } \newcommand {\vec }[0]{\mathbf } \newcommand {\d }[0]{\,d} \newcommand {\egmil }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_person.pdf}\hspace {0.5mm}}} \newcommand {\eghuntho }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_fish.pdf}\hspace {0.5mm}}} \newcommand {\egtentho }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_finger.pdf}\hspace {0.5mm}}} \newcommand {\egtho }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_lotus.pdf}\hspace {0.5mm}}} \newcommand {\eghun }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_scroll.pdf}\hspace {0.5mm}}} \newcommand {\egten }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_heel.pdf}\hspace {0.5mm}}} \newcommand {\egone }[1]{\multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_stroke.pdf}\hspace {0.5mm}}} \newcommand {\egyptify }[7]{ \multido {\i =1+1}{#1}{\includegraphics [scale=.1]{egyptian/egypt_person.pdf}\hspace {0.5mm}} \multido {\i =1+1}{#2}{\includegraphics [scale=.1]{egyptian/egypt_fish.pdf}\hspace {0.5mm}} \multido {\i =1+1}{#3}{\includegraphics [scale=.1]{egyptian/egypt_finger.pdf}\hspace {0.5mm}} \multido {\i =1+1}{#4}{\includegraphics [scale=.1]{egyptian/egypt_lotus.pdf}\hspace {0.5mm}} \multido {\i =1+1}{#5}{\includegraphics [scale=.1]{egyptian/egypt_scroll.pdf}\hspace {0.5mm}} \multido {\i =1+1}{#6}{\includegraphics [scale=.1]{egyptian/egypt_heel.pdf}\hspace {0.5mm}} \multido {\i =1+1}{#7}{\includegraphics [scale=.1]{egyptian/egypt_stroke.pdf}\hspace {0.5mm}} \hspace {.5mm} } \newcommand {\degree }[0]{\ensuremath {^\circ }} \newcommand {\celsius }[0]{\ifmmode ^\circ \mathrm {C}\else $^\circ $C\fi } \newcommand {\ohm }[0]{\ifmmode \Omega \else $\Omega $\fi }$

In this activity we will give two proofs of Heron’s formula.

We’ll start by giving a proof using synthetic geometry.

Part I

The bisectors of the angles of a triangle meet at a point that is the center of the triangle’s inscribed circle.

How can we prove this?

Now draw a triangle with vertices $A$ , $B$ , and $C$ . Draw the incircle. Explain why the radii of the incircle touch the sides of the triangle at right angles.

Label the intersection of the radii with $D$ between $A$ and $B$ , $E$ between $B$ and $C$ , and $F$ between $C$ and $A$ . Compute the areas of the following triangles:

$\triangle AOB,\qquad \triangle BOC,\qquad \triangle COA.$

Use this to express the area of $\triangle ABC$ .

Part II

Explain why

$\triangle AOD \cong \triangle AOF,\qquad \triangle BOD \cong \triangle BOE,\qquad \triangle COF \cong \triangle COE.$

If $AG \cong CE$ , explain why $|BG|$ is the semiperimeter.

Find segments in your drawing equal to the length of

$s-a,\qquad s-b,\qquad s-c.$

Part III

If quadrilateral $AHBO$ has diagonals $AB$ and $OH$ with $\angle HAB$ and $\angle HOB$ being right angles, then $AHOB$ can be inscribed in a circle.

Can you prove this proposition?

The opposite angles of a cyclic quadrilateral sum to two right angles.

Can you prove this proposition?

Now we need to decorate our triangle even more:

(a): Draw $OL$ perpendicular to $OB$ cutting $AB$ at $K$ .
(b): Draw $AM$ perpendicular to $BG$ .
(c): Call the intersection of $OL$ and $AM$ , $H$ .
(d): Draw $BH$ .

Consider quadrilateral $AHBO$ , explain why opposite angles sum to two right angles.

Explain why $\triangle COF$ is similar to $\triangle BHA$ . Use this to explain why

$\frac {|AB|}{|AG|} = \frac {|AH|}{r}.$

Explain why $\triangle KAH$ is similar to $\triangle KDO$ . Use this to explain why

$\frac {|AK|}{|KD|} = \frac {|AH|}{r}.$

Now we see

$\frac {|AB|}{|AG|} = \frac {|AK|}{|KD|}.$

Add $1$ to both sides to obtain

$\frac {|BG|}{|AG|} = \frac {|AD|}{|KD|}.$

Explain why $\triangle KDO$ is similar to $\triangle ODB$ . Use this to explain why

$|KD|\cdot |BD| = r^2.$

Multiply one side of

$\frac {|BG|}{|AG|} = \frac {|AD|}{|KD|}$

by $\frac {|BG|}{|BG|}$ and the other side by $\frac {|BD|}{|BD|}$ to obtain

$r^2|BG|^2 = |AG|\cdot |BG|\cdot |AD|\cdot |BD|.$

Explain how to deduce Heron’s formula.

A modern proof

Now give a modern proof that a high school student might give.

Which proof was harder? Why didn’t the ancient Greeks use our modern proof?

2025-01-06 15:57:10

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Part I

Part II

Part III

A modern proof

Controls

Symbols

Settings