Questions tagged [theorem-proving]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
10
votes
4answers
2k views

How can I calculate the limit without using L'Hôpital's rule

I need to prove this limit without using L'Hôpital's rule: $$\lim_{x\to 0} \frac{(1+a\,x)^{1/4} - (1+b\,x)^{1/4}}{x} = \frac{a-b}{4}$$ How can I do it in Mathematica?
6
votes
1answer
266 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 ...