[일반] 근데 임의의 양수에 대해 그보다 작은 무리수가 항상 존재하는건

[익명(ugartevalverde)]

무슨 정리인가요

유리수 버전으론 증명도 하고 그랬던거 같은데 무리수 버전은 당연한데 왜 낯설죠

[익명(14.37)]

유리수버전 보인 거의 따름정리로 보일수 있음

[익명(14.37)]

무리수의 조밀성 ㄱㄱ 지금 여따 댓달앗는데 디시가 부등호인식못해서 삭제됏노

[익명(ugartevalverde)]

감사합니다

[익명(220.71)]

a가 무리수 일 때 a/2는 항상 무리수이면서 a보다 작지않음? 내가 잘못 생각한건가

[익명(220.71)]

아 그러네

[익명(oen0c)]

양수r이 소수점아래 n번째 자리에서 처음으로 0이 아니라 하면 [10ⁿr]/(10ⁿsqrt2) 하면 될거같은데