### Some(?) of the Parts

A circle touches the lines OA, OB and AB where OA and OB are perpendicular. Show that the diameter of the circle is equal to the perimeter of the triangle

### Rotating Triangle

What happens to the perimeter of triangle ABC as the two smaller circles change size and roll around inside the bigger circle?

### Pericut

Two semicircle sit on the diameter of a semicircle centre O of twice their radius. Lines through O divide the perimeter into two parts. What can you say about the lengths of these two parts?

##### Stage: 4 Challenge Level:
We received a great solution from Zhi of St. Marylebone CE School. She begins with a diagram:

In the diagram presented, the vertices of the quadrilateral are labeled A, B, C and D, and tangent points M, N, P and Q respectively. The sides are labelled a, b, c and d.

From the properties of the circles we know that the tangents AM and AQ, BM and BN, CN and CP, DP and DQ are equal respectively. Therefore, if the quadrilateral is to be tangential, AQ+DQ+BN+CN would have to be equal to AM+DP+BM+CP, which then becomes:
$$AD+BC=AB+CD$$ Therefore, we know that a tangential quadrilateral has to satisfy AD+BC=AB+CD.

Using the properties of isosceles triangles and angle bisectors, we can deduce that the reverse is also true, meaning that all quadrilaterals satisfying $AD+BC=AB+CD$ are tangential. Is the reverse obvious? The question only asks for a necessary condition so in fact we do no need to show the reverse but this could be a nice extension.

The properties of cyclic quadrilaterals imply that for any cyclic quadrilateral ABCD, $\angle A+\angle C = \angle B +\angle D = 180^{\circ}$.The reverse is also true. Can you show this condition is necessary? See the problem Circles in Quadrilaterals.

Therefore, a bicentric quadrilateral ABCD has to meet two conditions
1. $AD+BD=AB+CD$ and
2. $\angle A + \angle C = \angle B +\angle D = 180 ^{\circ}$
With that , we can now deduce:
• Squares are always bicentric
• Rectangles and rhombi, provided that they aren't squares, cannot be bicentric as rectangles do not satisfy condition 1, and rhombi do not satisfy condtion 2.
• Irregular parallelograms do not meet either condition and cannot be bicentric
• Trapezia might or might not be bicentric, depending on their side lengths and angles.

Zhi then went on to prove the formula for the area of a bicentric quadrilateral. We shall omit the proof here since the question only asks you to verify that the formula works on the examples you found. If you are interested see the proof of brahmagupta's formula and try to adapt it to this problem.