ポリアのシャイア定理は、ジョージ・ポリアにちなんで名付けられた複素解析における定理で、複素平面上の有理型関数の連続導関数の零点の漸近分布を記述する。 [ 1 ]この定理はネヴァンリンナ理論にも応用されている。[ 2 ] : 55, 62
を複素平面上の有理型関数とし、その極集合を とする。 をすべての連続する導関数の零点全体の集合とすると、導関数集合(またはすべての極限点の集合)は以下のようになる。 f{\displaystyle f}P≠∅{\displaystyle P\neq \emptyset }E{\displaystyle E}f′、f″、f(3)、…{\displaystyle f',f'',f^{(3)},\ldots }E′{\displaystyle E'}
導出集合は各極の順序に依存しない。[ 3 ]:32