A japán beírt négyszög tétel kimondja, hogy a beírt négyszögön belül bizonyos háromszögekbe írt körök középpontjai egy téglalap csúcsai .
Egy tetszőleges beírt négyszög átlókkal való felosztása négy egymást átfedő háromszöget eredményez (mindegyik átló két háromszöget eredményez). Az ezekbe a háromszögekbe írt körök középpontjai egy téglalapot alkotnak.
Konkrétan legyen □ ABCD egy tetszőleges beírt négyszög, és M 1 , M 2 , M 3 , M 4 az △ ABD , △ ABC , △ BCD , △ ACD háromszögekbe írt körök középpontja . Ekkor az M 1 , M 2 , M 3 , M 4 középpontok által alkotott négyszög téglalap.
(mivel a szögfelező , és a szög felezője )
Hasonlóképpen kapjuk
Mivel a négyszög be van írva, van, amiből következik, hogy a négyszög is körbe van írva, így kapjuk
Hasonlóképpen kapjuk
És ennek következtében
Ugyanígy bizonyítunk más szögekre is. Azt kapjuk, hogy a négyszög mind a négy sarka helyes. Tétel bizonyított
Megjegyzendő, hogy ennek a tételnek a bizonyítása könnyen általánosítható a beírt sokszögekre vonatkozó japán tétel (a ciklikus sokszögekre vonatkozó japán tétel) bizonyítására .
Az általános beírt sokszög bizonyítása azonnal következik egy négyszög esetéből (egy sokszög partíciójában lévő háromszögek számának indukciójával).
Egy beírt négyszög esetében a japán beírt négyszögtétel egy összetettebb állítás része: