משפט ליוביל (קירוב דיופנטי)
ויקיפדיה האנציקלופדיה encyclopedia
באנליזה דיופנטית, משפט ליוביל קובע שאם מספר אלגברי אי-רציונלי הוא שורש של פולינום ממעלה מעל השלמים, אז לא ניתן לקרב אותו דיופנטית קירוב מסדר העולה על . מכאן שמספרים לא רציונליים הניתנים לקירוב מכל סדר הם טרנסצנדנטיים. ליוביל בנה מספרים כאלה, הנקראים מספרי ליוביל, ובכך הוכיח בפעם הראשונה שקיימים מספרים טרנסצנדנטיים.
את המשפט הוכיח ז'וזף ליוביל בשנת 1844.