Let $X$ be a continuous Random Variable with a continuous Distribution function and with values in $(0,\infty)$, and with a denisty w.r.t the lebesgue measure.
I have already been able to prove that $X$ ~ $\lambda e^{-\lambda x}$ implies $P(X \geq x+t |X \geq x)=P(X \geq t)$
But I am stuck on the converse so that I can prove "$\iff$".
Any hints?
Let $G(x) = P(x>x)$ denote the complimentary CDF of a memoryless random variable. Using Baye's rule:
$P(X \geq x+t|X \geq x)$
$=\frac{P(X\geq x+t, X \geq x)}{P(X \geq x)}$
$= \frac{P(X \geq x+t)}{P(X \geq x)} = P(X \geq t)$
implying: $G(x+t)=G(x)G(t)$.
Assuming $X \geq 0$, we have $G(0)=1$. Now,
$G'(x) = \lim_{t \rightarrow 0} \frac{G(x+t)-G(x)}{t}$
$= \lim_{t \rightarrow 0} \frac{G(x)G(t)-G(x)}{t}$
$=G(x)\lim_{t \rightarrow 0} \frac{G(t)-1}{t}$
$=G(x)\lim_{t \rightarrow 0}\frac{G(t)-G(0)}{t} $
$ = G(x)G'(0)$
Thus, you have $\frac{d}{dx} G(x) = cG(x)$, with $c = G'(0)$. You can easily solve this differential equation (with appropriate boundary conditions) to show that $G(x)$ must take an exponential form.