# Tagged Questions

For questions about approaches and techniques for discovering a proof, as opposed to writing it down clearly (which involves (proof-writing)). Should not be used unless the focus is on the technique of the proof instead of the solution.

33 views

55 views

### A question about the proof of an obvious result

This is obviously true that a local homeomorphism is a continuous map. I tried to prove it this way : Suppose $f:X \to Y$ is a local homeomorphism, then $f$ is continuous if for each $x\in X$ and ...
13 views

### Finding posterior of normal distributions and logistic regression.

$P(w_0 | x) = \frac{1}{1 + e^{-log\frac{P(x|w_0)}{P(x|w_1)}-log\frac{P(w_0)}{P(w_1)}}}$ Note: x = $[x_1, \dots, x_d]^T$; a $d$ dimensional vector. $w$ can take on one of two values: $w_0$ or $w_1$. ...
45 views

### A question related to the Descartes-Frenicle-Sorli conjecture on odd perfect numbers

Good day to everyone! I apologize in advance for the somewhat long post, but I had to put in all the details into a single question to communicate what I believe to be a viable approach to odd ...
60 views

133 views

### Coming up with short “magical” proofs

I was reading the solution to this problem: Prove that $f(n) = 2n$ is the only non-constant solution to $2f (m^2 + n^2 ) = (f (m))^2 + (f (n))^2 .$ The solution used these identities, pulled out of ...
25 views

### Solutions depending on something continuously

Let $V$ be a a real Banach space, $K \subset V$ a closed convex set, $A: K \rightarrow V^{*}$ a (nonlinear) operator and $F \in V^{*}$. Then the variational inequality is the following problem: find ...
171 views

### Proof by contradiction using counterexample

Why can't we use one counter example as the contradiction to the contradicting statement? Example: Let a statement be A where a-->b. We can prove A is not true by finding a counter example. Now, in ...
39 views

### Proof involving lcm and biconditional statement.

Suppose $a,b\in\mathbb{Z}$. Then $a = \operatorname{lcm}(a,b)$ if and only if $b\mid a$ Unsure of how to approach this problem.
63 views

### Can we always give a direct proof? [duplicate]

This is something I was wondering about for quite a while. Is it possible to construct a statement that can only be proven by using 'proof by contradicition' or contraposition? Or to put it ...
38 views

### Proof for a non-conditional statement

I'm having a bit of trouble doing this proof. If $a\in\mathbb{Z}$, then $a^3 \equiv a \pmod 3$. I know how to do proofs if there were conditional statements but not sure how to prove this with ...
### Prove that $2n+1 \leq 2^n$ for $n \geq 3$ using mathematical induction.
Question: $2n+1 \leq 2^n$, for all $n \geq 3$ I've tried: Basis: $P(3) = 7 \leq 8$, so basis step is valid Pick an arbitrary value from the universe, $k \geq 3$ Inductive Step: \$2k + 1 \leq ...