# Questions tagged [proof]

The tag has no usage guidance.

45 questions
Filter by
Sorted by
Tagged with
197 views

• 225
131 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 ...
135 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,049
117 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 ...
• 37.7k
374 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
97 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 ...
• 20.4k
1 vote
46 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
231 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
193 views

### Proving uniqueness of group identity element

Start, as in the Mathematica 11.3 documentation, with: ...
• 11.6k
114 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, ...
• 13
963 views

• 4,876
### 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 ...