Rhombi, Trapezia, and a Case of Pythagorean (et al.) Expansion | Steve Wait – July 4, 2022

For any triangle A1 B1 C1 where c** is the long leg, an exponent n exists that will satisfy a n + b n = c n of non-Diophantine concern. Vertex trisection of A1 B1 C1 through the proportional center yields areas where B1 C1 D + A1 C1 D = A1 B1 D. Subsequent dilation about the proportional center produces dissimilar quadrilaterals. Ad infinitum, these trapezia can exhibit corresponding conservation of the Pythagorean (et al.) Theorem if for a right triangle and the analogous for those absent perpendicularity.

**Alternatively, a n + b n = c n can be re-written b n – a n = c n at the isosceles inversion point to maintain constancy of convention. This is necessitated as ∠C1 changes between the degenerate triangle limits of zero and π radians, the transition from obtuse scalene to acute scalene. Constrained by this equation, as triangles of a:b < 1 approach isosceles, n becomes extreme. In the case of a:b = 1, the equation is invalid at the equilateral where c fails to be the long leg.

 

To better illustrate this, I have created a Geogebra animation found here Pythagorean Expansion.

Animation Screenshot – Manipulate RED slider and RED point on curve

 

Maintaining the Pythagorean area analogy as the interdependent n and ∠C1 deviate from the orthogonal, necessitates a departure from the conventional expression of area. Used here, rhombic or non-orthogonal area as defined by .5ab and given in units n, maintains harmony with the area of a right triangle while offering distinction from ½ base × height as well Heron.

Thus, the following assertion can be made regarding the requisite trapezia area of “Pythagorean” conformance:

[an= Rhombic Area of TrapeziumB1C1C2B2]+[bn= Rhombic Area of TrapeziumA1C1C2A2]=[cn= Rhombic Area of TrapeziumA1B1B2A2]\left[a^n{=\ Rhombic\ Area\ of\ Trapezium}_{B_1C_1C_2B_2}^\ast\right]+\left[{b}^n{=\ Rhombic\ Area\ of\ {Trapezium}}_{{A}_1{C}_1{C}_2{A}_2}^*\right]=\left[{c}^n{=\ Rhombic\ Area\ of\ {Trapezium}}_{{A}_1{B}_1{B}_2{A}_2}^*\right]

Shape is Square if n=2 *Shape\ is\ Square\ if\ n=2

 

Validity for this statement is found where the a:b ratio is expressed as the compliance exponent n and ∠C1 from:

(a2+b2(2ab×cosC))=an+bnn\sqrt{\left({a}^2+{b}^2-\left(2ab\times\cos{C}\right)\right)}=\sqrt[{n}]{{a}^n+{b}^n}

Via a curve of function:

f(x)=cos1((an+bnn)2+a2+b22ab)f\left(x\right)=\cos^{-1}{\left(\frac{-\left(\sqrt[{n}]{{a}^n+{b}^n}\right)^2+{a}^2+{b}^2}{2ab}\right)}

 

Further, while knowing the proportional center lies along a segment between the mid-points of a and b, I have yet to define it for other than right triangles and therefore use lateral trapezia height to establish the dilated triangle size and proportional center.

ha=2an(((a+b+c2)((a+b+c2)a)((a+b+c2)b)((a+b+c2)c)).5ab)a+(ab)(b(.5ab)+an+bn+cn.5a){h}_a=\frac{2{a}^n\left(\frac{\sqrt{\left(\left(\frac{a+b+{c}}{2}\right)\left(\left(\frac{a+b+{c}}{2}\right)-a\right)\left(\left(\frac{a+b+{c}}{2}\right)-b\right)\left(\left(\frac{a+b+{c}}{2}\right)-c\right)\right)}}{.5ab}\right)}{a+\left(\frac{{a}}{b}\right)\sqrt{\left(\frac{b\left(.5ab\right)+{a}^n+{b}^n+{c}^n}{.5a}\right)}}

hb=2bn(((a+b+c2)((a+b+c2)a)((a+b+c2)b)((a+b+c2)c)).5ab)b+(b(.5ab)+an+bn+cn.5a)h_b=\frac{2{b}^n\left(\frac{\sqrt{\left(\left(\frac{a+b+c}{2}\right)\left(\left(\frac{a+b+c}{2}\right)-a\right)\left(\left(\frac{a+b+c}{2}\right)-b\right)\left(\left(\frac{a+b+c}{2}\right)-c\right)\right)}}{.5ab}\right)}{b+\sqrt{\left(\frac{b\left(.5ab\right)+a^n+b^n+c^n}{.5a}\right)}}