Task: Translation
Input (Tagalog): Tagalog sentence: Patunayan na ang ay tirik na ang linya sa pamamagitan ng midpoints ng at .
Output (English): Prove that is perpendicular to the line through the midpoints of and .