isabelle/valid/aime_1990_p2.thy

(*
  Authors: Albert Qiaochu Jiang
*)

theory aime_1990_p2 imports
  Complex_Main
  "HOL-Computational_Algebra.Computational_Algebra"
begin

theorem aime_1990_p2:
  "((52::real) + 6 * sqrt 43) powr (3/2) - ((52::real) - 6 * sqrt 43) powr (3/2) = 828"
  sorry


end