[일반] 오일러 등식 (e^iz = cosz+isinz)는 정의일까 정리일까

[익명(118.235)]

유튭 댓글보니까 이걸로 좀 싸우던데 뭐가맞음

[익명(112.148)]

지수함수를 어떻게 정의했느냐에 따라 나뉘겠지만 보통 해석학 책에서는 (사실 다른건 잘 모르겠고 일단 PMA나 RCA를 보면) 지수함수를 급수전개로 처음부터 정의하니까 이런 접근에선 정리라고 하는 게 맞긴 하겠지

[s&p50(dart8913)]

본문 얘기보니까 맨처음 오일러 아이덴티티보고 말하는거 같은데 우변은 실수만으로도 정의되고 좌변은 복소함수를 정의해야 해서. 시리즈로 하는게 가장 깔끔할거 같은데 미적 레벨에서는 로그 역으로 정의하는거만으로는 안되는데 맨첨 미적책에서 나오는건 시리즈 전개하고 같다고 할거 같음

[익명(143.248)]

의미없는 싸움임

[익명(147.47)]

훌륭한 정리는 정의를 만들고 훌륭한 정의는 정리나 다름없기에