Tetrahedral angle

Constructing a tetrahedral angle.

ABC is a right isosceles triangle. BD is perpendicular to BC. BD:BC = 1:√2 so tan(CDB) = √2 DBC is congruent to DEC, so angle EDB is 2arctan(√2), the tetrahedral angle.