Σχήμα για την απόδειξη του ιαπωνικού θεωρήματος για τετράπλευρα.
Θα χρησιμοποιήσουμε το θεώρημα Καρνό για τα τρίγωνα και . Καθώς το τετράπλευρο είναι εγγράψιμο έχουμε ότι η και η είναι παραπληρωματικές γωνίες. Χωρίς βλάβη της γενικότητας θα υποθέσουμε ότι . Έστω με ανν το τετράπλευρο και το περίκεντρο είναι στο ίδιο ημιεπίπεδο που ορίζεται από την ευθεία της . Αντίστοιχα, ορίζουμε για τις πλευρές , ,
Τότε για το τρίγωνο ισχύει ότι
,
όπου , , , , τα μέσα των , , , και , αντίστοιχα, και η ακτίνα του περιγεγραμμένου κύκλου του τετραπλεύρου.
Παρομοίως, για το τρίγωνο ισχύει ότι
,
Προσθέτοντας κατά μέλη τις δύο παραπάνω εξισώσεις έχουμε ότι
Δύο τριγωνισμοί ενός εγγεραμμένου πενταγώνου, για τα οποία ισχύει ότι είναι το ίδιο.
Το θεώρημα γενικεύεται για εγγεγραμμένα πολύγωνα, όπου οποιοσδήποτε τριγωνισμός του πολυγώνου δίνει το ίδιο άθροισμα ακτινών των εγγεγραμμένων τους κύκλων.
Αυτή η γενίκευση μπορεί να αποδειχτεί με μία τροποποίηση της παραπάνω απόδειξης. Πιο συγκεκριμένα, για κάθε τρίγωνο εφαρμόζουμε το θεώρημα Καρνό και προσθέτουμε τις εξισώσεις κατά μέλη. Κάθε όρος όπου το μέσο μίας διαγωνίου εμφανίζεται μία φορά με αρνητικό πρόσιμο και μία με θετικό, άρα απαλοίφεται από το άθροισμα. Εν αντιθέσει, κάθε όρος όπου το μέσο μίας πλευράς εμφανίζεται μία φορά στο άθροισμα και κάθε φορά με το ίδιο πρόσιμο . Επομένως, το άθροισμα είναι ίσο με
↑Ahuja, Mangho; Uegaki, Wataru; Matsushita, Kayo (2004). «Japanese Theorem: A Little Known Theorem With Many Proofs - Part I». Missouri Journal of Mathematical Sciences16 (2). doi:10.35834/2004/1602072.
↑Ahuja, Mangho; Uegaki, Wataru; Matsushita, Kayo (2004). «Japanese Theorem: A Little Known Theorem With Many Proofs - Part II». Missouri Journal of Mathematical Sciences16 (3). doi:10.35834/2004/1603149.