diff --git a/docs/make.jl b/docs/make.jl
index bcd8614..ee4c587 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -18,8 +18,9 @@ makedocs(;
"Algebra/04 Finding Polynomial Roots and Zeros.md"
],
"Geometry" => [
- "Geometry/01 Triangles.md"
- # "Geometry/02 Hyperbola.md" # TODO: Uncomment when ready to show
+ "Geometry/01 Triangles.md",
+ "Geometry/02 Quadrilaterals.md",
+ # "Geometry/03 Hyperbola.md" # TODO: Uncomment when ready to show
],
# "Linear Algebra" => [ # TODO: Uncomment when ready to show
# "Linear Algebra/01 Systems of Equations.md",
diff --git a/docs/src/Geometry/01 Triangles.md b/docs/src/Geometry/01 Triangles.md
index 4ebec08..0c98345 100644
--- a/docs/src/Geometry/01 Triangles.md
+++ b/docs/src/Geometry/01 Triangles.md
@@ -164,6 +164,10 @@ Right triangles have special properties and are fundamental to trigonometry.
- The altitude bisects the base, creating a segment of length $a$.
- The altitude itself has length $a\sqrt{3}$, leading to the ratios mentioned above.
+## Further Information
+
+More information about triangles are found in the trigonometry section of this documentation. Specifically, the sections on [trigonometric functions](../Trigonometry/02 Trigonometric Functions.md) provide deeper insights into the relationships between triangle angles and side lengths.
+
## Applications
### Surveying and Navigation
diff --git a/docs/src/Geometry/02 Quadrilaterals.md b/docs/src/Geometry/02 Quadrilaterals.md
new file mode 100644
index 0000000..542b309
--- /dev/null
+++ b/docs/src/Geometry/02 Quadrilaterals.md
@@ -0,0 +1,354 @@
+# Quadrilateral
+
+## Introduction
+
+This section begins a look at geometric figures in the plane that are not quite as simple as triangles. Some of these figures can be built by putting triangles together in an appropriate way--these are _quadrilaterals_ and more general figures called _polygons_. Polygons are bounded by lines. This distinguishes them from _plane figures_, which have a curved edge. Plane figures cannot be constructed perfectly by composition of triangles although they can be approximated with arbitrary accuracy by using enough triangles. Plane figures include circles, ellipses, and parabolas. We will look at some of these in later sections.
+
+## Key Concepts
+
+A [quadrilateral](https://mathworld.wolfram.com/Quadrilateral.html/) is a [polygon](https://mathworld.wolfram.com/Polygon.html) with four sides and four angles. The vertices $A$, $B$, $C$ and $D$ should be arranged in such a way, that I can draw the lines from $A$ to $B$, $B$ to $C$, $C$ to $D$ and finally from $D$ to $A$ again in such a way, that they do not intersect and thus actually lead to the outline of a two-dimensional figure.
+
+The _diagonal_ lines $AC$ and $BD$ connect opposite corners of the quadrilateral. The sum of the interior angles of any quadrilateral is always 360 degrees. This can be shown by dividing the quadrilateral into two triangles by drawing one of its diagonals. Each triangle has an angle sum of 180 degrees, so the total for the quadrilateral is $180^\circ + 180^\circ = 360^\circ$.
+
+## Types of Quadrilaterals
+
+There are several types of quadrilaterals, each with its own properties:
+
+- **General**: No specific properties; sides and angles can be of any length and measure.
+- **[Concave](https://mathworld.wolfram.com/ConcavePolygon.html)**: A general quadrilateral where at least one interior angle is greater than 180 degrees, and at least one vertex points inward.
+- **[Convex](https://mathworld.wolfram.com/ConvexPolygon.html)**: A general quadrilateral where all interior angles are less than 180 degrees, and no vertices point inward.
+- **[Trapezoid](https://mathworld.wolfram.com/Trapezoid.html) (US) / Trapezium (UK)**: At least one pair of opposite sides is parallel.
+- **[Kite](https://mathworld.wolfram.com/Kite.html)**: Two pairs of adjacent sides are equal, and one pair of opposite angles are equal.
+- **[Parallelogram](https://mathworld.wolfram.com/Parallelogram.html)**: Opposite sides are equal and parallel, and opposite angles are equal.
+- **[Rhombus](https://mathworld.wolfram.com/Rhombus.html)**: Parallelogram with all sides equal. Opposite angles are equal.
+- **[Rectangle](https://mathworld.wolfram.com/Rectangle.html)**: Opposite sides are equal, and all angles are 90 degrees.
+- **[Square](https://mathworld.wolfram.com/Square.html)**: All sides are equal, and all angles are 90 degrees.
+
+## Key Properties
+
+### Angles and Diagonals Properties
+
+- In concave quadrilaterals, one interior angle is greater than 180^\circ and at least one diagonal lies outside the figure.
+- In convex quadrilaterals, each interior angle is less than or equal to 180^\circ and I can draw both diagonals without them leaving the figure.
+- The adjacent angles of a parallelogram are supplementary (sum to 180 degrees).
+- The opposite angles of a parallelogram are equal.
+- One pair of opposite angles in a kite are equal, the other pair are not.
+- The consecutive angles of a parallelogram are supplementary.
+- The diagonals of a quadrilateral bisect each other if and only if it is a parallelogram.
+- The diagonals of a parallelogram are equal in length.
+- The diagonals of a rectangle and square bisect each other and are equal in length.
+- The diagonals of a rhombus bisect each other at right angles but are not necessarily equal in length.
+- The diagonals of a kite are perpendicular, and one diagonal bisects the other.
+
+### Diagonal Length Calculation
+
+The lengths of the diagonals can be calculated using the properties of the specific type of quadrilateral.
+
+- **Square:** $d = a\sqrt{2}$, where $d$ is the length of the diagonal and $a$ is the length of a side.
+- **Rectangle:** The diagonals are equal in length and can be found using the Pythagorean theorem: $d = \sqrt{l^2 + w^2}$, where $l$ is the length and $w$ is the width.
+- **Parallelogram Acute Angle:** Using the [law of cosines](../Trigonometry/02 Trigonometric Functions.md) with side lengths $a$ and $b$ and angle $A$ enclosed by these sides: $d = \sqrt{a^2 + b^2 - 2ab \cos A}$
+- **Parallelogram Obtuse Angle:** Using the [law of cosines](../Trigonometry/02 Trigonometric Functions.md) with side lengths $a$ and $b$ and angle $180 - A$ enclosed by these sides: $d = \sqrt{a^2 + b^2 + 2ab \cos A}$ (since $\cos (180 - A) = - \cos A$)
+- **Kite:** For a kite with two pairs of adjacent sides of lengths $a$ and $b$, and diagonals $d_1$ (main diagonal) and $d_2$ (cross diagonal), the relationship is: $d_1^2 + d_2^2 = 2(a^2 + b^2)$. If one diagonal length is known, the other can be calculated using this relationship.
+- **Rhombus:** For a rhombus with side length $a$ and diagonals $d_1$ and $d_2$, the relationship is: $d_1^2 + d_2^2 = 4a^2$. If one diagonal is known, the other can be calculated. Alternatively, if the angle $\theta$ between sides is known: $d_1 = 2a\sin(\theta/2)$ and $d_2 = 2a\cos(\theta/2)$.
+- **Trapezoid:** For a general trapezoid with parallel sides $a$ and $c$, non-parallel sides $b$ and $d$, and height $h$, diagonal lengths must be calculated using coordinate geometry or the law of cosines with known angles. No simple general formula exists.
+- **Concave Quadrilateral:** Diagonal lengths must be calculated using the law of cosines with known side lengths and angles. Care must be taken with angle measurements due to the concave nature.
+- **Convex Quadrilateral:** Diagonal lengths can be calculated using the law of cosines: $d^2 = a^2 + b^2 - 2ab\cos(C)$, where $a$ and $b$ are adjacent sides and $C$ is the included angle.
+- **General Quadrilateral:** For a general quadrilateral, the lengths of the diagonals can be calculated using the law of cosines if the lengths of all sides and one angle are known.
+
+### Area Calculation
+
+The area formulas for quadrilaterals vary significantly based on their specific properties and the information available:
+
+- **Square:** $F = s^2$, where $s$ is the length of a side.
+- **Rectangle:** $F = l \times w$, where $l$ is the length and $w$ is the width.
+- **Parallelogram:** $F = b \times h$, where $b$ is the base and $h$ is the perpendicular height. Alternatively, $F = ab\sin(C)$, where $a$ and $b$ are adjacent sides and $C$ is the included angle.
+- **Rhombus:** $F = \frac{1}{2}d_1 d_2$, where $d_1$ and $d_2$ are the diagonal lengths. Alternatively, $F = a^2\sin(A)$, where $a$ is the side length and $A$ is any interior angle.
+- **Trapezoid:** $F = \frac{1}{2}(b_1 + b_2)h$, where $b_1$ and $b_2$ are the lengths of the parallel sides and $h$ is the perpendicular distance between them.
+- **Kite:** $F = \frac{1}{2}d_1 d_2$, where $d_1$ and $d_2$ are the diagonal lengths (diagonals are perpendicular in a kite). This requires knowledge of both diagonal lengths or we can use the law of cosines to calculate the diagonal lengths if we know the lengths of the sides and all the angles between them.
+- **Concave Quadrilateral:** Area calculation depends on the specific shape. Can be computed by dividing into triangles and using appropriate signs for orientation.
+- **Convex Quadrilateral:** For a general convex quadrilateral with known vertices, use the [Shoelace formula](https://mathworld.wolfram.com/PolygonArea.html): $F = \frac{1}{2}|x_1(y_2-y_4) + x_2(y_3-y_1) + x_3(y_4-y_2) + x_4(y_1-y_3)|$.
+- **General Quadrilateral:** When diagonals and their intersection angle are known: $F = \frac{1}{2}d_1 d_2 \sin(\theta)$, where $d_1$ and $d_2$ are diagonal lengths and $\theta$ is the angle between them. For arbitrary quadrilaterals, [Bretschneider's formula](https://mathworld.wolfram.com/BretschneidersFormula.html) can be used when all four sides and two opposite angles are known.
+
+### Geometric Proof of Kite Area Formula
+
+```@raw html
+
+```
+
+### Geometric Proof of Trapezoid Area Formula
+
+```@raw html
+
+```
+
+## Applications
+
+Quadrilaterals are commonly used in various fields such as architecture, engineering, and computer graphics. They form the basis for many structures and designs due to their stability and ease of construction.
diff --git a/docs/src/Geometry/02 Hyperbola.md b/docs/src/Geometry/03 Hyperbola.md
similarity index 100%
rename from docs/src/Geometry/02 Hyperbola.md
rename to docs/src/Geometry/03 Hyperbola.md
diff --git a/docs/src/Trigonometry/02 Trigonometric Functions.md b/docs/src/Trigonometry/02 Trigonometric Functions.md
index 106bd82..f88bc99 100644
--- a/docs/src/Trigonometry/02 Trigonometric Functions.md
+++ b/docs/src/Trigonometry/02 Trigonometric Functions.md
@@ -282,7 +282,7 @@ $$\begin{aligned}
&= \frac{c}{2a}
\end{aligned}$$
-So the adjacent interior angles $A$ and $B$ are equal.
+So the adjacent interior angles $A$ and $B$ are equal.
For the apex angle $C$ opposite the base $c$, we have: $C = 180 - 2A$.
diff --git a/notebooks/Basics.ipynb b/notebooks/Basics.ipynb
index b32c850..7614fe6 100644
--- a/notebooks/Basics.ipynb
+++ b/notebooks/Basics.ipynb
@@ -9,7 +9,7 @@
},
{
"cell_type": "code",
- "execution_count": 2,
+ "execution_count": 1,
"metadata": {},
"outputs": [],
"source": [
@@ -2463,7 +2463,7 @@
},
{
"cell_type": "code",
- "execution_count": 1,
+ "execution_count": 4,
"metadata": {},
"outputs": [],
"source": [
@@ -3240,19 +3240,271 @@
" println(\"Error: \", e)\n",
"end"
]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "## Polygons\n"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### Quadrilaterals"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 47,
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "a side of parallelogram is 5\n",
+ "b side of parallelogram is 3\n",
+ "obtuse angle β is 120°\n",
+ "acute angle α is 180 - β 60°\n",
+ "acute diagonal d₁ of parallelogram is √(a^2 + b^2 - 2ab * cos(α)) or 4.3589\n",
+ "obtuse diagonal d₂ of parallelogram is √(a^2 + b^2 - 2ab * cos(β)) or 7.0\n",
+ "Alternatively:\n",
+ "obtuse diagonal d₂ of parallelogram is √(a^2 + b^2 + 2ab * cos(α)) or 7.0\n",
+ "area F of parallelogram is ab * sin(α) or 12.99038\n"
+ ]
+ }
+ ],
+ "source": [
+ "a = 5\n",
+ "b = 3\n",
+ "β = 120\n",
+ "α = 180 - β\n",
+ "println(\"a side of parallelogram is \", a)\n",
+ "println(\"b side of parallelogram is \", b)\n",
+ "println(\"obtuse angle β is \", β, \"°\")\n",
+ "println(\"acute angle α is 180 - β \", α, \"°\")\n",
+ "d₁ = sqrt(a^2 + b^2 - 2 * a * b * cosd(α))\n",
+ "println(\"acute diagonal d₁ of parallelogram is √(a^2 + b^2 - 2ab * cos(α)) or \", round(d₁; digits=5))\n",
+ "d₂ = sqrt(a^2 + b^2 - 2 * a * b * cosd(β))\n",
+ "println(\"obtuse diagonal d₂ of parallelogram is √(a^2 + b^2 - 2ab * cos(β)) or \", round(d₂; digits=5))\n",
+ "println(\"Alternatively:\")\n",
+ "d₂ = sqrt(a^2 + b^2 + 2 * a * b * cosd(α))\n",
+ "println(\"obtuse diagonal d₂ of parallelogram is √(a^2 + b^2 + 2ab * cos(α)) or \", round(d₂; digits=5))\n",
+ "F = a * b * sind(α)\n",
+ "println(\"area F of parallelogram is ab * sin(α) or \", round(F; digits=5))"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 1,
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "a side of kite is 7\n",
+ "b side of kite is 13\n",
+ "symmetrical angle α between a & b sides of kite is 118°\n",
+ "diagonal d₁ between vertices with angle β and γ is √(a² + b² - 2ab * cos(α)) or 17.41964\n",
+ "Calculate area using Heron's formula approach\n",
+ "Triangle (a,b,d₁) semi-perimeter s = 18.70982\n",
+ "Triangle area using Heron's formula = 40.17412\n",
+ "Total area using Heron's formula = 2 × triangle area = 80.34823\n",
+ "Calculate area using the formula for kite area with angle α\n",
+ "Area using kite formula = ab * sin(α) = 80.34823\n",
+ "Both methods give the same area: true\n",
+ "Calculate d₂ using Area formula approach where F=(d₁*d₂)/2 so d₂ = (2*F)/d₁\n",
+ "diagonal d₂ between vertices with angle β and γ is (2*F)/d₁ or 9.22502\n",
+ "angle β and γ are not equal and this can be proven using the Cosine Law\n",
+ "assume they are equal and angle β = angle γ = (360 - 2 * α)/2 = 62.0 degrees\n",
+ "Calculate diagonal d₂ using Cosine Law in isosceles triangle (b,b,d₂)\n",
+ "diagonal d₂ between vertices with angle α is √(2b² - 2b² * cos(β)) or 13.39099\n",
+ "Area using diagonals = (d₁ * d₂) / 2 = 116.63311\n",
+ "Calculate diagonal d₂ using Cosine Law in isosceles triangle (a,a,d₂)\n",
+ "diagonal d₂ between vertices with angle α is √(2a² - 2a² * cos(β)) or 7.21053\n",
+ "Even though both isosceles triangles share the same diagonal d₂, the law of cosines gives different d₂ values.\n",
+ "Hence our assumption that β = γ is false and the angles are not equal.\n",
+ "We cannot calculate the diagonal d₂ without more information about these angles.\n"
+ ]
+ }
+ ],
+ "source": [
+ "a = 7\n",
+ "println(\"a side of kite is \", a)\n",
+ "b = 13\n",
+ "println(\"b side of kite is \", b)\n",
+ "α = 118\n",
+ "println(\"symmetrical angle α between a & b sides of kite is \", α, \"°\")\n",
+ "# Calculate the diagonal connecting vertices with angle α surrounded by sides a and b\n",
+ "d₁ = sqrt(a^2 + b^2 - 2*a*b*cosd(α))\n",
+ "println(\"diagonal d₁ between vertices with angle β and γ is √(a² + b² - 2ab * cos(α)) or \", round(d₁; digits=5))\n",
+ "println(\"Calculate area using Heron's formula approach\")\n",
+ "# The kite can be divided into two symmetrical triangles sharing diagonal d₁\n",
+ "# Each triangle has sides: a, b, d₁\n",
+ "# Calculate area of one triangle using Heron's formula\n",
+ "s = (a + b + d₁) / 2 # semi-perimeter\n",
+ "area_triangle = sqrt(s * (s - a) * (s - b) * (s - d₁))\n",
+ "println(\"Triangle (a,b,d₁) semi-perimeter s = \", round(s; digits=5))\n",
+ "println(\"Triangle area using Heron's formula = \", round(area_triangle; digits=5))\n",
+ "# Total area using Heron's formula (two identical triangles)\n",
+ "area_heron = 2 * area_triangle\n",
+ "println(\"Total area using Heron's formula = 2 × triangle area = \", round(area_heron; digits=5))\n",
+ "println(\"Calculate area using the formula for kite area with angle α\")\n",
+ "area_kite = a * b * sind(α)\n",
+ "println(\"Area using kite formula = ab * sin(α) = \", round(area_kite ; digits=5))\n",
+ "println(\"Both methods give the same area: \", round(area_heron; digits=5) == round(area_kite ; digits=5))\n",
+ "println(\"Calculate d₂ using Area formula approach where F=(d₁*d₂)/2 so d₂ = (2*F)/d₁\")\n",
+ "d₂ = (2 * area_kite) / d₁\n",
+ "println(\"diagonal d₂ between vertices with angle β and γ is (2*F)/d₁ or \", round(d₂; digits=5))\n",
+ "println(\"angle β and γ are not equal and this can be proven using the Cosine Law\")\n",
+ "β = (360 - (2 * α)) / 2\n",
+ "println(\"assume they are equal and angle β = angle γ = (360 - 2 * α)/2 = \", β, \" degrees\")\n",
+ "println(\"Calculate diagonal d₂ using Cosine Law in isosceles triangle (b,b,d₂)\")\n",
+ "d₂ = sqrt(2*b^2 - 2*b^2*cosd(β))\n",
+ "println(\"diagonal d₂ between vertices with angle α is √(2b² - 2b² * cos(β)) or \", round(d₂; digits=5))\n",
+ "area_diag = (d₁ * d₂) / 2\n",
+ "println(\"Area using diagonals = (d₁ * d₂) / 2 = \", round(area_diag; digits=5))\n",
+ "println(\"Calculate diagonal d₂ using Cosine Law in isosceles triangle (a,a,d₂)\")\n",
+ "d₂ = sqrt(2*a^2 - 2*a^2*cosd(β))\n",
+ "println(\"diagonal d₂ between vertices with angle α is √(2a² - 2a² * cos(β)) or \", round(d₂; digits=5))\n",
+ "println(\"Even though both isosceles triangles share the same diagonal d₂, the law of cosines gives different d₂ values.\")\n",
+ "println(\"Hence our assumption that β = γ is false and the angles are not equal.\")\n",
+ "println(\"We cannot calculate the diagonal d₂ without more information about these angles.\")\n"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 3,
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "Now that we have d₂ we can calculate the angles β and γ using the Cosine Law in triangles (a,a,d₁) and (b,b,d₂)\n",
+ "diagonal d₂ between vertices with angle β and γ is (2*F)/d₁ or 9.22502\n",
+ "Calculate angle γ using Cosine Law in triangle (b,b,d₂)\n",
+ "angle γ is acos((d₁^2 - 2*b^2) / -(2 * b^2)) = 41.5634 degrees\n",
+ "Calculate angle β in triangle (a,a,d₁) using Cosine Law fails, but we can calculate it now that we know angle γ.\n",
+ "angle β is 360 - 2α - γ = 82.4366 degrees\n",
+ "Check that angles sum to 360 degrees: 2α + β + γ = 360.0 degrees\n"
+ ]
+ }
+ ],
+ "source": [
+ "println(\"Now that we have d₂ we can calculate the angles β and γ using the Cosine Law in triangles (a,a,d₁) and (b,b,d₂)\")\n",
+ "# recalculate d₂ = (2 * area_kite) / d₁\n",
+ "d₂ = (2 * area_kite) / d₁\n",
+ "println(\"diagonal d₂ between vertices with angle β and γ is (2*F)/d₁ or \", round(d₂; digits=5))\n",
+ "#cosβ = (d₁^2 - 2*a^2) / -(2 * a^2) # gives error out of cosine range\n",
+ "#β = round(acosd(cosβ); digits=5) \n",
+ "#println(\"angle β is acos((d₁^2 - 2*a^2) / -(2 * a^2)) = \", β, \" degrees\")\n",
+ "println(\"Calculate angle γ using Cosine Law in triangle (b,b,d₂)\")\n",
+ "cosγ = (d₂^2 - 2*b^2) / -(2 * b^2)\n",
+ "γ = round(acosd(cosγ); digits=5)\n",
+ "println(\"angle γ is acos((d₁^2 - 2*b^2) / -(2 * b^2)) = \", γ, \" degrees\")\n",
+ "println(\"Calculate angle β in triangle (a,a,d₁) using Cosine Law fails, but we can calculate it now that we know angle γ.\")\n",
+ "β = round(360 - 2α - γ; digits=5)\n",
+ "println(\"angle β is 360 - 2α - γ = \", β, \" degrees\")\n",
+ "println(\"Check that angles sum to 360 degrees: 2α + β + γ = \", round(2*α + β + γ; digits=5), \" degrees\")"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 3,
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "Trapezoid area\n",
+ "parallel side a of trapezoid is 6\n",
+ "The length of parallel side b is 4\n",
+ "The length of left side c adjacent to a is 1.4142135623730951\n",
+ "The angle α between sides a and c is 45°\n",
+ "sin(α) = opposite/hypotenuse = h/c so h = c * sin(α)\n",
+ "height h of trapezoid is c * sin(α) = 1.0\n",
+ "area F of trapezoid is (a + b) * h / 2 = 5.0\n"
+ ]
+ }
+ ],
+ "source": [
+ "println(\"Trapezoid area\")\n",
+ "a = 6\n",
+ "println(\"parallel side a of trapezoid is \", a)\n",
+ "b = 4\n",
+ "c = sqrt(2)\n",
+ "α = 45\n",
+ "println(\"The length of parallel side b is \", b)\n",
+ "println(\"The length of left side c adjacent to a is \", c)\n",
+ "println(\"The angle α between sides a and c is \", α, \"°\")\n",
+ "h = c * sind(α)\n",
+ "println(\"sin(α) = opposite/hypotenuse = h/c so h = c * sin(α)\")\n",
+ "println(\"height h of trapezoid is c * sin(α) = \", round(h; digits=5) )\n",
+ "F = (a + b) * h / 2\n",
+ "println(\"area F of trapezoid is (a + b) * h / 2 = \", round(F; digits=5))"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "Determine all the side lengths and the angles of an isosceles trapezoid of area 1 in which one of the two parallel sides has the same length as the height to that sideand the remaining parallel side is twice as long.\n",
+ "\n",
+ "Let the lengths of the two parallel sides be $a$ and $b$, with $a$ being the shorter side. Let the height of the trapezoid be $h$. According to the problem, we have:\n",
+ "$$a = h$$\n",
+ "$$b = 2h$$\n",
+ "From the second equation, we can express $h$ in terms of $a$:\n",
+ "$$\\text{F} = \\frac{(a + b)}{2} \\cdot h = 1$$\n",
+ "$$\\text{F} = \\frac{(h + 2h)}{2} \\cdot h = 1$$\n",
+ "$$\\frac{3h^2}{2} = 1$$\n",
+ "$$h^2 = \\frac{2}{3}$$\n",
+ "$$h = \\sqrt{\\frac{2}{3}} = \\frac{\\sqrt{6}}{3}$$\n",
+ "Now we can find the lengths of the parallel sides:\n",
+ "$$a = h = \\frac{\\sqrt{6}}{3}$$\n",
+ "$$b = 2h = 2 \\cdot \\frac{\\sqrt{6}}{3} = \\frac{2\\sqrt{6}}{3}$$\n",
+ "Next, we can find the lengths of the non-parallel sides (the legs) using the Pythagorean theorem. Let the length of each leg be $c$. The legs form right triangles with the height and half the difference of the parallel sides:\n",
+ "$$c^2 = h^2 + \\left(\\frac{b - a}{2}\\right)^2$$\n",
+ "$$c^2 = \\left(\\frac{\\sqrt{6}}{3}\\right)^2 + \\left(\\frac{\\frac{2\\sqrt{6}}{3} - \\frac{\\sqrt{6}}{3}}{2}\\right)^2$$\n",
+ "$$c^2 = \\frac{2}{3} + \\left(\\frac{\\sqrt{6}}{6}\\right)^2$$\n",
+ "$$c^2 = \\frac{2}{3} + \\frac{6}{36}$$\n",
+ "$$c^2 = \\frac{2}{3} + \\frac{1}{6} = \\frac{4}{6} + \\frac{1}{6} = \\frac{5}{6}$$\n",
+ "$$c = \\sqrt{\\frac{5}{6}} = \\frac{\\sqrt{30}}{6}$$\n",
+ "Finally, we can find the angles of the trapezoid. The angles adjacent to the shorter parallel side $a$ can be found using the tangent function:\n",
+ "$$\\tan(\\theta) = \\frac{h}{\\frac{b - a}{2}}$$\n",
+ "$$\\tan(\\theta) = \\frac{\\frac{\\sqrt{6}}{3}}{\\frac{\\frac{2\\sqrt{6}}{3} - \\frac{\\sqrt{6}}{3}}{2}} = \\frac{\\frac{\\sqrt{6}}{3}}{\\frac{\\sqrt{6}}{6}} = 2$$\n",
+ "$$\\theta = \\tan^{-1}(2) \\approx 63.435^\\circ$$\n",
+ "The angles adjacent to the longer parallel side $b$ are:\n",
+ "$$180^\\circ - \\theta \\approx 116.565^\\circ$$\n",
+ "Thus, the side lengths and angles of the isosceles trapezoid are:\n",
+ "- Side lengths:\n",
+ "- $a = \\frac{\\sqrt{6}}{3}$\n",
+ "- $b = \\frac{2\\sqrt{6}}{3}$\n",
+ "- $c = \\frac{\\sqrt{30}}{6}$\n",
+ "- Angles:\n",
+ "- $\\theta \\approx 63.435^\\circ$\n",
+ "- $180^\\circ - \\theta \\approx 116.565^\\circ$\n",
+ "- Area: 1\n",
+ "- Height: $\\frac{\\sqrt{6}}{3}$\n",
+ "\n"
+ ]
}
],
"metadata": {
"kernelspec": {
- "display_name": "Julia 1.11.6",
+ "display_name": "Math_Foundations 1.11.7",
"language": "julia",
- "name": "julia-1.11"
+ "name": "math_foundations-1.11"
},
"language_info": {
"file_extension": ".jl",
"mimetype": "application/julia",
"name": "julia",
- "version": "1.11.6"
+ "version": "1.11.7"
}
},
"nbformat": 4,