t3a: PerpendicularLine[A, Line[(0, 0), A]]