Il teorema di Haga è un teorema riguardante la matematica degli origami, che studia come questi possono essere usati per arrivare alla soluzione di un problema matematico o geometrico.
Il teorema di Haga è stato enunciato dal matematico Kazuo Haga. Esso afferma che
"Se sul lato di un foglio quadrato si fissa un segmento tale che il suo rapporto col lato del quadrato sia , allora portando il vertice in mediante la piega , il lato interseca nel punto tale che:
Quindi, portando a sovrapporsi su , si divide a metà ottenendo così:
Solo nei casi in cui divide il lato del quadrato in 2 o 3 parti si ha che i due triangoli e sono triangoli rettangoli "egizi" ovvero costruiti sulla terna pitagorica 3, 4, 5. Poiché i triangoli in oggetto sono simili basterà impostare il ragionamento solo sul triangolo .
Imponiamo le condizioni affinché i cateti di tali triangolo rettangolo siano rispettivamente 3 e 4 volte multipli di una stessa grandezza (da cui, per il teorema di Pitagora, segue che l'ipotenusa lo sarà 5 volte).
Sono possibili i due casi: e o, viceversa, e .
Nel primo caso abbiamo: ; da cui segue: che ha una sola soluzione positiva .
Nel secondo caso abbiamo: ; da cui segue: che ha una sola soluzione positiva .