arXiv:1806.00207v1 [math.HO] 1 Jun 2018 omdb hs ie,tecrepnigagei uldstinl is triangle is Euclid’s triangle in our angle in angle corresponding oriented the corresponding sides, these by formed n t ymti) ahtinl fEci,a ela ahtinl of triangle each as well ma triangle as parallelogram the th Euclid, a with to of with common proof triangle replaced in Euclid’s Each is sides of triangle symmetric). generalization every its (where A t and [2] congruent ([4]). in of already trian found rectangles pair had right be the a Euclid rectangles, a of proof, of one of our pair of case every in particular for as the considering, and f by In trigonometric area), as zero geom equal. expressed have equivalent be pairwise rectangles Unfortunately an to were [7]. had in they in proof rectangles found written that similar the be A is all can of it area, area. same areas same [5], the the with [3], with rectangles rectangles [6], of of in pairs whereas three way, involving algebraic an in options best the th of proof one ou thus our and than makes family, its This simple of less visualize. proof simplest to conceptually the righ easy and are two moreover, they of are, which similarity So A gles the angle. on triangles. non-right based Cu congruent common implicitly of with are expressions rectangles expressions trigonometric theo equal-area gonometric the this avoid the of to proof replaced order dissection we In visual completely triangle. a any give we ([6]), cosines ocmueteieial rao h rage/aallgascorr triangles/parallelograms the [2 of and area proof our inevitable 2 th both argu the that In dissection prove compute rectangle. to visual to corresponding order a the in of finding pieces) area congruent p in the of same us set a a helps of into This triangles rectangle two [2], intersection. of have parallelograms not the and triangles Euclid’s BC CA.CB v a aalAlxo 8.Cl ietn.Dl zaaaa P093 CP Iztapalapa. Del. Vicentina. Col. 186. Atlixco, Rafael San Av. , CA aigu h hleg conl addw tteedo i ro ft of proof his of end the at down laid McConnell challenge the up Taking uc-conl’ ro a ulse n[] 3,[] 8.I 8,tepofis proof the [8], In [8]. [5], [3], [6], in published was proof Cuoco-McConnell’s hnoeo h points the of one When elcn uc-conl’ etnlswt ogun tr congruent with rectangles Cuoco-McConnell’s replacing , cos( AB BCA slctdotieissur,sm ra edt eitrrtdin interpreted be to need areas some square, its outside located is ) fteidentity. the of ) nvria Aut´onoma Metropolitana-Iztapalapa Universidad iscinpofo h a fcosines, of law the of proof dissection A eatmnod Matem´aticas de Departamento A -al [email protected] E-mail: ′ , B ABC ′ , ac 1t2018 31st March C atnCelli Martin ′ forpof(ymti of (symmetric proof our of fteterm oee,dntn by denoting However, theorem. the of 1 π/ 2 − x sacneuneo hs n unlike and this, of consequence a As . ,tiooer sol used only is trigonometry ], rao h ragei half is triangle the of area e inlswt aftearea the half with riangles ntos nodrt show to order in unctions, nteerfrne,the references, these in , o oreo geometry. of course a for A atro at tri- fact, of matter a s c-conl’ proof, oco-McConnell’s sodn oteterm the to esponding nydseto proof dissection only e aae oaodthis avoid to managed , e,wihapisto applies which rem, π/ B novn w pairs two involving , l weeapi of pair a (where gle a fcsnscan cosines of law e et(utn each (cutting ment + 2 0 eioCity. Mexico 40. , u ro,hstwo has proof, our i forpofdo proof our of air ogun trian- congruent r eo hstriangle this of de rage iha with triangles t C iangles. ihrsetto respect with x hra the whereas , x noriented an ti way etric elwof law he h angle the written sense, and counted as negative. This already happened in [6], [3], [5], when the triangle was obtuse. Here, it can also happen when an altitude of the triangle ABC is longer than its perpendicular side. We give the proof in the acute case, when the altitude passing through B is longer than AC (thus, the point B′ is outside its square), the other cases can be studied in a similar way.

It is worth mentioning that, in the particular case where the three points A′, B′, C′ are located inside their squares, our proof becomes equivalent to Anderson’s ([1]), where both small triangles adjacent to a same blue/green/red triangle of the figure are cut and pasted, so that the three triangles (or equivalently, the blue/green/red triangle and its symmetric) make a parallelogram. Thus, applying the same transformation (replacing a triangle with a parallelogram made of it and its symmetric), we can obtain the parallelograms of [2] from Euclid’s triangles, and Anderson’s parallelograms from the triangles of the proof of this note. As every triangle of this proof has two sides in common with a triangle of Euclid, with a corresponding angle π−α = π/2−x instead of α = π/2+x, every parallelogram of Anderson and its corresponding parallelogram of [2] are congruent.

Here is our proof: BC2 + CA2 − AB2 = [red square] + [green square] − [blue square]

= (2A3 +2A2 +2A4 +2A1)+((2B3 − 2B2)+(2B4 − 2B1)) − (2C3 +2C2 +2C4 +2C1)

= 2((A3 + A2)+(A4 + A1)+(B3 − B2)+(B4 − B1) − (C3 + C2) − (C4 + C1))

2 = 2([green triangle]+[blue triangle]+[blue triangle]+[red triangle]−[red triangle]−[green triangle]) = 4[blue triangle] = 2CA.CB sin(π/2 − BCA)=2CA.CB cos(BCA)·

References. [1] S. Anderson et al. Comments about McConnell’s ”Illustrated Law of Cosines”. Website ”Interactive Mathematics Miscellany and Puzzles” (A. Bogomolny): https://www.cut-the-knot.org/htdocs/dcforum/DCForumID11/90.shtml [2] I. Boyadzhiev. The Law of Cosines. Website ”Discover Math with GeoGebra”: https://www.geogebra.org/m/ScsxfNx3 [3] A. Cuoco, A. Baccaglini-Frank, J. Benson, N. Antonellis D’Amato, D. Erman, B. Harvey, K. Waterman. CME Project: Geometry. Pearson Education (2009). [4] Euclid. Elements. Book I, proposition 47. Can be found in: https://mathcs.clarku.edu/˜djoyce/java/elements/bookI/propI47.html [5] R. E. Howe. The Cuoco Configuration. Amer. Math. Monthly 120 (2013), no. 10, 916-923. [6] D. McConnell. The Illustrated Law of Cosines. Website ”Interactive Mathematics Mis- cellany and Puzzles” (A. Bogomolny): https://www.cut-the-knot.org/pythagoras/DonMcConnell.shtml [7] J. Molokach. Law of Cosines-A Proof Without Words. Amer. Math. Monthly 121 (2014), no. 8, 722. [8] Entry ”Law of cosines” (3.2 Proofs, using trigonometry). Website ”Wikipedia”: https://en.wikipedia.org/wiki/Law of cosines#Using trigonometry

Martin Celli. Depto. de Matem´aticas, Universidad Aut´onoma Metropolitana-Iztapalapa. Mexico City. E-mail: [email protected]

3