Erd\"os在1940年提出了一个极值问题，研究首一多项式$p$（其所有零点均位于单位闭圆盘内）的lemniscate $\{|p(z)|<1\}$的最小面积。本文证明了存在与次数$n$无关的正常数$c,C$，使得 \[ \dfrac{c}{\log n} \leq \min \text{Area}( \{ |p(z)|<1 \} ) \leq \frac{C}{\log \log n}, \] 显著改进了此前Pommerenke（1961年）得到的下界以及Wagner（1988年）得到的上界。我们还研究了内切圆半径（最大内切圆的半径），给出了内切圆半径与面积之间的估计，从而确认了Solynin和Williams在2009年的猜想，并由此给出内切圆半径的下界为$(n \sqrt{\log n})^{-1}$的量级，解决了Erd\"os、Herzog和Piranian在1958年提出的问题（证实了他们的猜想，误差仅为对数因子）。除了研究$\{|p(z)|<1\}$的面积外，我们还考虑了其他次水平集$\{|p(z)|<t\}$，当$t>1$时证明了上下界均为$1/\log \log n$的量级；当$0<t<1$时，得到了幂律的上下界。此外，我们还研究了一种更一般的约束下的最小面积问题，即用容量为1的紧集$K$替代单位圆盘，证明了当$n \rightarrow \infty$时最小面积趋于零（肯定回答了Erd\"os、Herzog和Piranian的另一个问题）；同时探讨了面积最小化多项式的结构，证明了归一化的零点计数测度在$n \rightarrow \infty$时收敛到$K$的平衡测度。

Erd\"os posed in 1940 the extremal problem of studying the minimal area of the lemniscate $\{|p(z)|<1\}$ of a monic polynomial $p$ of degree $n$ all of whose zeros are in the closed unit disc. In this article, we prove that there exist positive constants $c,C$ independent of the degree $n$ such that \[ \dfrac{c}{\log n} \leq \min \text{Area}( \{ |p(z)|<1 \} ) \leq \frac{C}{\log \log n},\] improving substantially the previously best known lower bound (due to Pommerenke in 1961) as well as improving the best known upper bound (due to Wagner in 1988). We also study the inradius (radius of the largest inscribed disc); we provide an estimate for the inradius in terms of the area that confirms a 2009 conjecture of Solynin and Williams, and we use this to give a lower bound of order $(n \sqrt{\log n})^{-1}$ on the inradius, addressing a 1958 problem posed by Erd\"os, Herzog, and Piranian (confirming their conjecture up to the logarithmic factor). In addition to studying the area of $\{|p(z)|<1\}$, we consider other sublevel sets $\{|p(z)|<t\}$, proving both upper and lower bounds of the same order $1/\log \log n$ when $t>1$ and proving power law upper and lower bounds when $0<t<1$. We also consider the minimal area problem under a more general constraint, namely, replacing the unit disc with a compact set $K$ of unit capacity, where we show that the minimal area converges to zero as $n \rightarrow \infty$ (giving an affirmative answer to another question of Erd\"os, Herzog, Piranian); we also investigate the structure of the area minimizing polynomials, showing that the normalized zero-counting measure converges to the equilibrium measure of $K$ as the degree $n \rightarrow \infty$.