ago
0 like 0 dislike
0 like 0 dislike
How “hard” is it in general to show whether two formulae are equivalent, assuming that they are written using unambiguous notation?

Context: would it be practical to mechanically extract and process the formulae from page of the Online Encyclopaedia of Integer Sequences and use substitution to show relationships between them? E.g., discover instances where A0000x(n)==A0000y(A0000z(n)) and so on.
ago
0 like 0 dislike
0 like 0 dislike
there is no algorithm to prove theorems like this in general.
ago
0 like 0 dislike
0 like 0 dislike
There is a neat small theorem in complex analysis that if 2 holomorphic functions agree on a set with a accumulation point (stronger but basically equivalent to any small interval), they are equal everywhere. So since sin(x) = cos(x-pi/2) on the real axis and the real axis is an interval, it is true everywhere in the complex plane.
ago
by

No related questions found

33.4k questions

135k answers

0 comments

33.7k users

OhhAskMe is a math solving hub where high school and university students ask and answer loads of math questions, discuss the latest in math, and share their knowledge. It’s 100% free!