- 437 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 17:34:29.07 ]
- >>426
>>378だが、「条件Pを満たす関数fが存在すると仮定する」の意味が分からないみたいだな。
条件P自身から関数fを直接的に構成したり或いは同値性を保ったまま具体的に構成出来たなら確認の作業は必要ないが
条件Pを満たす関数fが存在するという仮定から、解になるfを例えば論理的に逆が言えないように、
間接的に構成出来た場合は、条件Pを満たす関数fの存在性は保障されていないから確認作業は必要だ。
で、>>252の解答の場合、f(x)g(x-2)-g(x)f(x-2)=1とf(x+2)g(x)-g(x+2)f(x)=1から
f(x)(g(x-2)+g(x+2))=g(x)(f(x-2)+f(x+2))
を導いた時点で、f、gはもとの条件を満たすかどうかが怪しくなってて逆が言えない訳だ。
だから求めたf、gは本当に満たしているのかという確認作業が必要になる訳だ。
