ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Binary endorelation
▼ Preordering relation
▼ Partial ordering relation
▼ Ordering relation
▼ Ordered set
▼ Dedekind cut
▼ Set of real numbers
▼ Real number
Definition D5407
Positive real number
Results
▶ R5209: Of all rectangles with a given perimeter, the square maximizes the area
▶ R5677: Of all right triangles with a given perimeter, the isosceles triangle maximizes the area