# Questions tagged [proof]

The tag has no usage guidance.

47 questions
Filter by
Sorted by
Tagged with
1 vote
77 views

### Scope of Mathematica for verifying a textbook level attempted proof

I'm not an expert in Mathematica but use it often for routine things .Of late I got immenesley interested in the capabilities of Mathematica for verifying proofs, especially those that are ...
• 229
189 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: ...
• 51
243 views

• 225
163 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 ...
139 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 ...
• 1,215
150 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 ...
• 41.5k
442 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 ...
• 71
104 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 ...
• 26.6k
1 vote
53 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 ...
• 141
256 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: ...
• 867
219 views

### Proving uniqueness of group identity element

Start, as in the Mathematica 11.3 documentation, with: ...
• 11.9k
124 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
89 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, ...
• 13
1k views

• 5,191
### 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 ...