Pythagoras for a Tetrahedron

In a right-angled tetrahedron prove that the sum of the squares of the areas of the 3 faces in mutually perpendicular planes equals the square of the area of the sloping face. A generalisation of Pythagoras' Theorem.
Exploring and noticing Working systematically Conjecturing and generalising Visualising and representing Reasoning, convincing and proving
Being curious Being resourceful Being resilient Being collaborative

 

Image
Pythagoras for a Tetrahedron

Consider a right-angled tetrahedron with vertices at $O(0,0,0)$, $A(a, 0, 0)$, $B(0, b, 0)$ and $C(0, 0, c)$.
 
Let the area of face $AOB$ be $P$, the area of $BOC$ be $Q$ and the area of $COA$ be $R$.  Also let the slanted face $ABC$ have area $S$.

($S$ is not shown on the diagram above!).
 
Can you prove that $P^2+ Q^2+ R^2= S^2$?

Equivalently: (area $OBC$)$^2 + $(area $OCA$)$^2 + $(area $OAB$)$^2 = $(area $ABC$)$^2$.

Extension

If you enjoyed this question, you might like explore STEP Support Programme Foundation Assignment 5 which asks a question about the perpendicular distance of face $ABC$ from the origin.