1. Define ~ on Q by~if and only if ad=bc. Prove that is an equivalence relation.

(Remember that an element of Q is a fraction of integers where the denominator is positive,

so that means a, b, c, d € Z but b>0 and d>0. This information may come in handy in your

proof.)