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.

learn more… | top users | synonyms

2
votes
0answers
8 views

Fermat's little theorem

This is a very interesting word problem that I came across in an old textbook of mine. So I mused over this problem for a while and tried to look at the different ways to approach it but unfortunately ...
0
votes
2answers
41 views

Show that $\sup (A\cdot B)=\max\{\sup A\cdot\sup B, \sup A\cdot\inf B,\inf A\cdot\sup B,\inf A\cdot\inf B\}$

Given nonempty subsets $A$ and $B$ of positive real numbers, define $$A\cdot B=\{z=x\cdot y:x\in A,\,y\in B \}$$ show that if $A$ and $B$ are bounded sets of real numbers, then $$\sup(A\cdot ...
1
vote
3answers
49 views

basic mathematical induction

These are just the examples from my textbook, but I don't think it did not explain well. One of the problem was to prove the inequality $n<2^n$ for all integers $n$. I understand we assume if ...
-1
votes
1answer
19 views

prove ceiling(x) - x = fp(1-x)

prove ceiling(x) - x = fp(1-x) using the facts: -> 0 <= fp(x) < 1, and fp(x) = x - ⌊x⌋ -> fp(1-x) = 1 - χℤ (x) - fp(x) -> the real interval [x,x+1) or (x,x+1] has an integer Here is my ...
2
votes
3answers
41 views

Can't determine if given relation is equivalence relation

Definition of relation ~ $(a,b)$ ~ $(c,d)$ $\iff$ $bc^2=da^2$, where $(a,b),(c,d)$ are from $\mathbb{R}\times\mathbb{R}$ and $(a,b),(c,d)$ are different from $(0,0)$ First of all, I wonder if ...
0
votes
1answer
18 views

prove that $fp(1 - x) = 1 - \chi_{\Bbb Z}(x) - fp(x)$

prove that $fp(1 - x) = 1 - \chi_{\Bbb Z}(x) - fp(x)$, where $fp(x) = x - \lfloor x\rfloor$, and $0 \le fp(x) < 1$, and $\chi_{\Bbb Z}$ is the characteristic function of the integers By the way of ...
0
votes
1answer
30 views

Proof the statements

Proof the statements below i)If $P(A)=0$ and $B$ is any event, then $A$ and $B$ are independents ii)If $P(A)=1$ and $B$ is any event, then $A$ and $B$ are independents iii)The events ...
0
votes
1answer
50 views

For what values of $a$ does $\int_{0}^{1}(-\ln x)^adx$ converge?

For what values of $a$ does $\int_{0}^{1}(-\ln x)^adx$ converge? I have seen a duplicate of this question but the answer there, though very good and creative, isn't clear about negative values. When ...
1
vote
1answer
35 views

Principle of well ordering

Every non-empty set $A\subset\mathbb{N}$ have a smallest element, i.e. an element $n_0\in A$ such that $n_0\leq n$ $\forall n\in\mathbb{A}$ Proof: Let $I_n=\{p\in\mathbb{N};p\leq n\}$ the set ...
1
vote
2answers
33 views

Logically Equivalance - Proofs

In terms of logical statements, is ($\exists$n $\in$ N)($\forall$ x $\in$ A)(nx >= 1) equal to ($\forall$x $\in$ A)($\exists$ n $\in$ N)(nx >= 1)? Also consider the following statements $\forall x ...
2
votes
2answers
37 views

Logical Statements - Proofs

Let $f$ be a real-valued function (a function with target space the set of reals). Let $P(x, M)$ stand for $|f(x)| \leq M $, let $N$ be the set of positive real numbers, and let $\mathbb{R}$ be the ...
0
votes
0answers
21 views

For a real number x, define the fractional part of x as fp (x) := x − floor(x)

For a real number x, define the fractional part of x as fp (x) := x − floor(x). Prove that 0 ≤ fp (x) < 1. Here is my proof By the way of contradiction assume 0 > fp(x) >= 1. Suppose x is an ...
1
vote
5answers
81 views

Proof that intervals of the form $[x, x+1)$ or $(x, x+1]$ must contain a integer.

Show that any real interval of the form $[x, x+1)$ or $(x, x+1]$ must contain a integer. Here is my proof (by contradiction) We start by saying, assume the interval of the form $[x, x+1)$ or $(x, ...
0
votes
2answers
43 views

Proving the product rule for n functions

I am trying to prove that the product rule works for $n$ many functions, where $n$ is an integer greater than $2$. I am able to prove it for two functions, where the rule states if $k(x)=f(x)g(x)$ , ...
1
vote
2answers
43 views

Is 'a' differentiable in f when f is a product of a differentiable and non-differentiable function?

Recently, I was studying differentiable and non-differentiable functions and I wondered whether this "conjecture" of mine is true: 1) "If $f(x)$ is a function that is the product of $g(x)$ and $h(x)$ ...
0
votes
1answer
33 views

Computing conditional expectation $\mathbb E(U^V \mid U)$

Let $U$ and $V$ be iid uniformly continuous on $[0,1]$. How can I compute $\mathbb E(U^V\mid U)$? Which property do I have to use?
1
vote
1answer
28 views

