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
2answers
44 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
33 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
36 views

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

How do prove the following statement: "Two statements R and S are logically equivalent 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 I ...
-1
votes
1answer
58 views
7
votes
2answers
53 views

Basic absolute value property

Hello all I am wondering if anyone has the correct proof that I should use for Spivak calculus ( chapter 1, question 12 ) that says $$|xy|=|x| \cdot |y|$$ from past times I know it is true , but I ...
0
votes
1answer
35 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 ...
0
votes
1answer
26 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
355 views

Proving the Division Algorithm using induction

Let $n \in \mathbb{N}$. For every $m \in \mathbb{Z}$, there exist unique $q, r \in \mathbb{Z}$ such that $ m = qn+r$ and $0 \le r \le n-1$. We call $q$ the quotient and $r$ the remainder when dividing ...
3
votes
0answers
85 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$. ...
0
votes
1answer
303 views

How do I prove an algorithm has $n^3$ time complexity?

Take the CYK algorithm outlined here: How to prove CYK algorithm has $O(n^3)$ running time In the top answer, how did that person go from the three summations to $t=(n^3−n)/6$ ? What's the method ...
1
vote
5answers
187 views

$(A_1\rightarrow\wedge A_2)$ is not a well-formed formula

Let $A_1,A_2$ be sentence symbols. Could anyone advise me how to prove $(A_1\rightarrow\wedge A_2)$ is not a well-formed formula? Thank you.
1
vote
3answers
162 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
75 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
41 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 ...
1
vote
0answers
26 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 ...
0
votes
2answers
291 views

The boundary of the union of two sets is a subset of the union of boundaries

I'm stuck on trying to get this proof started. I want to prove that $\delta(S_1 \cup S_2)\subset \delta S_1\cup\delta S_2$, where $S$ is some set. I don't need a full proof, just a hint to get ...
3
votes
10answers
377 views

Prove that if $a,b \in \mathbb{R}$ and $|a-b|\lt 5$, then $|b|\lt|a|+5.$

I'm trying to prove that if $a,b \in \mathbb{R}$ and $|a-b|\lt 5$, then $|b|\lt|a|+5.$ I've first written down $-5\lt a-b \lt5$ and have tried to add different things from all sides of the ...
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
20 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 ...
1
vote
2answers
36 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 ...
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 ...
-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$ ...
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 ...
2
votes
2answers
188 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 ...
-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 ...
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
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 ...
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
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
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
1answer
37 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
37 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
51 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 ...
0
votes
1answer
751 views

Palindrome Decidable by DFA

Here's a problem a professor I was talking with gave to me to see how people solve. How would you solve this? A string in {a,...,z}* is said to be a palindrome if it is equal to its own reversal. Is ...
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 ...
0
votes
2answers
2k views

Proof — Infinitely many primes of the form $4k + 3$ — origin of $4(p_1…p_k - 1) + 3$

I know there are sundry questions — like this pdf — and this (10.) Prove that any positive integer of the form $4k + 3$ must have a prime factor of the same form. Because $4k + 3 = 2(2k + 1) + 1$, ...
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)$ ...
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
3answers
87 views

Cauchy convergent sequences

Suppose that $(a_n)$ and $(b_n)$ are convergent sequences and that $b_n > 0$ for all $n$. Is it true that $(a_n / b_n)$ is Cauchy? If it is true, prove it. If it is not true, give a counterexample ...
0
votes
4answers
47 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
25 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 ...
1
vote
1answer
295 views

Characterize normal subgroups - Find all subgroups of $S_3$ conjugate to $\{id, (1,3) \}$ - Fraleigh p. 143 14.29

(27.) A subgroup H is conjugate to a subgroup K of a group G (viz. p. 141 $K \le G$ is a conjugate subgroup of $H$), if $i_g[H] = gHg^{-1} =K$ for some $g \in G$. Show that conjugacy is an ...
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 ...