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

0
votes
0answers
12 views

Proof Matrix L with respect to Basis B and C

Good one guys! I'm doing the conceptual exercises of my Linear Algebra book, and I ran up to the following exercise: I tried to use the following theorem: That came from: But it got messy ...
0
votes
0answers
8 views

Proving a Partial Derivative Equivalence Using Taylor Series Expansion?

I'm studying computer vision, and one of the problems in my book is to prove that $\partial f/ \partial x = f(x+1) - f(x)$ It's been a while since I've touched Taylor Series, and so I'm not sure of ...
3
votes
2answers
48 views

If $\{a_n\}$ converges to $A$, then $\{(a_1\cdots a_n)^{1/n}\}$ converges to $A$

Prove that this sequence converges. I can't do it. Let $\{a_n\}$ be a sequence of positive real numbers that converges to a number $A$. Prove that $\{(a_1\cdots a_n)^{1/n}\}$ converges to $A$.
0
votes
1answer
51 views

Is my proof correct about sequences?

Suppose that $\{ a_n\}_n$ is a sequence of real numbers such that $$ (a_{n+1}-a_n) \rightarrow a, \text{ if } \ n \rightarrow \infty. $$ Prove that $$ \frac{a_n}{n} \rightarrow a \, \text{ if } \ ...
0
votes
1answer
69 views

Are $x,y$ rational if $x+y$ is rational and $x-y$ is rational?

Are $x,y$ rational if $x+y$ is rational and $x-y$ is rational? This question was given in maths class, and I don't know where to start. I would be happy if the answer was included in the proof.
0
votes
3answers
29 views

Given two specific sets, show that one is a subset of another

Given $$X = \{x : x = 4^n-3n-1 ; n\in\mathbb{N}\}$$ and $$Y = \{y : y = 9(n-1); n\in\mathbb{N}\}$$ Prove that $X \subset Y$. I've been struggling with this problem for hours but I couldn't find a ...
0
votes
0answers
24 views

Stirling aproximation [duplicate]

I was reading my book of stochastic processes, when suddenly appear the following approach $$n!\sim n^{n+\frac{1}{2}}e^{-n}\sqrt{2\pi}$$ From where this result comes? I looked on Wikipedia but ...
2
votes
2answers
61 views

Prove that $2^{9693}-1$ divisible by $7$

Prove that $2^{9693}-1$ divisible by $7$, by more than one way. my try... that, the power divisible by $3$ so it's divisible by $7$ like $2^3,2^6,2^{12}$ and I think it's wrong.
2
votes
2answers
39 views

Probability of drawing white ball after transferring to new urn n times

I am in a probability theory course and could not find the solution to this question anywhere. The assignment is already turned in, and I am asking this for my knowledge and for others who are also ...
0
votes
0answers
55 views

Two statements R and S are logically equivalent iff R $\iff$ S is a tautology.

How do prove the following statement: "Two statements R and S are logically equivalent iff R↔S is a tautology. without using a true table.Would I have to use cases? So far I have done so far is that ...
-1
votes
1answer
64 views

Prove that: $\overbrace{222…222}$(repeated $1980$ times), divisible by $1982$ [on hold]

Prove that: $\overbrace{222...222}$(repeated $1980$ times), divisible by $1982$
0
votes
1answer
31 views

proof of the singular-values of orthogonal matrix

What is a simple and intuitive proof that the singular-values of orthogonal matrix $A$ is $1$?
0
votes
1answer
40 views

Condition number of $A^TA$

if $n \times n$ full rank matrix $A$ has condition number $\kappa$, what would be the condition number of $A^TA$? Preferably If the derivation includes the following definition of $\kappa$: $$ \kappa ...
2
votes
0answers
89 views

Why is $\sum a_i \exp(b_i)$ always equal to $0$?

Let $z$ be complex. Let $a_i,b_i$ be polynomials of $z$ with real coefficients. Also the $a_i$ are non-zero and the non-constant parts of the polynomials $b_i$ are distinct. (*) Let $j > 1$. ...
1
vote
3answers
167 views

Symmetric matrices and eigenvalues

If the eigenvalues of a symmetric matrix $A$ are greater than 0, show that $v^{\top}Av > 0$ for every $v \ne 0$ I am trying to prove this as follows: If $v$ is an eigenvector of $A$, then $Av ...
7
votes
4answers
81 views

Showing a function $f: \mathbb{N} \times\mathbb{N} \to \mathbb{N}$ is injective

Let $f: \mathbb{N} \times\mathbb{N} \to \mathbb{N}$ with $$ f(i,j) = \frac{(i+j-2)(i+j-1)}{2}+j. $$ I want to show $f$ is an injection. This is how I approached the problem: I tried to show ...
0
votes
0answers
11 views

Prove the properties of penalized likelihood estimator in Fan and Li (2001) paper

I'm reading through Fan and Li's paper "Variable Selection via Nonconcave Penalized Likelihood and its Oracle Properties". In Page 2 near bottom right corner, they proposed three properties that a ...
1
vote
4answers
43 views

How to use Cross Product Properites to do proof

How do I proceed with a proof for this question? Prove that: \begin{equation} (a \times b) \cdot (c \times d) = \begin{vmatrix} a \cdot c & b \cdot c \\ a \cdot d & b \cdot ...
2
votes
1answer
36 views

Proof that bernstein-coefficients of $p(x)=x$ are $b_i=a+i\frac{b-a}{n},\ i=0,…,n$

I want to proof that the bernstein-coefficients for $p(x)=x$ on $[a,b]$ are described by $$b_i=a+i\frac{b-a}{n},\ i=0,...,n$$ Where the Bernstein polynomials on $[a,b]$ are defined by ...
1
vote
2answers
37 views

Proving $\int_0^1 \frac{f(t)}{t^{\alpha + 1}} \ dt$ diverges

Consider $f(t)$, continuous on $[0,1]$, and $\alpha > 1$, and: $$\int_0^1 \frac{f(t)}{t^{\alpha + 1}} \ dt$$ How can we tell this integral diverges? Basically since $f$ is continuous it reaches ...
0
votes
1answer
21 views

Riemann-integrability of $f(x) \geq (\frac{1}{\lfloor x\rfloor})^\alpha$

Let $f$ be Riemann-integrable in the interval $[1,\infty)$ and let for all $x \geq 1$ $f(x) \geq \left(\frac{1}{\lfloor x\rfloor}\right)^\alpha$. Then $\alpha > 1$. How to prove this statement? Ok ...
-2
votes
0answers
45 views

How to prove that composition of functions is a function [on hold]

Using the fact that a function is a relation, which is a subset of the product of $X$ and $Y$. $(a,b)$ belongs to $f$ and $(a,c)$ belongs to $f \implies b=c$
0
votes
0answers
26 views

Properties of exponentiation proof

I'm trying to prove the following: "Let $x, y$ be non-zero rational numbers, and let $n,m$ be integers. Then we have $x^n x^m = x^{n+m}$." I've managed to prove by induction the case $n,m \geq 0$ ...
2
votes
2answers
191 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
50 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 ...
3
votes
3answers
62 views

Basic mathematical induction regarding inequalities

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 ...
-1
votes
1answer
28 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
5answers
68 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
27 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
53 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
39 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
39 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
52 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
32 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
94 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
45 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
46 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
36 views

Computing conditional expectation $\mathbb E(U^V \mid U)$ [on hold]

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
29 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
46 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
48 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
26 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
56 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
327 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
64 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
52 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 ...