Posts Tagged ‘Monday Math’

Monday Math 159

August 18, 2014

Find I=\int_0^{\pi/2}\frac{\ln\left(\frac{\tan^{\pi/2}x+1}{2}\right)}{\ln\tan{x}}dx



Monday Math 158

August 11, 2014

Find a non-summation expression for the value of the sum \cos{x}+2\cos{2x}+3\cos{3x}+\cdots+n\cos{nx}.


Monday Math 157

August 4, 2014

Consider a triangle, which we label ∆ABC, with circumcenter O and circumradius R=AO=BO=CO. Let us label the midpoints of the sides as MA, MB and MC, so that MA is the midpoint of BC (the side opposite A), and similarly, so that \overline{AM_{A}}, \overline{BM_{B}} and \overline{CM_{CA}} are the medians. Then \overline{OM_{A}}, <\overline{OM_{B}} and \overline{OM_{C}} are segments of the perpendicular bisectors of the sides. Let us also label the feet of the altitudes from A, B and C as HA, HB and HC, respectively, and let H be the orthocenter (the intersection of the altitudes \overline{AH_{A}}, \overline{BH_{B}} and \overline{CH_{C}}).


Let us construct the point D on the circumcircle diametrically opposed to A; that is to say, the point D such that AD is a diameter of the circumcenter. Then AD=2R, and O is the midpoint of AD.

Now, by Thales’ theorem, ∠ABD and ∠ACD are both right angles. Now, since CD and the altitude \overline{BH_{B}} are both perpendicular to AC, they are parallel to each other. Similarly the altitude \overline{CH_{C}} and segment BD are parallel, both being perpendicular to AB. Thus, the quadrilateral BDCH is a parallelogram.


Since the diagonals of a parallelogram bisect each other, we see that the midpoint MA of BC is also the midpoint of HD.

Now, let PA be the midpoint of the segment AH. Then \overline{P_{A}M_{A}} is a midline of the triangle ∆AHD, and by the triangle midline theorem, \stackrel{\longleftrightarrow}{P_{A}M_{A}}\parallel\stackrel{\longleftrightarrow}{AD} and PAMAAD=R.

Now, let N be the intersection of \overline{P_{A}M_{A}} and HO. By the midline-median bisection theorem proven in this post, we see that, as HO is the median of ∆AHD that crosses midline \overline{P_{A}M_{A}}, N is the midpoint of both \overline{P_{A}M_{A}} and HO. Thus, NMA=NPAPAMAR.

Now, consider the quadrilateral HOMAHA. Since \overline{HH_{A}} and \overline{OM_{A}} are both perpendicular to BC, HOMAHA is a right trapezoid. Letting QA be the midpoint of \overline{H_{A}M_{A}}, we see then that NQ is the median (or midline) of trapezoid HOMAHA.


By the first of the three items proven here, we see that \overline{NQ}\parallel\overline{HH_{A}}\parallel\overline{OM_{A}}, and so \overline{NQ}\perp\overline{H_{A}M_{A}}. Thus, we see that \stackrel{\longleftrightarrow}{NQ} is the perpendicular bisector of \overline{H_{A}M_{A}}, and so, by the perpendicular bisector theorem, NHA=NMA, and so

Constructing diameter BE of the circumcircle gives us parallelogram CEAH, by a similar argument as above. Letting PB be the midpoint of the segment BH, analogous reasoning to the above shows that NHB=NMB=NPBR as well. Lastly, diameter CF, and midpoint PC of CH gives, by similar proof, that NHC=NMC=NPCR. Thus, the nine points MA, MB, MC, HA, HB, HC, PA, PB and MC are all equidistant from N.

Therefore, we see that for any triangle, the midpoints of the sides, the feet of the altitudes, and the midpoints of the segments connecting the vertices to the orthocenter all lie on a single circle, which, for this reason, is usually known as the nine-point circle, and its center N the nine-point center. We also see that the radius of the the nine-point circle is half the radius of the circumcircle, and the nine-point center is the midpoint of the segment connecting the circumcenter and orthocenter. This latter tells us that for any non-equilateral triangle, the nine-point center lies on the Euler line (for an equilateral triangle, it coincides with the circumcenter, orthocenter, and centroid).


Monday Math 156

July 28, 2014

For a trapezoid, the median (also known as the midline or mid-segment) is the segment connecting the midpoints of the legs of the trapezoid. This post presents a proof that:

  1. the median of a trapezoid is parallel to the bases;
  2. the length of the median is half the sum of the lengths of the bases;
  3. the midpoints of the diagonals of a trapezoid also lie on its midline.


Monday Math 155

July 21, 2014

The triangle midline theorem, also called the midsegment theorem, states that the line segment connecting the midpoints of two sides of a triangle is parallel to and half the length of the third side. This may be trivially proven via triangle similarity (SAS similarity condition) and the corresponding angles postulate. More interesting, however, is to prove it using triangle congruence.

Let D and E be the midpoints of sides AB and AC, respectively, of ∆ABC. Let us extend segment DE past E to point F such that DE=EF, and let us draw CF.


