# Questions tagged [proof]

The tag has no usage guidance.

46 questions
Filter by
Sorted by
Tagged with
181 views

### How can I prove that the sequence converges to $\log(2)$?

There are two rational sequences. One of them describes convergents of the continued fraction for $\log(2)$. Its Mathematica code is as follows: ...
232 views

157 views

### FindEquationalProof to prove divisor theorem

I'm trying to implement proofs of concepts for Equational Proofs on some basic number theory theorems. One such example is: "let a and b be positive integers and let d = gcd (a, b). If t divides ...
137 views

### How to prove subspaces of function spaces?

In teaching Linear Algebra, I would like to prove or disprove whether a nonempty subset of a vector space, is a subspace. For this, I would show that the subset is closed under both addition and ...
141 views

### FindEquationalProof with implications

Motivated by this question in mathematics, my Mathematica question is essentially this one, but alas the answer to that isn't quite adequate. I'm not interested in verifying that a proof is valid or ...
424 views

### FindEquationalProof with Logic in Wolfram Mathematica

I try to "make" proof in Wolfram Mathematica. Thats a proof: if a->b and b->c then a->c I tried ...
101 views

### What does this graph mean?

Mathematica 11.3.0 includes a new command FindEquationalProof having good prospects. Studying it, I consider a somewhat modified example from the help ...
1 vote
51 views

### Proofs and exponents to the N power

I'm still a beginner at Mathematica and I'd like to understand how to use it for proofs. Here is a simple one on exponent properties (a*b)^n == a^n*b^n I tried ...
246 views

### Implementing the field axioms with FindEquationalProof?

I am fiddling around with FindEquationalProof, currently trying to prove some basic statements for fields. I have a set of axioms which almost constitutes the field theory axioms: ...
213 views

### Proving uniqueness of group identity element

Start, as in the Mathematica 11.3 documentation, with: ...
120 views

### When Reduce yields False for a system of inequalities, can I take this as a formal proof? [closed]

As part of the proof of a proposition in an economics paper, I need to show that a system of inequalities in four variables is inconsistent. Because the system is complicated, I cannot show this ...
1 vote
88 views

### Can you determine values in a set of integers from a known set sum and set product

Question: There is a set of numbers defined as {A, B, C, D, E} The sum of the set is 49 (A+B+C+D+E = 49) The product of the set is 13000 (ABCDE = 13000) Can you determine the values of A, B, ...
### Trying to prove that $x\sin(\frac{\pi}{x})\ge\pi \cos(\frac{\pi}{x})$ for $x\ge 1$
As an intermediate step, consider the function: f[x_] := x Sin[Pi/x] I want to prove that this function is increasing for $x\ge 1$. This can be done with the ...