[Date Index] [Thread Index] [Author Index]

verify equation identity

• To: mathgroup at christensen.cybernetics.net
• Subject: [mg446] verify equation identity
• From: Xah Y Lee <xyl10060 at fhda.edu>
• Date: Sun, 5 Feb 1995 16:56:32 -0800 (PST)

Here is a practical problem in mma. I often want to compare if two 
equations are identical, how to do that?

For example, I want to know if eq1 and eq2 are the same equation. Testing 
by numerical methods, or by graphical look-and-see are ok, as long as 
it's relatively easy and correct. (i.e. I don't need a rigorous proof)

eq1 = 3/(-8) Log[1-4 y[x]^2/x] == Log[x] + c

eq2 = (x^2 - 4 y[x]^2)^3 x^2 == c

c is an arbitrary constant.

 Xah Lee          xyl10060 at tiptoe.fhda.edu
 Mountain View, CA