Den japanske indskrevne firkantede teorem siger, at centrene af cirkler indskrevet i visse trekanter inde i en indskrevet firkant er hjørnerne af et rektangel .
Opdeling af en vilkårlig indskrevet firkant med diagonaler producerer fire overlappende trekanter (hver diagonal producerer to trekanter). Centrene af cirklerne indskrevet i disse trekanter danner et rektangel.
Lad især □ ABCD være en vilkårlig indskrevet firkant og lad M 1 , M 2 , M 3 , M 4 være centrene for cirkler indskrevet i trekanter △ ABD , △ ABC , △ BCD , △ ACD . Så er firkanten dannet af centrene M 1 , M 2 , M 3 , M 4 et rektangel.
(da er vinkelhalveringslinjen og er vinkelhalveringslinjen )
På samme måde får vi
Da firkanten er indskrevet, har vi , hvoraf det følger, at firkanten også er indskrevet i en cirkel, så vi får
På samme måde får vi
Og følgelig
På samme måde beviser vi for andre vinkler. Vi får at alle fire hjørner af firkanten er rigtige. Sætning bevist
Bemærk, at beviset for denne sætning let generaliseres til beviset for den japanske sætning for indskrevne polygoner (japansk sætning for cykliske polygoner) .
Beviset for en generel indskrevet polygon følger umiddelbart af tilfældet med en firkant (ved induktion på antallet af trekanter i en partition af en polygon).
For en indskrevet firkant er den japanske indskrevne firkantssætning en del af et mere komplekst udsagn: