>>878
>s=-tと置換したならば、s=tと最後に置き換えることはできないと思うからです。
これはその通り。この問題においてはsは-ｔという条件で束縛されている変数だから、
最初にs=-ｔと定義して最後にs=ｔと置き変えることはできない(少なくとも、
大変作法としてよろしくない)。が、

>∫[0,1]f(s)ds=∫[0,1]f(t)dt
定積分の結果というのは積分に使った変数に対して定数なので、
ここでやっているのは「変数の置き換え」ではなく「単なる定数同士の比較」。
なので、この等式自体にも全く問題はない。つまり、最後の段階で変数を
置き換えていると思っているのが誤認。

なお、「sが文字として使われていない式f(x)があったとき、
そこでの文字xを全てsに置き換えた式はf(s)になる」というのはいいよね。
だとすれば焦点になっている等式が成立するのは自明。