A Multiplicative Identity of Areas in a Triangle

---

This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

---

Proof

|Activities| |Contact| |Front page| |Contents| |Geometry| |Store|

Copyright © 1996-2012 Alexander Bogomolny

Observe that quadrilaterals JMPQ, KMJN, and KNPQ supply the premises for the corollary of Bui Quang Tuan's lemma. Thus we may conclude that

(MPR)² = (JMR)(PQR),
(JNR)² = (JMR)(KNR).
(KQR)² = (PQR)(KNR).

Multiply all three:

(MPR)²(JNR)²(KQR)² = (JMR)²(PQR)²(KNR)².

Since all the areas involved are positive, taking square root we obtain the required identity:

(JMR)(PQR)(KNR) = (JNR)(KQR)(MPR).

At the site of Vanni Gorni the problem is solved a little differently. It appears that it was first published in 1838 in the Belgian magazine Correspondance Mathématique et Physique edited by A. Quetelet (1796-1874). The same issue was expanded in 1859 in the French Nouvelles Annales de Mathématiques edited by Gerono Terquem.

Consider ΔCKM. For definiteness sake, assume MR/KM = λ. Then KR/KM = 1 - λ. (JMR)/(CMK) = λ² while (KNR)/(CMK) = (1 - λ)². From here,

(CJRN)/(CMK) = 1 - λ² - (1 - λ)² = 2λ(1 - λ),

implying (CJRN)/(CMK) = 2·√(JMR)/(CMK) · √(KNR)/(CMK), or

(CJRN)² = 4(JMR)(KNR).

Similarly, in triangles AJK and BNP,

(AMRP)² = 4(PQR)(JMR), and
(BKRQ)² = 4(KNR)(PQR).

Multiplying all three and taking the square root, we obtain

(AMRP)(BKRQ)(CJRN) = 8(JMR)(PQR)(KNR)

- the same identity as before but now in terms of parallelograms.

Acknowledgement: I am grateful to a former correspondent for bringing Vanni Gorni's site to my attention.

|Activities| |Contact| |Front page| |Contents| |Geometry| |Store|

Copyright © 1996-2012 Alexander Bogomolny