Ірраціональність квадратична

корінь незвідного над полем раціональних чисел квадратного тричлена з раціональними коефіцієнтами