PC.GSRT.9: Derive the formula A=(1/2)ab sin C for the area of a triangle by drawing an auxiliary line from a vertex perpendicular to the opposite side.