22 Aug
2008
22 Aug
'08
5:36 p.m.
2^(1/4)*3^(3/8)*Gamma(1/4)*Gamma(1/3)=sqrt(sqrt(3)-1)*sqrt(%pi)*Gamma(1/12) 1/4 3/8 1 1 1 2 3 Gamma(-) Gamma(-) = sqrt(sqrt(3) - 1) sqrt(%pi) Gamma(--) 4 3 12 Can any CAS turn this into 0=0 and 1=1, or merely True? It must be easy--you can even carelessly switch factorial with Gamma(-: 1/4 3/8 1 1 1 2 3 (-)! (-)! = sqrt(sqrt(3) - 1) sqrt(%pi) (--)! 4 3 12 A general approach would be to reduce the factorialand denominator, but how short of making this one of the "axioms"? --rwg