まず方べきの定理を利用する。方べきの定理より、
CP×DP=BP×AP 13×12=BP×AP 156=BP×AP 次に、AD = x、CD = x/2である。したがって、AP = AD + DP = x + 12、BP = BC + CP = y + 13である。
156=(y+13)(x+12) 円に内接する四角形ABCDにおいて、対角の和は180度であるから、∠ADC + ∠ABC = 180度である。
また、∠ABP = 90度であるから、∠ABC = 90度 + ∠CBP。
したがって、∠ADC + 90度 + ∠CBP = 180度。
∠ADC + ∠CBP = 90度。
∠ADCと∠ABCが円に内接する四角形ABCDの内角なので、和が180度になる。
∠ABC = 90°なので、∠ADC = 90°。
三角形ADCにおいて、三平方の定理より
AC2=AD2+CD2 AC2=x2+(x/2)2=x2+x2/4=45x2 また、三角形ABCにおいて、∠ABC = 90°なので、三平方の定理より
AC2=AB2+BC2 AC2=AB2+y2 したがって、
45x2=AB2+y2 条件AD = 2CDと∠ADC = 90°より、ADは円の直径である。
円周角の定理より∠ACD = ∠ABD = 90°
四角形ABCDは内接四角形なので、∠BAD + ∠BCD = 180°
∠BAC + ∠CAD + ∠BCD = 180°
∠BAD = 90° より、BDは直径になるので、AD = BD
AD = BD = x
△BCDは直角三角形なので、BD2=BC2+CD2 x2=y2+(2x)2 x2=y2+4x2 43x2=y2 y=23x これを156=(y+13)(x+12)に代入する。 156=(23x+13)(x+12) 156=23x2+63x+13x+156 0=23x2+(63+13)x 0=x(23x+63+13) 23x=−63−13 x=3−123−26=−12−3263<0 これは不適なので、考え方を変える。
方べきの定理から、PA×PB=PC×PD=13×12=156 また、PA = x+12, PB = y+13
(x+12)(y+13)=156 ∠ABP = 90°より、AP2=AB2+BP2 (x+12)2=AB2+(y+13)2 AD = 2CDより、AD = xなのでCD = x/2
△BCDは直角三角形なので、BD2=BC2+CD2 BD2=y2+(2x)2=y2+4x2 答えはx=8, y=5