https://en.m.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational
이건 무리수 증명 아닌가요 - dc App
아 초월수군요 초월수증명은 강력한 보조정리만 쓰면돼요 x가 대수적 수이면 e^x 가 초월수라는 정리가 있어요. 대우를 취하면 "e^x 가 대수적 수이면 x가 초월수" 가 될거고 e^(i π ) = -1 이니까....
감사합니다, x가 대수적 수일때 e^x가 초월수임을 증명하면 되겠네요! - dc App
증명할때 현대대수학을 사용해야하나요?? - dc App
현대대수를 쓰느냐.... 는 답해드리기가 애매하네요이' target='_blank' class='cmturl'>https://en.m.wikipedia.org/wiki/Eisenstein's_theorem이정리가 사실상 증명이나 마찬가지이긴 해요 현대대수이기도 하고 복소해석이기도 하고
e^0 = 1 ㅅㄱ - dc App
헉
??? 0이 하도 특이한 놈이라 0이 아닌 x라고 조건이 붙지않을까요 - dc App
ㅇㅇ 0 빼고임
{0}이 linearly independent over Q가 아님.
https://en.m.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational
이건 무리수 증명 아닌가요 - dc App
아 초월수군요 초월수증명은 강력한 보조정리만 쓰면돼요 x가 대수적 수이면 e^x 가 초월수라는 정리가 있어요. 대우를 취하면 "e^x 가 대수적 수이면 x가 초월수" 가 될거고 e^(i π ) = -1 이니까....
감사합니다, x가 대수적 수일때 e^x가 초월수임을 증명하면 되겠네요! - dc App
증명할때 현대대수학을 사용해야하나요?? - dc App
현대대수를 쓰느냐.... 는 답해드리기가 애매하네요
이' target='_blank' class='cmturl'>https://en.m.wikipedia.org/wiki/Eisenstein's_theorem
이
정리가 사실상 증명이나 마찬가지이긴 해요 현대대수이기도 하고 복소해석이기도 하고
e^0 = 1 ㅅㄱ - dc App
헉
??? 0이 하도 특이한 놈이라 0이 아닌 x라고 조건이 붙지않을까요 - dc App
ㅇㅇ 0 빼고임
{0}이 linearly independent over Q가 아님.