For a nonzero vector , a Householder reflection is
It is immediately symmetric. If , then , so
Hence is also an orthogonal matrix, with .
The similarity transformation can be expanded as
Computing , , and the scalar costs arithmetic operations, after which the remaining updates are outer products and scalar multiples, also costing . Thus can be formed in operations rather than by two general matrix multiplications.