% Comments are preceded by % on each line % Preamble \documentclass[11pt]{article} \usepackage{amsmath,amsfonts} % Load math fonts \pagestyle{empty} % No page numbers % Define special characters preceded by backslash \ \newcommand{\R}{\mathbb{R}} % \R defined as special symbol for real numbers \newcommand{\w}{\vec{w}} % \w defined as u with a little arrow over \renewcommand{\u}{\vec{u}} % \u had a built-in definition, so we redefine \renewcommand{\v}{\vec{v}} \renewcommand{\l}{\vec{\ell}} \begin{document} \centerline{\bf Math 254H \hfill {\large Centroid Theorem} \hfill Jan 11, 2016} % \hfill puts a horizontal buffer between the items \vspace{1em} % skip 1 line \noindent % Prevent indentation at beginning of paragraph A \emph{median} of a triangle is the line segment from a vertex to the midpoint of the opposite side. \vspace{1em} \noindent \textsc{Proposition:} Given any triangle in the plane, the three medians intersect at a common point, which is $\frac{2}{3}$ % Enclose math formulas in $ signs. % The \frac command takes two inputs in brackets {}, the numerator and denominator of the way along each median. \vspace{1em} \noindent \textsc{Proof:} We translate the proposition into the language of vector algebra. Let $\u, \v, \w$ be the vectors from the origin to the vertices of the triangle.. The vector from $\v$ to $\w$ is $\w-\v$, and the midpoint of the corresponding side is: $$ \v + \tfrac{1}{2}(\w-\v) \ = \ \tfrac{1}{2}\v + \tfrac{1}{2}\w. $$ % Enclose displayed formulas in $$ signs % \tfrac makes a small fraction, which here looks better than a two-line fraction The vector from $\u$ to this midpoint is $\tfrac12\v + \tfrac12\w - \u$, and the median from $\u$ to the midpoint % Actually, no need to write \frac{1}{2}, since a command name cannot include numbers, % so 1 and 2 must mean the inputs of the \frac function is the parametrized line segment: $$ \l(t) = \u + t(\tfrac12\v + \tfrac12\w - \u) \ \ \ \text{for} \ \ \ 0 \leq t \leq 1. $$ (That is, the points of the segment are the endpoints of the vectors $\l(t)$, written in standard form from the origin.) The point $\frac23$ of the way along this median is: $$\begin{array}{rcl} % To get multiple equations aligned, use an array (= table) % with 3 columns justified right, center, left. \l(\tfrac23) & = & \u + \tfrac23(\tfrac12\v + \tfrac12\w - \u) % Mark column divisions by & \\[1em] % New line with 1.0em of padding &=& \u + \tfrac13 \v + \tfrac13\w - \tfrac23\u \\[1em] &=& (1-\tfrac23) \u + \tfrac13 \v + \tfrac13\w \\[1em] &=& \tfrac13(\u + \v + \w), \\[.5em] \end{array}$$ where we expand and factor using the distributive property of scalar multiplication over vector addition. The same computation for the other two medians gives their $\frac23$ points: $$ \v + \tfrac23(\tfrac12\u + \tfrac12\w - \v) \ = \ \tfrac13(\u + \v + \w), $$ $$ \w + \tfrac23(\tfrac12\u + \tfrac12\v - \w) \ = \ \tfrac13(\u + \v + \w). $$ Thus, all three medians contain a common point, the $\frac23$ point for each. \hfill $\square$ % A square marks the end of a proof. \vspace{1em} \noindent \textsc{Note:} We call this common point the \emph{centroid} of the triangle. The proof shows it is the vector average of $\u,\v,\w$. \end{document}