이거. e가 무리수인거 증명하는거랑 비슷한데 조금 까다로운 부분 있었던거 같음 - dc App
익명(223.62)2021-11-23 05:15
Cos m이 cos1의 m차 다항식 꼴로 표시되어서 모든 유리수 p에 대해 코사인값이 무리수인거 증명하는게 cos1이 초월수인거 보이는거랑 난이도 비슷할것 같애. 근데 cos1이 초월수인거 보이면 배각공식으로 0아닌 모든 유리수에대해 sin cos tan 값이 다 초월수라는게 증명됨. cos1이 초월수인건 e^i가 초월수란건데
익명파티(whatismyid)2021-11-23 15:42
답글
이건 결국 Lindemann-Weierstrass 쓰긴써야할듯. 애초에 저 명제를 첨 증명한것도 Lindemann이었을걸?
테일러쓰고 유리수라 가정하면 모순나올걸
이거. e가 무리수인거 증명하는거랑 비슷한데 조금 까다로운 부분 있었던거 같음 - dc App
Cos m이 cos1의 m차 다항식 꼴로 표시되어서 모든 유리수 p에 대해 코사인값이 무리수인거 증명하는게 cos1이 초월수인거 보이는거랑 난이도 비슷할것 같애. 근데 cos1이 초월수인거 보이면 배각공식으로 0아닌 모든 유리수에대해 sin cos tan 값이 다 초월수라는게 증명됨. cos1이 초월수인건 e^i가 초월수란건데
이건 결국 Lindemann-Weierstrass 쓰긴써야할듯. 애초에 저 명제를 첨 증명한것도 Lindemann이었을걸?