Since DE=EF, AE=EC, and vertical angles ∠AED and ∠CEF are congruent, we see by the SAS condition that ∆ADE≅∆CFE. Thus, CF=AD=BD. Also, ∠FCE≅∠DAE; but since these are alternate interior angles for lines \stackrel{\longleftrightarrow}{AD} and \stackrel{\longleftrightarrow}{CF} cut by transversal \stackrel{\longleftrightarrow}{AC}, we see that \stackrel{\longleftrightarrow}{AD}\parallel\stackrel{\longleftrightarrow}{CF}. But then the quadilateral BCFD has a pair of opposite sides, BD and CF, which are of equal length and parallel, so it is therefore a parallelogram, and so \stackrel{\longleftrightarrow}{DE}\parallel\stackrel{\longleftrightarrow}{BC}. And since opposite sides of a parallelogram have equal length, DF=BC, and so DEDFBC.

We can also prove a similar theorem: that the line through the midpoint of one side of a triangle parallel to a second side of the triangle bisects the third side, and that the segment of that line inside the triangle is one-half as long as the parallel side. As with the midpoint theorem, it is trivial to prove with triangle similarity (this time the AA condition) and the corresponding angles postulate. So, instead, we use a similar construction as above.

Let D be the midpoint of side AB of ∆ABC, and let E be the point where the line through D parallel to BC intersects AC. Construct the line through C parallel to AB, and let F be the point where it intersects \stackrel{\longleftrightarrow}{DE}


Then BCFD is a parallelogram, and since opposite sides of a parallelogram have the same length, BD=CF and BC=DF. And so CF=BD=AD. And since ∠ADE and ∠CFE are alternate interior angles for lines \stackrel{\longleftrightarrow}{AD} and \stackrel{\longleftrightarrow}{CF} cut by transversal \stackrel{\longleftrightarrow}{DF}, they are congruent. Similarly, ∠DAE≅∠CFE, and so, by the ASA condition, ∆ADE≅∆CFE. Thus, AE=EC, and E is thus the midpoint of AC. We see also that DE=EF, and since DF=BC, thus DEDFBC.

Using both of these theorems together, we can prove a third: that a midline (mid-segment) of a triangle and the triangle median that intersects it bisect each other.

Let MA, MB and MC be the midpoints of sides BC, AC and AB, respectively, of ∆ABC. Thus, \overline{M_{B}M_{C}} is a midline of ∆ABC, and \overline{AM_{A}} a median. Let P be the point where they intersect.


By the midline theorem, \stackrel{\longleftrightarrow}{M_{B}M_{C}}\parallel\stackrel{\longleftrightarrow}{BC} and MBMCBC.

This means, then, that \stackrel{\longleftrightarrow}{M_{C}P}\parallel\stackrel{\longleftrightarrow}{BM_{A}}, and so by our second theorem above with regards to ∆ABMA, we see that P must be the midpoint of \overline{AM_{A}}, and MCPBMA.

Similarly, our second theorem applied to triangle AMAC establishes that MBPCMA. But BMA=CMA, and so MBP=MCP, and P is the midpoint of \overline{M_{B}M_{C}} as well.

Monday Math 154

July 14, 2014

Continuing the series on triangle centers, let us consider ∆ABC, with circumcenter O and centroid G. Construct the line segment OG, and extend it out from G to the point H such that GH=2OG.

Next, construct the median from vertex A to the midpoint M of side BC. Then G lies on AM, with AG=2GM, as we showed here. Recalling that the circumcenter is the intersection of the perpendicular bisectors of the sides, we see that OMBC.


Now, since AG=2GM, GH=2OG, and ∠AGH≅∠MGO, we see (by the SAS similarity condition) that ∆AGH~∆MGO. And since these triangles are similar, corresponding angles ∠HAG and ∠OMG are congruent. However, these are alternate interior angles for lines \stackrel{\longleftrightarrow}{AH} and \stackrel{\longleftrightarrow}{OM} cut by transversal \stackrel{\longleftrightarrow}{AM}, and therefore \stackrel{\longleftrightarrow}{AH}\parallel\stackrel{\longleftrightarrow}{OM}. And since OMBC, we see \stackrel{\longleftrightarrow}{AH}\perp\overline{BC}, and \stackrel{\longleftrightarrow}{AH} is the triangle altitude from A to BC.

Analogous constructions show that H must also be on the triangle altitudes from B and C:


Thus, we see that H is the orthocenter of ∆ABC. So, we see that for any non-equilateral triangle, the circumcenter O, centroid G and orthocenter H are collinear, with GH=2OG; the line through these triangle centers is known as the Euler line of the triangle. (For an equilateral triangle, O, G and H are all the same point.)

Monday Math 153

July 7, 2014

A few weeks ago, I demonstrated a proof that all three medians of any triangle are concurrent; in other words, that the centroid exists.

Now, how about demonstrating that the circumcenter and orthocenter exist; that is to say, showing that the three perpendicular bisectors of the sides are concurrent, and that the three altitudes are concurrent, for any triangle.


Monday Math 152

June 30, 2014

Find the point in the interior of a triangle for which the product of the distances from that point to the sides of the triangle is maximized.


Monday Math 151

June 23, 2014

Find the values of x,y,z≥0 that maximize the value of f(x,y,z)=xyz, subject to the constraint ax+by+cz=d, where a, b, c and d are positive real numbers.

Monday Math 150

June 16, 2014

1) That all three medians of a triangle intersect at a single point (the centroid of the triangle), and that this point divides the medians into segments with a 2:1 length ratio.


2) That the six smaller triangles into which a triangle is divided by its medians have equal area.