Так как призма прямая и в основании квадрат, все углы между ребрами прямые. Между пересекающимися боковым ребром и диагональю основания, а так же пересекающимися стороной основания и диагональю боковой грани уголы прямые (если прямая перпендикулярна плоскости, то она перпендикулярна любой прямой в этой плоскости, проходящей через точку пересечения). По теореме Пифагора находим: (17^2-15^2)=64 - квадрат диагонали основания. 64/2 = 32 - квадрат стороны основания. 32 + 15^2 = 32+225 =257 - квадрат диагонали боковой грани \|257 (см) - диагональ боковой грани
решение пусть в выпуклом четырехугольнике abcd ав + cd =вс +ad. (1) точка о пересечения биссектрис углов а и в равноудалена от сторон ad, ав и вс, поэтому можно провести окружность с центром о, касающуюся указанных трех сторон (рис. 238, а). докажем, что эта окружность касается также стороны cd и, значит, является вписанной в четырехугольник abcd.
предположим, что это не так. тогда прямая cd либо не имеет общих точек с окружностью, либо является секущей. рассмотрим первый случай (рис. 238, б). проведем касательную c'd', параллельную стороне cd (с' и d' точки пересечения касательной со сторонами вс и ad). так как abc'd' описанный четырехугольник, то по свойству его сторон
но вс' =вс -с'с, ad' =ad - d'd, поэтому из равенства (2) получаем:
правая часть этого равенства в силу (1) равна cd. таким образом, приходим к равенству
т.е. в четырехугольнике ccdd' одна сторона равна сумме трех других сторон. но этого не может быть, и, значит, наше предположение ошибочно. аналогично можно доказать, что прямая cd не может быть секущей окружности. следовательно, окружность касается стороны cd, что и требовалось доказать.
решение
пусть в выпуклом четырехугольнике abcd
ав + cd =вс +ad. (1)
точка о пересечения биссектрис углов а и в равноудалена от сторон ad, ав и вс, поэтому можно провести окружность с центром о, касающуюся указанных трех сторон (рис. 238, а). докажем, что эта окружность касается также стороны cd и, значит, является вписанной в четырехугольник abcd.
предположим, что это не так. тогда прямая cd либо не имеет общих точек с окружностью, либо является секущей. рассмотрим первый случай (рис. 238, б). проведем касательную c'd', параллельную стороне cd (с' и d' точки пересечения касательной со сторонами вс и ad). так как abc'd' описанный четырехугольник, то по свойству его сторон
но вс' =вс -с'с, ad' =ad - d'd, поэтому из равенства (2) получаем:
правая часть этого равенства в силу (1) равна cd. таким образом, приходим к равенству
т.е. в четырехугольнике ccdd' одна сторона равна сумме трех других сторон. но этого не может быть, и, значит, наше предположение ошибочно. аналогично можно доказать, что прямая cd не может быть секущей окружности. следовательно, окружность касается стороны cd, что и требовалось доказать.