The Central Idea

A geometric inequality compares geometric quantities rather than asserting that they are equal.

Examples include:

\[ a+b>c, \] \[ A_1>A_2, \]

and

\[ V\le V_{\max}. \]

These statements may describe necessary conditions, upper or lower bounds, or optimal geometric configurations.

Equality and Inequality Play Different Roles

An equality identifies an exact relationship:

\[ A=bh. \]

An inequality compares values or restricts possibilities:

\[ A\le A_{\max}. \]

In geometry, equalities often provide formulas, while inequalities tell us what configurations are possible and which are more efficient or extreme.

Review: Area and Volume as Measures

Area measures two-dimensional extent and is expressed in square units.

Volume measures three-dimensional extent and is expressed in cubic units.

This lesson assumes the basic measurement formulas developed earlier and uses them to compare figures rather than re-derive the full formula catalog.

Equal Perimeter Does Not Mean Equal Area

Two figures can have the same perimeter while enclosing different areas.

Consider rectangles with perimeter \(20\).

A \(1\times9\) rectangle has area

\[ 1\cdot9=9. \]

A \(5\times5\) square has area

\[ 5\cdot5=25. \]

Both have perimeter \(20\), but

\[ \boxed{25>9}. \]

Equal Area Does Not Mean Equal Perimeter

The reverse distinction also matters.

A \(1\times16\) rectangle and a \(4\times4\) square both have area

\[ 16. \]

Their perimeters are

\[ 34 \]

and

\[ 16. \]

Equal area does not force equal boundary length.

Scaling Lengths, Areas, and Volumes

If every linear dimension of a figure is multiplied by a positive scale factor \(k\), then:

\[ \boxed{\text{lengths scale by }k}, \] \[ \boxed{\text{areas scale by }k^2}, \]

and

\[ \boxed{\text{volumes scale by }k^3}. \]

This hierarchy is one of the most important comparison principles in geometry.

Example: Comparing Similar Figures

Suppose two similar polygons have corresponding side-length ratio

\[ 2:5. \]

Their area ratio is

\[ 2^2:5^2=4:25. \]

If corresponding solids have the same linear scale ratio, their volume ratio is

\[ 2^3:5^3=8:125. \]

A moderate change in length can therefore produce a much larger change in area or volume.

The Triangle Inequality

For any nondegenerate triangle with side lengths \(a\), \(b\), and \(c\), the sum of any two side lengths must exceed the third:

\[ \boxed{a+b>c}, \] \[ \boxed{a+c>b}, \]

and

\[ \boxed{b+c>a}. \]

This is a fundamental geometric feasibility condition.

Why the Triangle Inequality Makes Sense

Traveling directly from \(A\) to \(C\) is shorter than traveling from \(A\) to \(B\) and then from \(B\) to \(C\), unless all three points lie on one straight line in the appropriate order.

Thus,

\[ AC\le AB+BC. \]

For a genuine triangle, the points are noncollinear, so the inequality is strict:

