Bourbaki

Remark

Tag 06ZR, permanent. Cite it as [Bourbaki, Tag 06ZR].

Algebra, chapter VI, § 2. Ordered fields

— Translating into the canonical trinomial form yields this stronger result: a necessary and sufficient condition for the polynomial aX2+bX+caX^2 + bX + c over a given ordered field K to have constant sign in K is that b2−4ac<0b^2 - 4ac < 0, and then the sign of the polynomial is that of aa.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 2003, Springer. Not translated.