円に内接する場合，

α＋γ＝π，ｃｏｓ（α＋γ）＝−１

β＋δ＝π，ｃｏｓ（β＋δ）＝−１

　θ＝π／２

　　ｃｏｓα＝（ａ^2＋ｂ^2−ｄ1^2）／２ａｂ

　　ｃｏｓγ＝（ｃ^2＋ｄ^2−ｄ1^2）／２ｃｄ＝−ｃｏｓα

　　ｃｏｓβ＝（ｂ^2＋ｃ^2−ｄ2^2）／２ｂｃ

　　ｃｏｓδ＝（ｄ^2＋ａ^2−ｄ2^2）／２ｄａ＝−ｃｏｓβ

　　ｃｄ（ａ^2＋ｂ^2−ｄ1^2）＝−ａｂ（ｃ^2＋ｄ^2−ｄ1^2）

　　ａｄ（ｂ^2＋ｃ^2−ｄ2^2）＝−ｂｃ（ｄ^2＋ａ^2−ｄ2^2）

ｄ1^2＝｛ｃｄ（ａ^2＋ｂ^2）＋ａｂ（ｃ^2＋ｄ^2｝）／（ａｂ＋ｃｄ）

ｄ2^2＝｛ａｄ（ｂ^2＋ｃ^2）＋ｂｃ（ｄ^2＋ａ^2）｝／（ａｄ＋ｂｃ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ところで，これらはａｃ＋ｂｄ＝ｄ1ｄ2を満たしているのだろうか？

ｄ1^2ｄ2^2＝｛ａｃｄ^2（ａ^2＋ｂ^2）（ｂ^2＋ｃ^2）＋ｂｃ^2ｄ（ａ^2＋ｂ^2）（ｄ^2＋ａ^2）＋ａ^2ｂｄ（ｃ^2＋ｄ^2｝（ｂ^2＋ｃ^2）＋ａｂ^2ｃ（ｃ^2＋ｄ^2｝（ｄ^2＋ａ^2）｝／（ａｂ＋ｃｄ）（ａｄ＋ｂｃ）

（ａｂ＋ｃｄ）（ａｄ＋ｂｃ）＝ａ^2ｂｄ＋ａｂ^2ｃ＋ａｃｄ^2＋ｂｃ^2ｄ

うまく約分できそうにないが・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