Dimostrazione di un lemma algebrico utile in questioni di analisi. (Q2580387)

Verf. verallgemeinert den bekannten Satz über die Nullstellen einer stetigen Funktion in einem Intervall, in dessen Endpunkten sie entgegengesetztes Vorzeichen besitzt, folgendermaßen auf Funktionen, und zwar Polynome von mehreren Veränderlichen: Wenn die Polynome \(f_i(x_j)\) \((i, j = 1,\ldots, n)\) im Bereiche \(a_i\leqq x_i\leqq b_i\) der Bedingung \[ \begin{cases} f_i < 0\quad\text{auf der Randfläche}\quad x_i = a_i,\\ f_i > 0\quad\text{auf der Randfläche}\quad x_i = b_i \end{cases} \tag{I} \] genügen, so besitzen sie in diesem Bereich mindestens eine gemeinsame Nullstelle, Schließt man den Fall unendlich vieler Nullstellen und solcher höherer Multiplizität aus (Bedingung II\(^{\text{bis}}\)), so ist ihre Anzahl sicher ungerade. Der Beweis wird mit Hilfe der algebraischen Eliminationstheorie geführt, daher die Beschränkung dieses wesentlich auf Stetigkeitseigenschaften beruhenden Satzes auf Polynome.