Show that Quotient of a C*-algebra is a C*-algebra in its own right

Let $A$ be a commutative C*-algebra over $\mathbb{C}$ and let $J$ be an ideal of $A$ such that $J\in Closed(A)$ and that contains $x^*$ if it contains $x$, for all $x\in A$. I know that $A/J$ is also ...
3
votes
1answer
45 views

An inequality relating to moves to P-positions in Nim

I have been researching this variant of Nim. I have been unable to prove the following claim. What is annoying is that I feel I am missing something really obvious. Does anyone have any ideas on how ...
0
votes
4answers
44 views

Logic, writing proof

i)Suppose that $x$ and $y$ are real numbers. Prove that if $x\neq 0$, then if $y=\frac{3x^2+2y}{x^2+2}$ then $y=3$ ii)Suppose that $x$ and $y$ are real numbers. Prove that if $x^2y=2x+y$, ...
1
vote
2answers
23 views

Proof that if a simple Graph contains at most two nodes with odd degree then it has a Euler walk

My proof would be start as the following : In general if there are two node at most, then one node used to start walking and the other to end. A) If we start from odd one, this means we have two ...
0
votes
0answers
35 views

Principle of infinite descent

I'm trying to prove the following: "It is not possible to have a sequence of natural numbers which is in infinite descent. (Hint: assume for sake of contradiction that you can find a sequence of ...
3
votes
0answers
53 views

Show that $A^k$ has eigenvalues $\lambda^k$ and eigenvectors $v$.

I want to prove the following statement: Let $A \in \Bbb R^{n\times n}$ with eigenvalues $\lambda$ and eigenvectors $v$. Show that $A^k$ has eigenvalues $\lambda^k$ and eigenvectors $v$. ...
1
vote
2answers
51 views

Proving associativity in Algebra

How to proof that a specially defined Transitive Join for the relations $R \subseteq A$ x $B$ und $S \subseteq B$ x $C$ is associative? The join is defined as: $R \Join S =_{def} \{(a,c)| $ there is ...
5
votes
2answers
323 views

proof by contradiction puzzle

Consider the following game between two players: • There is an initially rectangular grid of cookies. • The cookie in the upper left corner is poisoned. • The players take turns. On a player’s ...
2
votes
1answer
63 views

prove that this number contains two equal digits

We delete the first digit from the number $7^{1996}$ and then we add it to the remaining number, repeat this until we get a number consisting of $10$ digits, prove that, this number contains two equal ...
2
votes
2answers
50 views

Forming natural numbers with positive consecutive integers

I'm trying to prove that any natural number N can be formed by adding at least two positive consecutive integers except for powers of 2. For example, using $\,N = 3$, $N = 1 + 2$. When experimenting ...
1
vote
1answer
31 views

Proof Strategies for Convergent Sequences

I am struggling to understand how to choose epsilons during proofs for convergent sequences. It seems that many proofs just state the epsilon to choose without any motivation? How should I go about in ...
0
votes
0answers
48 views

How to prove it and how to solve it

Tomorrow I will begin my studies, real analysis, however I have some difficulties in making statements so I thought before starting the study in real analysis, learn how to do demonstrations properly. ...
-1
votes
1answer
60 views

Proof inequality using Lagrange Multipliers

Is it possible: $a,b,c$ are non-negative real numbers for which holds that $a+b+c=3.$ Prove the following inequality: $$ 4\ge a^2b+b^2c+c^2a+abc $$ Is it possible using Lagrange Multipliers. I ...
1
vote
1answer
22 views

Proof by contradiction - Predicates and quantifiers

Consider statement, For all integers, b,c,d, if x is a rational number such that $x^2+bx+c=d$, than x is an integer. a) express above statment in the form, $Q_1 b,c,d\in U_1 ( Q_2 x\in ...
0
votes
3answers
38 views

complete the proof for this statement

$$\forall x \in \mathbb{R}, x \neq 0 \implies \frac{1}{x^2\:+3}\:<\:\frac{4}{5}\: $$ I thought of doing the contrapositive but not sure what to do next. $$ \frac{1}{x^{2\:}+3}\:\ge ...
2
votes
2answers
54 views

Epsilon-Delta proof of $\lim_{x\to 2} x^2=4$

I have seen and understand the delta-epsilon proof of the limit of $x^2$ for $x\to2$, such as explained here: https://www.youtube.com/watch?v=gLpQgWWXgMM Now I am wondering, is there also another ...
4
votes
4answers
85 views

$(x+y+z)^3-(y+z-x)^3-(z+x-y)^3-(x+y-z)^3=24xyz$?

The question given is Show that $(x+y+z)^3-(y+z-x)^3-(z+x-y)^3-(x+y-z)^3=24xyz$. What I tried is suppose $a=(y+z-x),\ b=(z+x-y)$ and $c=(x+y-z)$ and then noted that $a+b+c=x+y+z$. So the ...
1
vote
3answers
67 views

Some questions about proofs of irrational numbers

I have some questions about some things I want to clarify in regard to basic questions that ask to show that roots are irrational, for example $\sqrt{3}$, $\sqrt{5}$ and $\sqrt{6}$. To me, I think ...
3
votes
1answer
63 views

Proving a trigonometric identity with tangents [closed]

Prove that: $$\tan^227^\circ +2 \tan27^\circ \tan36^\circ=1$$ any help, I appreciate it.
0
votes
1answer
36 views

Proving an Iff Statement

Suppose we had a function defined over the complex numbers: $ f(x)= \begin{cases} 1&\text{if } x\in\mathbb{R}\\ 0&\text{if } x\not\in\mathbb{R} \end{cases} $ And we are asked to prove that ...
2
votes
1answer
29 views

Commutator ideal of reductive Lie algebra

I'm working through Fulton and Harris's book on Representation theory, and I've just done the exercise where I had to show: If $\mathfrak{g}$ is a reductive Lie algebra (defined as $Z(\mathfrak{g}) = ...
3
votes
3answers
61 views

Is it necessary and sufficient that $6$ divides $n^2$ for the positive integer $n$ to be divisible by $6$? [closed]

As the title suggests, is it a necessary and sufficient that $6$ divides $n^2$ for the positive integer $n$ to be divisible by $6$? Like, I understand the dictionary definitions of necessary and ...
1
vote
0answers
30 views

A set $A\in \Bbb{R}^n$ is compact $\iff$ every continuous function on $A$ is bounded. [duplicate]

A set $A\in \Bbb{R}^n$ is compact $\iff$ every continuous function on $A$ is bounded. I have a problem proving the direction according to which $A$ is compact. First direction I said: If $A$ is ...
1
vote
3answers
65 views

Implies in a truth table, unclear. [duplicate]

In my textbook, we have the following truth table: $P$ true and $Q$ true means that "$P \implies Q$" is true. $P$ true and $Q$ false means that "$P \implies Q$" is false. $P$ false and $Q$ true ...
1
vote
1answer
16 views

Showing an outerplaner graph has less than $2n-3$ edges

An outerplanar graph is a connected plane graph that can be drawn in such a way that all it's vertices are on the outer face. I want to show that for every $G$ outerplaner graph with $n$ vertices and ...
1
vote
5answers
138 views

If $a+b+c+d=1$ then why is the maximum value of $(a+1)(b+1)(c+1)(d+1)$ is ${\left(\frac{5}{4}\right)}^4$?

What I know is that for equations of type $x+y=8$, $xy$ attains its maximum value when $x=y$ and this can be proved by either solving the quadratic equation with completing the squares or finding the ...
0
votes
0answers
22 views

Local martingale and integral condition

Suppose $M^i_t = X^i_t - X^i_0 - \int_0^t b_i(s,X)\, ds$ where $b_i:[0,\infty)\times \Omega \to \mathbb{R}$ is a progressively measurable functional and $X^i_t: C[0,\infty)^d \to \mathbb{R}$ ( ...
1
vote
0answers
41 views

Proof of Supporting Hyperplane Theorem from basic definitions.

My purposes in posting this question are twofold. First, I would like to have a lemma which I have proven on the way to proving the Supporting Hyperplane Theorem checked for rigor (zero tolerance for ...
-1
votes
2answers
69 views

Proof that for all symmetric matrices $A$ and $B$, $AB=(BA)^T$.

Recall that a matrix, $M$, is said to be symmetric if and only if $M=M^T$. I've been trying to use the homomorphic nature of the transpose operator to prove this proposition but this approach hasn't ...
1
vote
1answer
37 views

If a set $E\subset \Bbb{R}^n$ is closed and open, then it is either $\Bbb{R}^n$ or $\emptyset$.

If a set $E\subset \Bbb{R}^n$ is closed and open, then it is either $\Bbb{R}^n$ or $\emptyset$. I have an attempt. I know, or at least think, that it is correct ideally, but I don't know how to make ...
1
vote
1answer
18 views

Confusion regarding differences between strong induction and simple induction

I don't know how to prove that any proof by induction is also proof by strong induction nor any proof by strong induction can be converted into a proof by simple induction? An example would be useful ...
4
votes
2answers
106 views

Function that is continuous and its differential is continuous

Let $ f: \mathbb{R} \rightarrow \mathbb{R}$ . Show that $f$ is continuously differentiable if and only if, for every $x \in \mathbb{R}$ there exists a $l \in \mathbb{R}$ with the property that ...
6
votes
2answers
49 views

Convergence and divergence depending on whether $n$ is odd or even

It is part of one problem I am working on: I want to prove the following conjecture ($x\ne q\pi$ where $q\in\Bbb Q$) $$\sum_{n=1}^{\infty}\frac{\sin^{2k-1}(nx)}{n^{\alpha}}\quad\text{converges ...
1
vote
2answers
62 views

Proving that $\hat{x} = x$ in least square

I am trying to show that if $Ax=b$ has a unique solution $x$, then the least square solution $\hat{x}$ is the exact one (i.e., $\hat{x} = x$). My attempt: We know that for $A x = b$ to have an exact ...