Parallelogram law

In mathematics, the simplest form of the parallelogram law (also called the parallelogram identity) belongs to elementary geometry. It states that the sum of the squares of the lengths of the four sides of a parallelogram equals the sum of the squares of the lengths of the two diagonals. Using the notation in the diagram on the right, the sides are (AB), (BC), (CD), (DA). But since in Euclidean geometry a parallelogram necessarily has opposite sides equal, or (AB) = (CD) and (BC) = (DA), the law can be stated as, In mathematics, the simplest form of the parallelogram law (also called the parallelogram identity) belongs to elementary geometry. It states that the sum of the squares of the lengths of the four sides of a parallelogram equals the sum of the squares of the lengths of the two diagonals. Using the notation in the diagram on the right, the sides are (AB), (BC), (CD), (DA). But since in Euclidean geometry a parallelogram necessarily has opposite sides equal, or (AB) = (CD) and (BC) = (DA), the law can be stated as, If the parallelogram is a rectangle, the two diagonals are of equal lengths (AC) = (BD) so, and the statement reduces to the Pythagorean theorem. For the general quadrilateral with four sides not necessarily equal, where x is the length of the line segment joining the midpoints of the diagonals. It can be seen from the diagram that, for a parallelogram, x = 0, and the general formula simplifies to the parallelogram law. In the parallelogram on the left, let AD=BC=a, AB=DC=b, ∠BAD = α. By using the law of cosines in triangle ΔBAD, we get: a 2 + b 2 − 2 a b cos ⁡ ( α ) = B D 2 {displaystyle a^{2}+b^{2}-2abcos(alpha )=BD^{2}} In a parallelogram, adjacent angles are supplementary, therefore ∠ADC = 180°-α. By using the law of cosines in triangle ΔADC, we get: a 2 + b 2 − 2 a b cos ⁡ ( 180 ∘ − α ) = A C 2 {displaystyle a^{2}+b^{2}-2abcos(180^{circ }-alpha )=AC^{2}} By applying the trigonometric identity cos ⁡ ( 180 ∘ − x ) = − cos ⁡ x {displaystyle cos(180^{circ }-x)=-cos x} to our former result, we get: