Изопериметри́ческое нера́венство — геометрическое неравенство, связывающее периметр замкнутой кривой на плоскости и площадь участка плоскости, ограниченной этой кривой.
Этот термин также используется для различных обобщений данного неравенства.
 Изопериметрический буквально означает «имеющий тот же самый периметр».
В частности, изопериметрическое неравенство утверждает, что при длине L замкнутой кривой и площади A плоской области, ограниченной этой кривой,
 и это неравенство превращается в равенство тогда и только тогда, когда кривая является окружностью.
 Целью изопериметрической задачи является поиск фигуры наибольшей возможной площади, граница которой имеет заданную длину.
 Изопериметрическая задача была обобщена многими путями для других неравенств между характеристиками фигур, множеств, многообразий. К изопериметрической задаче относятся также оценки величин физического происхождения (моменты инерции, жёсткость кручения упругой балки, основная частота мембраны, электростатическая ёмкость и др.) через геометрические характеристики. Например, есть обобщения для кривых на поверхностях и на области в пространствах большей размерности.
 Возможно, наиболее известным физическим проявлением 3-мерного изопериметрического неравенства является форма капли воды. А именно, капля принимает обычно круглую форму. Поскольку количество воды в капле фиксировано, поверхностное натяжение заставляет каплю принять форму, минимизирующую поверхность капли, а минимальной поверхностью будет сфера.
 В близкой по содержанию задаче Дидоны требуется найти область максимальной площади, ограниченную прямой линией и криволинейной дугой, концы которой лежат на этой прямой. Задача связана с древней легендой об основании Карфагена Дидоной, сестрой царя финикийского города Тира.
 Решением изопериметрической задачи является окружность, и это было известно уже в Древней Греции. В своём трактате «Об изопериметрических фигурах» (др.-греч. Περὶ ἰσοπεριμέτρων σχημάτων) Зенодор (II век до н. э.) решает изопериметрическую задачу на плоскости и получает частные результаты в пространстве. Первое математически строгое доказательство изопериметрического неравенства в пространстве было получено в 1884 году Германом Шварцем. С тех пор появилось много других доказательств.
 Классическая изопериметрическая задача датируется античными временами. Задачу можно сформулировать следующим образом: Среди всех замкнутых кривых на плоскости с заданным периметром, какая кривая (если такая есть) максимизирует площадь ограниченной ею области? Можно показать, что этот вопрос эквивалентен следующей задаче: Среди всех замкнутых кривых на плоскости, ограничивающих область заданной площади, какая (если такая есть) минимизирует периметр?
 Задача концептуально связана с принципом наименьшего действия в физике и может быть переформулирована согласно этому принципу: что за действия включают большую область с максимальной экономией поддержки? Философ и учёный XV века, кардинал Николай Кузанский, обсуждал вращение, процесс, в котором генерируются окружности, как наиболее прямое отражение процессов, в которых вселенная была создана. Немецкий астроном и астролог Иоганн Кеплер использовал изопериметрический принцип при обсуждении строения солнечной системы в книге Тайна мироздания (1596).
 Хотя окружность является очевидным решением задачи, доказательство этого факта не является простой задачей. Первый прогресс по пути доказательства был сделан швейцарским геометром Якобом Штейнером в 1838 с использованием геометрического метода, получившего впоследствии название симметризация Штейнера. Штейнер показал, что если решение существует, оно должно быть окружностью. Доказательство Штейнера было завершено позднее некоторыми другими математиками.
 Штейнер начинает с некоторых геометрических построений, которые легко понять. Например, можно показать, что любая замкнутая кривая, ограничивающая область, не являющуюся полностью выпуклой, можно модифицировать для получения большей площади путём «отражения» вогнутых участков, чтобы они стали выпуклыми. Затем можно показать, что любая замкнутая кривая, не являющаяся полностью симметричной, может быть «наклонена» таким образом, что она будет заключать большую площадь. Единственная фигура, которая полностью выпукла и симметрична, — это окружность, хотя это рассуждение не представляет строгого доказательства (смотрите внешние ссылки).
 Решение изопериметрической задачи обычно выражается в виде неравенства, связывающего длину L замкнутой кривой и площадь A плоскости, ограниченной этой кривой. Изопериметрическое неравенство утверждает, что
 и что это неравенство превращается в равенство тогда и только тогда, когда кривая является окружностью. В самом деле, площадь круга радиуса R равна πR2, а длина окружности равна 2πR, так что обе стороны неравенства становятся равными 4π2R2.
 Можно найти десятки доказательств изопериметрического неравенства. В 1902 году Гурвиц опубликовал короткое доказательство[источник не указан 757 дней], использующее ряды Фурье, которое применимо к произвольным спрямляемым кривым (не обязательно гладким). Элегантное прямое доказательство, основанное на сравнении гладкой простой замкнутой кривой с подходящей окружностью, дал Е. Шмидт (E. Schmidt) в 1938 году[источник не указан 757 дней]. Доказательство использует только формулу длины кривой, формулу площади плоской области из теоремы Грина и неравенство Коши — Буняковского.
 Для заданной замкнутой кривой изопериметрический коэффициент определяется как отношение площади фигуры к площади круга, имеющего тот же периметр. То есть
 и изопериметрическое неравенство утверждает, что Q ⩽ 1.
 Изопериметрический коэффициент правильного n-угольника равен
 Пусть C — простая замкнутая кривая на сфере радиуса 1. Обозначим через L длину кривой C и через A площадь области, ограниченной кривой C. Сферическое изопериметрическое неравенство утверждает, что
 и это неравенство превращается в равенство тогда и только тогда, когда кривая является окружностью. Фактически имеется два способа измерить площадь сферической области, но неравенство симметрично для выбора дополнения.
 Это неравенство было открыто Полем Леви (1919), который обобщил его на более высокие размерности и более общие поверхности[источник не указан 757 дней].
 Для случая произвольного радиуса R известно, что
 Изопериметрическая теорема обобщается для поверхностей трёхмерного евклидова пространства. Среди всех простых замкнутых поверхностей с заданной площадью поверхности сфера заключает область максимального объёма. Аналогичные утверждения выполняются в евклидовых пространствах любой размерности.
 В общем виде  изопериметрическое неравенство утверждает, что для любого множества S ⊂ Rn, замыкание которого имеет конечную меру Лебега,
 где M*n−1 является (n − 1)-мерной ёмкостью Минковского, Ln является n-мерной мерой Лебега, а ωn — объёмом единичного шара в Rn. Если граница S является спрямляемой, то ёмкость Минковского равна (n − 1)-мерной мере Хаусдорфа.
 Изопериметрическое неравенство в размерности n можно быстро доказать с помощью неравенства Брунна — Минковского.
 Изопериметрическое неравенство в n-мерном пространстве эквивалентно (для достаточно гладких доменов) неравенству Соболева в Rn с оптимальной константой:
 для всех u ∈ W1,1(Rn).
 Большинство работ по изопериметрической задаче сделаны в контексте гладких областей евклидовых пространств, или для более общих римановых многообразий. Однако изопериметрическую задачу можно существенно обобщить, используя понятие ёмкости Минковского.
Пусть 
  
    
      
        (
        X
        ,
        
        μ
        ,
        
        d
        )
      
    
    {\displaystyle (X,\,\mu ,\,d)}
  
 является метрическим пространством с мерой: X является метрическим пространством с метрикой d и μ в качестве меры Бореля на X.
Мера границы, или ёмкость Минковского, измеримого подмножества A из X определяется как lim inf:
 где
 является ε-расширением множества A.
 Изопериметрическая задача в X спрашивает, насколько мало может быть 
  
    
      
        
          μ
          
            +
          
        
        (
        A
        )
      
    
    {\displaystyle \mu ^{+}(A)}
  
 для заданной величины μ(A). Если X является евклидовой плоскостью с обычным расстоянием и мерой Лебега, то этот вопрос обобщает классическую изопериметрическую задачу на области плоскости, границы которых не обязательно гладки, хотя ответ будет тем же самым.
 Функция
 называется изопериметрическим профилем метрического измеримого пространства 
  
    
      
        (
        X
        ,
        
        μ
        ,
        
        d
        )
      
    
    {\displaystyle (X,\,\mu ,\,d)}
  
. Изопериметрические профили изучались для графов Кэли дискретных групп и специальных классов римановых многообразий (где обычно рассматриваются области A с обычными границами).
 В теории графов изопериметрические неравенства находятся в центре изучения экспандеров, разреженных графов, имеющих сильную связность. Построение экспандеров породило исследования в чистой и прикладной математике с применением в теории вычислительной сложности, разработке устойчивых компьютерных сетей и теории корректирующих кодов.
 Изопериметрические неравенства для графов соотносят размер подмножеств вершин к размеру границ этих подмножеств, что обычно понимается как число рёбер, покидающих подмножество или число соседних вершин. Для графа 
  
    
      
        G
      
    
    {\displaystyle G}
  
 и числа 
  
    
      
        k
      
    
    {\displaystyle k}
  
 имеются два стандартных изопериметрических параметра графа.
 Здесь 
  
    
      
        E
        (
        S
        ,
        
          
            S
            ¯
          
        
        )
      
    
    {\displaystyle E(S,{\overline {S}})}
  
 обозначает множество рёбер, покидающих 
  
    
      
        S
      
    
    {\displaystyle S}
  
, а 
  
    
      
        Γ
        (
        S
        )
      
    
    {\displaystyle \Gamma (S)}
  
 обозначает множество вершин, имеющих соседей в 
  
    
      
        S
      
    
    {\displaystyle S}
  
. Изопериметрическая задача состоит в понимании, каким образом параметры 
  
    
      
        
          Φ
          
            E
          
        
      
    
    {\displaystyle \Phi _{E}}
  
 и 
  
    
      
        
          Φ
          
            V
          
        
      
    
    {\displaystyle \Phi _{V}}
  
 ведут себя в семействах графов.
 
  
    
      
        d
      
    
    {\displaystyle d}
  
-мерный гиперкуб 
  
    
      
        
          Q
          
            d
          
        
      
    
    {\displaystyle Q_{d}}
  
 — это граф, вершины которого являются булевыми векторами длины 
  
    
      
        d
      
    
    {\displaystyle d}
  
, то есть, множество 
  
    
      
        {
        0
        ,
        1
        
          }
          
            d
          
        
      
    
    {\displaystyle \{0,1\}^{d}}
  
. Два таких вектора соединены ребром 
  
    
      
        
          Q
          
            d
          
        
      
    
    {\displaystyle Q_{d}}
  
, если они отличаются в единственной позиции, то есть расстояние Хэмминга между ними равно в точности единице.
 Ниже следуют два изопериметрических неравенства для булева гиперкуба.
 Изопериметрическое неравенство для рёбер гиперкуба гласит: 
  
    
      
        
          Φ
          
            E
          
        
        (
        
          Q
          
            d
          
        
        ,
        k
        )
        ⩾
        k
        (
        d
        −
        
          log
          
            2
          
        
        ⁡
        k
        )
      
    
    {\displaystyle \Phi _{E}(Q_{d},k)\geqslant k(d-\log _{2}k)}
  
.
 Теорема Харпера утверждает, что шары Хэмминга имеют наименьшую вершинную границу среди всех множеств заданного размера. Шары Хэмминга — это множества, которые содержат все точки с весом Хэмминга, не превосходящим 
  
    
      
        r
      
    
    {\displaystyle r}
  
 для некоторого целого 
  
    
      
        r
      
    
    {\displaystyle r}
  
.
Из теоремы следует, что любое множество 
  
    
      
        S
        ⊆
        V
      
    
    {\displaystyle S\subseteq V}
  
 с 
  
    
      
        
          |
        
        S
        
          |
        
        ⩾
        
          ∑
          
            i
            =
            0
          
          
            r
          
        
        
          
            
              (
            
            
              n
              i
            
            
              )
            
          
        
      
    
    {\displaystyle |S|\geqslant \sum _{i=0}^{r}{\binom {n}{i}}}
  
 удовлетворяет 
  
    
      
        
          |
        
        S
        ∪
        Γ
        (
        S
        )
        
          |
        
        ⩾
        
          ∑
          
            i
            =
            0
          
          
            r
            +
            1
          
        
        
          
            
              (
            
            
              n
              i
            
            
              )
            
          
        
        .
      
    
    {\displaystyle |S\cup \Gamma (S)|\geqslant \sum _{i=0}^{r+1}{\binom {n}{i}}.}
  

 В частном случае, когда размер множества 
  
    
      
        k
        =
        
          |
        
        S
        
          |
        
      
    
    {\displaystyle k=|S|}
  
 имеет вид 
  
    
      
        k
        =
        
          
            
              (
            
            
              d
              0
            
            
              )
            
          
        
        +
        
          
            
              (
            
            
              d
              1
            
            
              )
            
          
        
        +
        ⋯
        +
        
          
            
              (
            
            
              d
              r
            
            
              )
            
          
        
      
    
    {\displaystyle k={\binom {d}{0}}+{\binom {d}{1}}+\dots +{\binom {d}{r}}}
  
 для некоторого целого 
  
    
      
        r
      
    
    {\displaystyle r}
  
, из вышеприведённого следует, что точный вершинный изопериметрический параметр равен 
  
    
      
        
          Φ
          
            V
          
        
        (
        
          Q
          
            d
          
        
        ,
        k
        )
        =
        
          
            
              (
            
            
              d
              
                r
                +
                1
              
            
            
              )
            
          
        
      
    
    {\displaystyle \Phi _{V}(Q_{d},k)={\binom {d}{r+1}}}
  
.
 Изопериметрическое неравенство для треугольников в терминах периметра p и площади T утверждает, что
 с равенством в случае правильного треугольника.