\[ \boxed{AC

Degenerate Triangle Boundary

If

\[ a+b=c, \]

the three vertices lie on one line. The figure has collapsed and has zero area.

This is a degenerate triangle, not an ordinary nondegenerate triangle.

Bounds on the Third Side

If two triangle sides have lengths \(a\) and \(b\), then the third side \(x\) must satisfy

\[ \boxed{|a-b| The upper bound comes from the triangle inequality, while the lower bound comes from rearranging the other triangle inequalities.

Example: Possible Third-Side Lengths

Suppose two sides have lengths \(7\) and \(12\).

Then

\[ |12-7| Therefore,

\[ \boxed{5

Larger Sides Face Larger Angles

In a triangle, side length and opposite angle size are ordered together.

If

\[ a>b, \]

then the angle opposite \(a\) is larger than the angle opposite \(b\).

Conversely, if one angle is larger than another, then its opposite side is longer.

The Exterior-Angle Inequality

An exterior angle of a triangle is greater than either remote interior angle.

If exterior angle \(\angle D\) has remote interior angles \(\angle A\) and \(\angle B\), then

\[ \boxed{m\angle D>m\angle A} \]

and

\[ \boxed{m\angle D>m\angle B}. \]

This follows because the exterior angle equals the sum of the two remote interior angles.

Area of Triangles with the Same Height

For a triangle,

\[ A=\frac12 bh. \]

If two triangles have the same height, their areas are proportional to their bases:

\[ \boxed{\frac{A_1}{A_2}=\frac{b_1}{b_2}}. \]

Thus, with equal height, the longer base produces the larger area.

Area of Triangles with the Same Base

If two triangles share the same base length, then their areas are proportional to their perpendicular heights:

\[ \boxed{\frac{A_1}{A_2}=\frac{h_1}{h_2}}. \]

With a fixed base, moving the opposite vertex farther from the base line increases the area.

Triangles Between the Same Parallel Lines

Triangles that share the same base and have opposite vertices on a line parallel to that base have the same height.

Therefore, they have equal area even if their shapes look different.

\[ \boxed{A_1=A_2}. \]

Parallelograms on the Same Base and Between the Same Parallels

A parallelogram has area

\[ A=bh. \]

Therefore, parallelograms with the same base and the same perpendicular height have equal area.

Shearing the top edge sideways changes the angles but not the area as long as base and height remain fixed.

Base Length Is Not the Same as Slanted Side Length

In area formulas such as

\[ A=bh, \]

the height must be perpendicular to the selected base.

A slanted side cannot be substituted for height merely because it connects the same two boundary lines.

Comparing Rectangles with Fixed Perimeter

Let a rectangle have side lengths \(x\) and \(y\) with fixed perimeter \(P\).

\[ 2x+2y=P. \]

Then

\[ y=\frac P2-x. \]

Its area is

\[ A=x\left(\frac P2-x\right). \]

This area is greatest when the two side lengths are equal.

The Square Maximizes Rectangle Area for Fixed Perimeter

Among all rectangles with a given perimeter, the square has the greatest area.

If the perimeter is \(P\), the maximizing side length is

\[ \frac P4. \]

Therefore,

\[ \boxed{ A_{\max}=\left(\frac P4\right)^2 }. \]

Equality occurs exactly when the rectangle is a square.

Example: Fixed Perimeter

Suppose a rectangle has perimeter \(40\).

The square with that perimeter has side length

\[ \frac{40}{4}=10. \]

Its area is

\[ 10^2=100. \]

Therefore, every rectangle with perimeter \(40\) satisfies

\[ \boxed{A\le100}, \]

with equality only for the \(10\times10\) square.

The Square Minimizes Rectangle Perimeter for Fixed Area

The same relationship can be read in reverse.

Among all rectangles with a fixed area, the square has the smallest perimeter.

This is why balanced dimensions often reduce boundary length for a given enclosed area.

Area of a Rhombus and Diagonal Constraints

If a rhombus has perpendicular diagonals \(d_1\) and \(d_2\), then

\[ A=\frac12 d_1d_2. \]

Thus, if one diagonal is fixed, increasing the other increases area proportionally.

Diagonal relationships can therefore provide useful area comparisons without requiring side lengths.

Area Comparisons from Decomposition

Complicated figures can often be compared by decomposing them into simpler pieces.

If two figures share identical pieces and differ only in one remaining region, comparing those remaining regions is enough to compare the total areas.

This is the geometric principle behind many dissection proofs.

Area Comparisons from Containment

If planar region \(R_1\) is contained entirely inside region \(R_2\), then

\[ \boxed{\operatorname{Area}(R_1)\le\operatorname{Area}(R_2)}. \]

If \(R_2\) contains additional positive-area material outside \(R_1\), then the inequality is strict:

\[ \operatorname{Area}(R_1)<\operatorname{Area}(R_2). \]

Volume Comparisons from Containment

The same principle holds in three dimensions.

If solid \(S_1\) is completely contained in solid \(S_2\), then

\[ \boxed{\operatorname{Vol}(S_1)\le\operatorname{Vol}(S_2)}. \]

Strict containment with additional positive volume gives a strict inequality.

Prisms with Equal Base Area

For a prism,

\[ V=Bh, \]

where \(B\) is the area of the base and \(h\) is the perpendicular height.

If two prisms have equal base area, then the prism with the greater height has the greater volume.

Prisms with Equal Height

If two prisms have the same perpendicular height, then their volumes are proportional to their base areas:

\[ \boxed{ \frac{V_1}{V_2}=\frac{B_1}{B_2} }. \]

This is the three-dimensional analogue of comparing triangle areas with equal heights.

Pyramids and Cones with Equal Base and Height

A pyramid or cone has volume

\[ V=\frac13 Bh. \]

Therefore, two such solids with equal base area and equal height have equal volume, even if their bases or orientations differ.

More generally, equal \(B\) and equal \(h\) force equal volume whenever the same volume relationship applies.

Cavalieri's Principle

A powerful comparison idea is Cavalieri's principle.

If two solids have the same height and every plane parallel to their bases cuts cross-sections of equal area at corresponding heights, then the solids have equal volume.

This principle allows volume equality to be proved without requiring the solids to have the same shape.

Why Cross-Sections Matter

Volume can be understood as accumulated cross-sectional area.

If one solid has at least as much cross-sectional area as another at every corresponding height, then it should also have at least as much total volume.

This intuition becomes formal in later analysis through integration.

Surface Area and Volume Do Not Scale the Same Way

If two similar solids have linear scale factor \(k\), then surface area scales by

\[ k^2, \]

while volume scales by

\[ k^3. \]

Therefore, the surface-area-to-volume ratio changes as size changes.

Surface-Area-to-Volume Ratio

For similar solids, if linear size is multiplied by \(k\), then

\[ \frac{\text{surface area}}{\text{volume}} \]

is multiplied by

\[ \frac{k^2}{k^3}=\frac1k. \]

Larger similar objects have smaller surface-area-to-volume ratios.

This geometric fact has applications in engineering, heat transfer, biology, chemistry, and design.

Shortest Paths and Straight Segments

In Euclidean geometry, the straight-line segment between two points is the shortest path between them.

For any intermediate point \(P\),

\[ AB\le AP+PB. \]

Equality occurs only when \(P\) lies on segment \(\overline{AB}\).

This is a distance inequality with broad geometric consequences.

Polygonal Paths

The same idea extends to a multi-segment path:

\[ AB\le AP_1+P_1P_2+\cdots+P_nB. \]

Any detour is at least as long as the direct segment.

This principle appears in route planning, optimization, and proofs involving reflected paths.

Geometric Bounds from Enclosure

If a figure must fit inside another figure, its dimensions cannot be chosen independently.

For example, a rectangle inscribed in a circle of radius \(r\) has diagonal equal to the circle's diameter:

\[ d=2r. \]

If the rectangle has sides \(x\) and \(y\), then

\[ x^2+y^2=(2r)^2. \]

The containing circle therefore imposes a constraint on all possible rectangle dimensions.

Maximum Rectangle Area in a Circle

Among rectangles inscribed in a fixed circle, the square has the greatest area.

If the circle has radius \(r\), the square's diagonal is \(2r\).

If \(s\) is the side length, then

\[ s\sqrt2=2r, \]

so

\[ s=r\sqrt2. \]

Its area is

\[ \boxed{A_{\max}=2r^2}. \]

Regularity Often Produces Extremes

Symmetric or regular figures frequently maximize or minimize geometric quantities under fixed constraints.

Examples include:

  • the square maximizing area among rectangles of fixed perimeter;
  • the square minimizing perimeter among rectangles of fixed area;
  • the circle maximizing area among all plane figures of a fixed perimeter.

The last statement is the classical isoperimetric inequality.

The Isoperimetric Principle

Among all simple closed plane curves with a fixed perimeter \(P\), the circle encloses the greatest possible area.

The inequality may be written

\[ \boxed{ 4\pi A\le P^2 }. \]

Equality occurs exactly for a circle.

A full proof is beyond this lesson, but the result provides an important example of a geometric extremal principle.

Volume Efficiency and the Sphere

In three dimensions, the sphere plays a similar extremal role.

Among solids enclosing a fixed volume, the sphere has the smallest surface area; equivalently, among solids with fixed surface area, the sphere encloses the greatest volume.

This principle helps explain why spheres arise in systems that minimize surface energy or boundary material.

Geometric Inequalities as Feasibility Tests

Inequalities can determine whether a proposed figure is possible.

For example, side lengths

\[ 3,\ 4,\ 9 \]

cannot form a triangle because

\[ 3+4<9. \]

No drawing can overcome a violated necessary inequality.

Geometric Inequalities as Optimization Tools

Other inequalities compare all feasible figures and identify an optimum.

A typical question asks:

  • What is the largest possible area?
  • What is the smallest possible perimeter?
  • What is the shortest route?
  • What is the greatest volume under a surface constraint?

These are geometric optimization problems.

Equality Cases Matter

An inequality is much more informative when we know when equality occurs.

For example,

\[ A\le\frac{P^2}{16} \]

for rectangles of perimeter \(P\), with equality exactly when the rectangle is a square.

The equality case identifies the extremal geometry.

Strict and Non-Strict Inequalities

A strict inequality uses \(<\) or \(>\) and excludes equality.

A non-strict inequality uses \(\le\) or \(\ge\) and allows equality.

The distinction is essential in geometry:

  • nondegenerate triangle: \(a+b>c\);
  • possibly degenerate configuration: \(a+b\ge c\);
  • maximum-area bound: \(A\le A_{\max}\).

Common Error: Comparing Linear and Area Scale Factors Directly

If corresponding lengths double, areas do not merely double.

A length scale factor of

\[ k=2 \]

gives area scale factor

\[ k^2=4. \]

Volume would scale by

\[ k^3=8. \]

Common Error: Forgetting the Strict Triangle Inequality

Side lengths \(4\), \(6\), and \(10\) satisfy

\[ 4+6=10, \]

but they do not form a nondegenerate triangle.

The correct condition is

\[ \boxed{4+6>10}, \]

which fails.

Common Error: Comparing Area by Appearance

A tall thin figure may have less area than a short wide figure.

Visual impression is not a reliable comparison method. Use formulas, decomposition, containment, congruent pieces, or proportional reasoning.

Common Error: Confusing Slant Height and Perpendicular Height

Area and volume formulas generally require perpendicular height.

A slanted edge or slant height should not replace perpendicular height unless the formula specifically calls for it.

Common Error: Giving a Maximum Without an Equality Case

Saying that an area “cannot exceed \(100\)” is incomplete when the geometry asks for the maximizing configuration.

A complete extremal statement should identify both:

\[ A\le100 \]

and the condition under which

\[ A=100. \]

A Reliable Procedure for Geometric Inequalities

  1. Identify the geometric quantities being compared.
  2. Determine which lengths, areas, volumes, or angles are fixed.
  3. Write the relevant formula, theorem, or inequality.
  4. Translate geometric constraints into algebraic constraints when useful.
  5. Preserve strict versus non-strict inequality signs.
  6. Compare using exact values whenever possible.
  7. Check whether the result is a feasibility condition or an extremal bound.
  8. Identify the equality case when one exists.
  9. Verify that the final result is geometrically possible.

A Useful Comparison Checklist

  • same perimeter does not imply same area;
  • same area does not imply same perimeter;
  • similar figures require squared and cubed scale factors for area and volume;
  • containment gives immediate area or volume bounds;
  • equal bases or heights often reduce comparisons to a single factor;
  • triangle inequalities determine feasible side lengths;
  • symmetry often signals an extremal configuration;
  • equality cases reveal when the bound is attained.

Practice 1: Triangle Feasibility

Can side lengths

\[ 6,\ 8,\ 15 \]

form a nondegenerate triangle?

Practice 2: Third-Side Bounds

Two sides of a triangle have lengths \(9\) and \(14\). Find the range of possible values for the third side \(x\).

Practice 3: Similar Areas

Two similar polygons have corresponding side-length ratio

\[ 3:7. \]

Find their area ratio.

Practice 4: Similar Volumes

Two similar solids have linear scale factor

\[ 4. \]

By what factor does volume change?

Practice 5: Same Height

Two triangles have the same height. Their bases are \(8\) and \(13\). What is the ratio of their areas?

Practice 6: Fixed Perimeter Rectangle

A rectangle has perimeter \(48\). What is the greatest possible area?

Practice 7: Trapezoid Comparison

Two trapezoids have equal heights. The first has bases \(6\) and \(10\); the second has bases \(8\) and \(12\).

Which has greater area?

Practice 8: Prism Comparison

Two prisms have the same height. Their base areas are \(35\) and \(42\). Which prism has greater volume, and by what ratio?

Practice 9: Surface Area and Volume Scaling

A similar solid is enlarged by linear scale factor \(3\).

By what factors do surface area and volume change?

Practice 10: Inscribed Rectangle

A square is inscribed in a circle of radius \(5\). Find the area of the square.

Practice 11: Shortest Path

Points \(A\), \(P\), and \(B\) are not collinear. Compare \(AB\) with \(AP+PB\).

Practice 12: Identify the Error

A student says:

“If a figure is enlarged so every length is multiplied by \(5\), then its area is also multiplied by \(5\).”

Explain the error.

Practice Answers

Practice 1

Check the two shorter sides:

\[ 6+8=14. \]

Since

\[ 14<15, \]

the triangle inequality fails.

\[ \boxed{\text{No}} \]

Practice 2

\[ |14-9|Practice 3

Area scales with the square of the side-length ratio:

\[ 3^2:7^2=9:49. \] \[ \boxed{9:49}. \]

Practice 4

Volume scales by the cube of the linear factor:

\[ 4^3=64. \] \[ \boxed{64}. \]

Practice 5

With equal heights, triangle areas are proportional to their bases:

\[ \boxed{8:13}. \]

Practice 6

The square maximizes the area. Its side length is

\[ \frac{48}{4}=12. \]

Therefore,

\[ A_{\max}=12^2=144. \] \[ \boxed{144}. \]

Practice 7

Trapezoid area is

\[ A=\frac12(b_1+b_2)h. \]

The first base sum is

\[ 6+10=16, \]

while the second is

\[ 8+12=20. \]

With equal heights,

\[ \boxed{\text{the second trapezoid has greater area}}. \]

Practice 8

With equal height, volume is proportional to base area.

\[ 35:42=5:6. \]

Therefore, the second prism has greater volume, with

\[ \boxed{V_1:V_2=5:6}. \]

Practice 9

Surface area scales by

\[ 3^2=9, \]

and volume scales by

\[ 3^3=27. \] \[ \boxed{\text{surface area factor }9,\quad\text{volume factor }27}. \]

Practice 10

The square's diagonal equals the diameter:

\[ d=10. \]

If \(s\) is the side length,

\[ s\sqrt2=10. \] \[ s=5\sqrt2. \]

Therefore,

\[ A=s^2=(5\sqrt2)^2=50. \] \[ \boxed{50}. \]

Practice 11

The straight segment is the shortest path. Because the points are not collinear,

\[ \boxed{ABPractice 12

Area scales with the square of the linear scale factor.

If every length is multiplied by \(5\), then area is multiplied by

\[ 5^2=25. \] \[ \boxed{\text{The area scale factor is }25,\text{ not }5.} \]

What to Remember

  • geometric inequalities compare or bound lengths, angles, areas, and volumes;
  • triangle side lengths must satisfy strict triangle inequalities;
  • the third side of a triangle satisfies \(|a-b|
  • larger triangle sides face larger opposite angles;
  • area comparisons often reduce to comparing bases or heights;
  • volume comparisons often reduce to comparing base areas or heights;
  • similarity scales length by \(k\), area by \(k^2\), and volume by \(k^3\);
  • containment gives immediate area and volume bounds;
  • straight segments minimize Euclidean distance between two points;
  • extremal problems should identify both a bound and the equality case.

The governing idea is that geometry is not only about what quantities are, but also about what quantities can be.

Where We Go Next

This lesson completes 3.3 Euclidean Relationships. The section began with axioms and line relationships, moved through triangles, similarity, the Pythagorean relationship, polygons, quadrilaterals, and loci, and now ends with geometric comparison and constraint.

These Euclidean tools provide a foundation for later spatial topics involving transformations, coordinates, circles, trigonometric relationships, three-dimensional geometry, and more advanced geometric analysis.