アダマールの三円定理
アダマールの三円定理(英語:Hadamard three-circle theorem)とは、複素解析における定理である。
log  M ( r ) ≤ log  r 2 − log  r log  r 2 − log  r 1 log  M ( r 1 ) + log  r − log  r 1 log  r 2 − log  r 1 log  M ( r 2 ) ( r 1 ≤ r ≤ r 2 ) {\displaystyle \log M(r)\leq {\frac {\log r_{2}-\log r}{\log r_{2}-\log r_{1}}}\log M(r_{1})+{\frac {\log r-\log r_{1}}{\log r_{2}-\log r_{1}}}\log M(r_{2})\ \ (r_{1}\leq r\leq r_{2})}
( ⇔ log  r 2 r 1 log  M ( r ) ≤ log  r 2 r log  M ( r 1 ) + log  r r 1 log  M ( r 2 ) ) {\displaystyle (\Leftrightarrow \log {\frac {r_{2}}{r_{1}}}\log M(r)\leq \log {\frac {r_{2}}{r}}\log M(r_{1})+\log {\frac {r}{r_{1}}}\log M(r_{2}))}
が成立する。