introduce algebraic numbers and discuss the separation bound approach to sign test for algebraic numbers; [BFMS00,BFM$^+$01], give two proofs a simple inductive proof which only works for square roots and the general proof.
Handout: Separation Bounds