I have given real numbers such that and . The the claim is that there exists some such that . In order to proof this, one needs ( at least in my opinion) the intermediate value theorem. But the intermediate value theorem does not hold in constructive mathematics (that is without the law of excluded middle; or constructive mathematics acts in intuitionistic logic). Is there any constructive way to show the above equation?