{"id":95,"date":"2017-05-07T11:18:36","date_gmt":"2017-05-07T11:18:36","guid":{"rendered":"https:\/\/petermc.net\/blog\/?p=95"},"modified":"2017-05-07T11:22:21","modified_gmt":"2017-05-07T11:22:21","slug":"the-medians-of-a-triangle-are-concurrent","status":"publish","type":"post","link":"https:\/\/petermc.net\/blog\/2017\/05\/07\/the-medians-of-a-triangle-are-concurrent\/","title":{"rendered":"The medians of a triangle are concurrent"},"content":{"rendered":"<p>In case anyone reading this does not know, a median is a line connecting a vertex of a triangle to the midpoint of the opposite edge. The theorem is that the three medians of a triangle are concurrent (i.e. they meet in a single point). Here are four proofs.<\/p>\n<p><strong>Proof 1:<\/strong> (Transformation geometry)<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/medians-1024x867.png\" alt=\"\" width=\"584\" height=\"494\" class=\"alignnone size-large wp-image-99\" srcset=\"https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/medians-1024x867.png 1024w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/medians-300x254.png 300w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/medians-768x650.png 768w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/medians-500x423.png 500w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/medians.png 1062w\" sizes=\"auto, (max-width: 584px) 100vw, 584px\" \/><br \/>\nLet E and F be the midpoints as shown and let BE and CF intersect at G. Consider the dilation about A with factor 2. It sends E to C, F to B and G to Q (this is the definition of Q). Then EG and CQ are parallel, as are FG and BQ. Thus BGCQ is a parallellogram and the diagonals of a parallelogram bisect each other QED.<\/p>\n<p><strong>Proof 2:<\/strong> (Vectors. Efficient and boring). Write <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7B%5Cbf+a%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"{&#92;bf a}\" class=\"latex\" \/>,  <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7B%5Cbf+b%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"{&#92;bf b}\" class=\"latex\" \/> and  <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7B%5Cbf+c%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"{&#92;bf c}\" class=\"latex\" \/> for A, B and C respectively. Let G be  <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%28%7B%5Cbf+a%7D%2B%7B%5Cbf+b%7D%2B%7B%5Cbf+c%7D%29%2F3&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"({&#92;bf a}+{&#92;bf b}+{&#92;bf c})\/3\" class=\"latex\" \/>. It is easy then to check that the midpoint D of AB is  <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%28%7B%5Cbf+a%7D%2B%7B%5Cbf+b%7D%29%2F2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"({&#92;bf a}+{&#92;bf b})\/2\" class=\"latex\" \/> and that A, D and G are concurrent.<\/p>\n<p><strong>Proof 3:<\/strong> (Why not just prove Ceva&#8217;s Theorem)<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/ceva-1024x783.png\" alt=\"\" width=\"584\" height=\"447\" class=\"alignnone size-large wp-image-105\" srcset=\"https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/ceva-1024x783.png 1024w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/ceva-300x229.png 300w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/ceva-768x587.png 768w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/ceva-500x382.png 500w, https:\/\/petermc.net\/blog\/wp-content\/uploads\/2017\/05\/ceva.png 1062w\" sizes=\"auto, (max-width: 584px) 100vw, 584px\" \/><\/p>\n<p>Ceva&#8217;s Theorem states that in the situation shown, AD, BE and CF are concurrent if and only if<\/p>\n<p align=\"center\"> <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7BBD%7D%7BDC%7D%5Cfrac%7BCE%7D%7BEA%7D%5Cfrac%7BAF%7D%7BFB%7D%3D1.&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;displaystyle &#92;frac{BD}{DC}&#92;frac{CE}{EA}&#92;frac{AF}{FB}=1.\" class=\"latex\" \/> <\/p>\n<p>To prove this, note that in the case of concurrence<\/p>\n<p align=\"center\"> <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7BBD%7D%7BDC%7D%3D%5Cfrac%7B%7CABG%7C%7D%7B%7CACG%7C%7D.&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;displaystyle &#92;frac{BD}{DC}=&#92;frac{|ABG|}{|ACG|}.\" class=\"latex\" \/> <\/p>\n<p>The rest of the proof is routine.<\/p>\n<p><strong>Proof 4:<\/strong> (my favourite) WLOG the triangle is equilateral. Now the statement is obvious (e.g. by symmetry).<\/p>\n<p>Perhaps some elaboration should be made to the WLOG. An affine transformation of <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cmathbb%7BR%7D%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;mathbb{R}^2\" class=\"latex\" \/> is a map of the form <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7B%5Cbf%7Bv%7D%7D%5Cmapsto+A%7B%5Cbf%7Bv%7D%7D%2B%7B%5Cbf%7Bb%7D%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"{&#92;bf{v}}&#92;mapsto A{&#92;bf{v}}+{&#92;bf{b}}\" class=\"latex\" \/> where <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=A&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"A\" class=\"latex\" \/> is an invertible matrix and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%7B%5Cbf%7Bb%7D%7D&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"{&#92;bf{b}}\" class=\"latex\" \/> is a vector. The affine transformations act transitively on the set of (nondegenerate) triangles and the property of having concurrent medians is clearly invariant under these transformations.<\/p>\n<p><strong>Acknowledgements:<\/strong> Thanks to <a href=\"http:\/\/innalukyanenko.org\/\">Inna Lukyanenko<\/a> for the first proof and tikz files, and to <code>pdftoppm<\/code> for converting the .pdf output to .png.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In case anyone reading this does not know, a median is a line connecting a vertex of a triangle to the midpoint of the opposite edge. The theorem is that the three medians of a triangle are concurrent (i.e. they &hellip; <a href=\"https:\/\/petermc.net\/blog\/2017\/05\/07\/the-medians-of-a-triangle-are-concurrent\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[6],"tags":[],"class_list":["post-95","post","type-post","status-publish","format-standard","hentry","category-maths"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":false,"jetpack_shortlink":"https:\/\/wp.me\/p7V6a7-1x","_links":{"self":[{"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/posts\/95","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/comments?post=95"}],"version-history":[{"count":10,"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/posts\/95\/revisions"}],"predecessor-version":[{"id":111,"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/posts\/95\/revisions\/111"}],"wp:attachment":[{"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/media?parent=95"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/categories?post=95"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/petermc.net\/blog\/wp-json\/wp\/v2\/tags?post=95"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}