>>102
>でも、”「422に書いた定理」の系1.8の背理法証明に使えるような、区間(a, b)が取れると言えかどうか”については、どうですか？
前にも書きましたが
無理数で微分可能→開区間で連続→矛盾→無理数で微分可能ではない
という証明の流れですよ